0.004 * [progress]: [Phase 1 of 3] Setting up. 0.006 * * * [progress]: [1/2] Preparing points 0.525 * * * [progress]: [2/2] Setting up program. 0.530 * [progress]: [Phase 2 of 3] Improving. 0.530 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.531 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 0.532 * * [simplify]: iters left: 4 (7 enodes) 0.540 * * [simplify]: iters left: 3 (33 enodes) 0.553 * * [simplify]: iters left: 2 (57 enodes) 0.568 * * [simplify]: iters left: 1 (75 enodes) 0.603 * * [simplify]: Extracting #0: cost 1 inf + 0 0.603 * * [simplify]: Extracting #1: cost 4 inf + 0 0.603 * * [simplify]: Extracting #2: cost 14 inf + 0 0.604 * * [simplify]: Extracting #3: cost 27 inf + 2 0.604 * * [simplify]: Extracting #4: cost 20 inf + 643 0.605 * * [simplify]: Extracting #5: cost 2 inf + 2823 0.606 * * [simplify]: Extracting #6: cost 0 inf + 2973 0.607 * * [simplify]: Extracting #7: cost 0 inf + 2972 0.608 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 0.609 * [simplify]: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.624 * * [progress]: iteration 1 / 4 0.624 * * * [progress]: picking best candidate 0.628 * * * * [pick]: Picked # 0.628 * * * [progress]: localizing error 0.656 * * * [progress]: generating rewritten candidates 0.656 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.663 * * * [progress]: generating series expansions 0.664 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.668 * [backup-simplify]: Simplify (sinh c) into (sinh c) 0.668 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 0.670 * [taylor]: Taking taylor expansion of (sinh c) in c 0.672 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.672 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.672 * [taylor]: Taking taylor expansion of (exp c) in c 0.672 * [taylor]: Taking taylor expansion of c in c 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.672 * [backup-simplify]: Simplify (exp 0) into 1 0.672 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.672 * [taylor]: Taking taylor expansion of (- c) in c 0.672 * [taylor]: Taking taylor expansion of c in c 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.673 * [backup-simplify]: Simplify (- 0) into 0 0.673 * [backup-simplify]: Simplify (- 1) into -1 0.673 * [backup-simplify]: Simplify (exp 0) into 1 0.674 * [taylor]: Taking taylor expansion of 2 in c 0.674 * [backup-simplify]: Simplify 2 into 2 0.674 * [backup-simplify]: Simplify (- 1) into -1 0.675 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.677 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.677 * [backup-simplify]: Simplify (- 1) into -1 0.678 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.679 * [backup-simplify]: Simplify (- -1) into 1 0.679 * [backup-simplify]: Simplify (+ 1 1) into 2 0.680 * [backup-simplify]: Simplify (/ 2 2) into 1 0.680 * [taylor]: Taking taylor expansion of (sinh c) in c 0.680 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.680 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.680 * [taylor]: Taking taylor expansion of (exp c) in c 0.680 * [taylor]: Taking taylor expansion of c in c 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify (exp 0) into 1 0.680 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.680 * [taylor]: Taking taylor expansion of (- c) in c 0.680 * [taylor]: Taking taylor expansion of c in c 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 1 into 1 0.680 * [backup-simplify]: Simplify (- 0) into 0 0.681 * [backup-simplify]: Simplify (- 1) into -1 0.681 * [backup-simplify]: Simplify (exp 0) into 1 0.681 * [taylor]: Taking taylor expansion of 2 in c 0.681 * [backup-simplify]: Simplify 2 into 2 0.681 * [backup-simplify]: Simplify (- 1) into -1 0.682 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.683 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.683 * [backup-simplify]: Simplify (- 1) into -1 0.684 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.685 * [backup-simplify]: Simplify (- -1) into 1 0.685 * [backup-simplify]: Simplify (+ 1 1) into 2 0.685 * [backup-simplify]: Simplify (/ 2 2) into 1 0.686 * [backup-simplify]: Simplify 1 into 1 0.688 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.689 * [backup-simplify]: Simplify (- 1) into -1 0.689 * [backup-simplify]: Simplify (- 0) into 0 0.691 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.691 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.692 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 0.693 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.693 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.696 * [backup-simplify]: Simplify (- 1) into -1 0.696 * [backup-simplify]: Simplify (- 1) into -1 0.696 * [backup-simplify]: Simplify (- 0) into 0 0.697 * [backup-simplify]: Simplify (- 0) into 0 0.699 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 0.700 * [backup-simplify]: Simplify (- -1/6) into 1/6 0.700 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 0.701 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 0.701 * [backup-simplify]: Simplify 1/6 into 1/6 0.706 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.707 * [backup-simplify]: Simplify (- 1) into -1 0.707 * [backup-simplify]: Simplify (- 1) into -1 0.708 * [backup-simplify]: Simplify (- 0) into 0 0.708 * [backup-simplify]: Simplify (- 1) into -1 0.708 * [backup-simplify]: Simplify (- 0) into 0 0.709 * [backup-simplify]: Simplify (- 0) into 0 0.709 * [backup-simplify]: Simplify (- 0) into 0 0.713 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.714 * [backup-simplify]: Simplify (- 1/24) into -1/24 0.714 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 0.715 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.722 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 0.723 * [backup-simplify]: Simplify (- 1) into -1 0.723 * [backup-simplify]: Simplify (- 1) into -1 0.724 * [backup-simplify]: Simplify (- 0) into 0 0.724 * [backup-simplify]: Simplify (- 1) into -1 0.725 * [backup-simplify]: Simplify (- 0) into 0 0.725 * [backup-simplify]: Simplify (- 1) into -1 0.725 * [backup-simplify]: Simplify (- 0) into 0 0.726 * [backup-simplify]: Simplify (- 1) into -1 0.726 * [backup-simplify]: Simplify (- 0) into 0 0.726 * [backup-simplify]: Simplify (- 0) into 0 0.727 * [backup-simplify]: Simplify (- 0) into 0 0.727 * [backup-simplify]: Simplify (- 0) into 0 0.733 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 0.734 * [backup-simplify]: Simplify (- -1/120) into 1/120 0.734 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 0.736 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 0.736 * [backup-simplify]: Simplify 1/120 into 1/120 0.751 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 0.752 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 0.752 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 0.752 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.752 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.752 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.752 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.752 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.752 * [taylor]: Taking taylor expansion of c in c 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.753 * [backup-simplify]: Simplify (/ 1 1) into 1 0.753 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.753 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.753 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.753 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.753 * [taylor]: Taking taylor expansion of c in c 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify 1 into 1 0.754 * [backup-simplify]: Simplify (/ 1 1) into 1 0.754 * [backup-simplify]: Simplify (- 1) into -1 0.754 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.754 * [taylor]: Taking taylor expansion of 2 in c 0.754 * [backup-simplify]: Simplify 2 into 2 0.755 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.755 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.755 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.755 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.755 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.755 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.755 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.755 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.755 * [taylor]: Taking taylor expansion of c in c 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify 1 into 1 0.756 * [backup-simplify]: Simplify (/ 1 1) into 1 0.756 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.756 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.756 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.756 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.756 * [taylor]: Taking taylor expansion of c in c 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 1 into 1 0.756 * [backup-simplify]: Simplify (/ 1 1) into 1 0.757 * [backup-simplify]: Simplify (- 1) into -1 0.757 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.757 * [taylor]: Taking taylor expansion of 2 in c 0.757 * [backup-simplify]: Simplify 2 into 2 0.757 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.757 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.757 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.757 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.758 * [backup-simplify]: Simplify (- 0) into 0 0.758 * [backup-simplify]: Simplify (+ 0 0) into 0 0.759 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify (- 0) into 0 0.760 * [backup-simplify]: Simplify (+ 0 0) into 0 0.761 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify (- 0) into 0 0.762 * [backup-simplify]: Simplify (+ 0 0) into 0 0.765 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify (- 0) into 0 0.765 * [backup-simplify]: Simplify (+ 0 0) into 0 0.768 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.768 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify (- 0) into 0 0.769 * [backup-simplify]: Simplify (+ 0 0) into 0 0.772 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.772 * [backup-simplify]: Simplify 0 into 0 0.773 * [backup-simplify]: Simplify (- 0) into 0 0.773 * [backup-simplify]: Simplify (+ 0 0) into 0 0.777 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.777 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 0.777 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 0.777 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 0.777 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.777 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.777 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.778 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.778 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.778 * [taylor]: Taking taylor expansion of -1 in c 0.778 * [backup-simplify]: Simplify -1 into -1 0.778 * [taylor]: Taking taylor expansion of c in c 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 1 into 1 0.778 * [backup-simplify]: Simplify (/ -1 1) into -1 0.778 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.778 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.778 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.778 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.778 * [taylor]: Taking taylor expansion of -1 in c 0.778 * [backup-simplify]: Simplify -1 into -1 0.778 * [taylor]: Taking taylor expansion of c in c 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 1 into 1 0.779 * [backup-simplify]: Simplify (/ -1 1) into -1 0.779 * [backup-simplify]: Simplify (- -1) into 1 0.779 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.779 * [taylor]: Taking taylor expansion of 2 in c 0.779 * [backup-simplify]: Simplify 2 into 2 0.780 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.780 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.780 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.780 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.780 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.780 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.780 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.780 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.780 * [taylor]: Taking taylor expansion of -1 in c 0.780 * [backup-simplify]: Simplify -1 into -1 0.780 * [taylor]: Taking taylor expansion of c in c 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 1 into 1 0.781 * [backup-simplify]: Simplify (/ -1 1) into -1 0.781 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.781 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.781 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.781 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.781 * [taylor]: Taking taylor expansion of -1 in c 0.781 * [backup-simplify]: Simplify -1 into -1 0.781 * [taylor]: Taking taylor expansion of c in c 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 1 into 1 0.781 * [backup-simplify]: Simplify (/ -1 1) into -1 0.782 * [backup-simplify]: Simplify (- -1) into 1 0.782 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.782 * [taylor]: Taking taylor expansion of 2 in c 0.782 * [backup-simplify]: Simplify 2 into 2 0.782 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.782 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.782 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.782 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.783 * [backup-simplify]: Simplify (- 0) into 0 0.783 * [backup-simplify]: Simplify (+ 0 0) into 0 0.784 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.784 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify (- 0) into 0 0.785 * [backup-simplify]: Simplify (+ 0 0) into 0 0.787 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify (- 0) into 0 0.788 * [backup-simplify]: Simplify (+ 0 0) into 0 0.790 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify (- 0) into 0 0.790 * [backup-simplify]: Simplify (+ 0 0) into 0 0.793 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify (- 0) into 0 0.794 * [backup-simplify]: Simplify (+ 0 0) into 0 0.798 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.798 * [backup-simplify]: Simplify 0 into 0 0.798 * [backup-simplify]: Simplify (- 0) into 0 0.799 * [backup-simplify]: Simplify (+ 0 0) into 0 0.802 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.802 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 0.803 * * * [progress]: simplifying candidates 0.803 * * * * [progress]: [ 1 / 12 ] simplifiying candidate # 0.803 * [simplify]: Simplifying (- (exp c) (exp (- c))) 0.803 * * [simplify]: iters left: 5 (5 enodes) 0.806 * * [simplify]: iters left: 4 (19 enodes) 0.811 * * [simplify]: iters left: 3 (29 enodes) 0.816 * * [simplify]: iters left: 2 (33 enodes) 0.821 * * [simplify]: Extracting #0: cost 1 inf + 0 0.821 * * [simplify]: Extracting #1: cost 5 inf + 0 0.821 * * [simplify]: Extracting #2: cost 12 inf + 0 0.821 * * [simplify]: Extracting #3: cost 10 inf + 3 0.821 * * [simplify]: Extracting #4: cost 3 inf + 561 0.821 * * [simplify]: Extracting #5: cost 0 inf + 977 0.821 * [simplify]: Simplified to (+ (/ -1 (exp c)) (exp c)) 0.822 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (+ (/ -1 (exp c)) (exp c)) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.822 * * * * [progress]: [ 2 / 12 ] simplifiying candidate # 0.822 * * * * [progress]: [ 3 / 12 ] simplifiying candidate # 0.822 * [simplify]: Simplifying (log (sinh c)) 0.822 * * [simplify]: iters left: 2 (3 enodes) 0.823 * * [simplify]: iters left: 1 (15 enodes) 0.826 * * [simplify]: Extracting #0: cost 1 inf + 0 0.826 * * [simplify]: Extracting #1: cost 5 inf + 0 0.826 * * [simplify]: Extracting #2: cost 11 inf + 0 0.826 * * [simplify]: Extracting #3: cost 12 inf + 73 0.826 * * [simplify]: Extracting #4: cost 12 inf + 368 0.827 * * [simplify]: Extracting #5: cost 7 inf + 844 0.827 * * [simplify]: Extracting #6: cost 0 inf + 2032 0.827 * [simplify]: Simplified to (log (sinh c)) 0.827 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (exp (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.827 * * * * [progress]: [ 4 / 12 ] simplifiying candidate # 0.827 * [simplify]: Simplifying (exp (sinh c)) 0.827 * * [simplify]: iters left: 2 (3 enodes) 0.829 * * [simplify]: iters left: 1 (15 enodes) 0.834 * * [simplify]: Extracting #0: cost 1 inf + 0 0.834 * * [simplify]: Extracting #1: cost 4 inf + 0 0.835 * * [simplify]: Extracting #2: cost 10 inf + 0 0.835 * * [simplify]: Extracting #3: cost 12 inf + 2 0.835 * * [simplify]: Extracting #4: cost 13 inf + 185 0.835 * * [simplify]: Extracting #5: cost 5 inf + 1035 0.836 * * [simplify]: Extracting #6: cost 0 inf + 1961 0.837 * [simplify]: Simplified to (exp (sinh c)) 0.837 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log (exp (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.837 * * * * [progress]: [ 5 / 12 ] simplifiying candidate # 0.837 * [simplify]: Simplifying (* (cbrt (sinh c)) (cbrt (sinh c))) 0.838 * * [simplify]: iters left: 4 (4 enodes) 0.839 * * [simplify]: iters left: 3 (18 enodes) 0.846 * * [simplify]: iters left: 2 (35 enodes) 0.853 * * [simplify]: iters left: 1 (53 enodes) 0.863 * * [simplify]: Extracting #0: cost 1 inf + 0 0.863 * * [simplify]: Extracting #1: cost 3 inf + 0 0.863 * * [simplify]: Extracting #2: cost 5 inf + 0 0.863 * * [simplify]: Extracting #3: cost 12 inf + 0 0.863 * * [simplify]: Extracting #4: cost 21 inf + 2 0.863 * * [simplify]: Extracting #5: cost 19 inf + 356 0.863 * * [simplify]: Extracting #6: cost 3 inf + 2326 0.864 * * [simplify]: Extracting #7: cost 0 inf + 2691 0.864 * [simplify]: Simplified to (* (cbrt (sinh c)) (cbrt (sinh c))) 0.864 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.865 * [simplify]: Simplifying (cbrt (sinh c)) 0.865 * * [simplify]: iters left: 2 (3 enodes) 0.866 * * [simplify]: iters left: 1 (15 enodes) 0.869 * * [simplify]: Extracting #0: cost 1 inf + 0 0.869 * * [simplify]: Extracting #1: cost 3 inf + 0 0.869 * * [simplify]: Extracting #2: cost 9 inf + 0 0.869 * * [simplify]: Extracting #3: cost 11 inf + 2 0.869 * * [simplify]: Extracting #4: cost 12 inf + 185 0.869 * * [simplify]: Extracting #5: cost 5 inf + 904 0.870 * * [simplify]: Extracting #6: cost 0 inf + 1690 0.870 * [simplify]: Simplified to (cbrt (sinh c)) 0.870 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 0.870 * * * * [progress]: [ 6 / 12 ] simplifiying candidate # 0.873 * [simplify]: Simplifying (* (* (sinh c) (sinh c)) (sinh c)) 0.873 * * [simplify]: iters left: 5 (4 enodes) 0.875 * * [simplify]: iters left: 4 (19 enodes) 0.882 * * [simplify]: iters left: 3 (46 enodes) 0.893 * * [simplify]: iters left: 2 (111 enodes) 0.939 * * [simplify]: iters left: 1 (309 enodes) 1.159 * * [simplify]: Extracting #0: cost 1 inf + 0 1.159 * * [simplify]: Extracting #1: cost 41 inf + 0 1.160 * * [simplify]: Extracting #2: cost 131 inf + 4 1.162 * * [simplify]: Extracting #3: cost 240 inf + 2675 1.174 * * [simplify]: Extracting #4: cost 86 inf + 38071 1.197 * * [simplify]: Extracting #5: cost 1 inf + 60566 1.218 * * [simplify]: Extracting #6: cost 0 inf + 56869 1.230 * * [simplify]: Extracting #7: cost 0 inf + 56720 1.242 * [simplify]: Simplified to (* (* (sinh c) (sinh c)) (sinh c)) 1.242 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.243 * * * * [progress]: [ 7 / 12 ] simplifiying candidate # 1.243 * [simplify]: Simplifying (sqrt (sinh c)) 1.243 * * [simplify]: iters left: 2 (3 enodes) 1.244 * * [simplify]: iters left: 1 (15 enodes) 1.249 * * [simplify]: Extracting #0: cost 1 inf + 0 1.249 * * [simplify]: Extracting #1: cost 3 inf + 0 1.249 * * [simplify]: Extracting #2: cost 9 inf + 0 1.249 * * [simplify]: Extracting #3: cost 11 inf + 2 1.249 * * [simplify]: Extracting #4: cost 12 inf + 185 1.249 * * [simplify]: Extracting #5: cost 5 inf + 824 1.250 * * [simplify]: Extracting #6: cost 0 inf + 1610 1.250 * [simplify]: Simplified to (sqrt (sinh c)) 1.250 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.250 * [simplify]: Simplifying (sqrt (sinh c)) 1.250 * * [simplify]: iters left: 2 (3 enodes) 1.251 * * [simplify]: iters left: 1 (15 enodes) 1.256 * * [simplify]: Extracting #0: cost 1 inf + 0 1.256 * * [simplify]: Extracting #1: cost 3 inf + 0 1.256 * * [simplify]: Extracting #2: cost 9 inf + 0 1.256 * * [simplify]: Extracting #3: cost 11 inf + 2 1.256 * * [simplify]: Extracting #4: cost 12 inf + 185 1.256 * * [simplify]: Extracting #5: cost 5 inf + 824 1.257 * * [simplify]: Extracting #6: cost 0 inf + 1610 1.257 * [simplify]: Simplified to (sqrt (sinh c)) 1.258 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.258 * * * * [progress]: [ 8 / 12 ] simplifiying candidate # 1.258 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1.258 * [simplify]: Simplifying (real->posit16 (sinh c)) 1.259 * * [simplify]: iters left: 2 (3 enodes) 1.260 * * [simplify]: iters left: 1 (12 enodes) 1.265 * * [simplify]: Extracting #0: cost 1 inf + 0 1.265 * * [simplify]: Extracting #1: cost 2 inf + 0 1.265 * * [simplify]: Extracting #2: cost 7 inf + 0 1.265 * * [simplify]: Extracting #3: cost 9 inf + 2 1.265 * * [simplify]: Extracting #4: cost 9 inf + 297 1.265 * * [simplify]: Extracting #5: cost 5 inf + 673 1.266 * * [simplify]: Extracting #6: cost 0 inf + 1418 1.266 * [simplify]: Simplified to (real->posit16 (sinh c)) 1.266 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (posit16->real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.266 * * * * [progress]: [ 10 / 12 ] simplifiying candidate # 1.267 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1.267 * * [simplify]: iters left: 6 (11 enodes) 1.275 * * [simplify]: iters left: 5 (51 enodes) 1.297 * * [simplify]: iters left: 4 (103 enodes) 1.327 * * [simplify]: iters left: 3 (199 enodes) 1.376 * * [simplify]: iters left: 2 (364 enodes) 1.501 * * [simplify]: Extracting #0: cost 1 inf + 0 1.501 * * [simplify]: Extracting #1: cost 8 inf + 0 1.501 * * [simplify]: Extracting #2: cost 70 inf + 1 1.502 * * [simplify]: Extracting #3: cost 167 inf + 44 1.504 * * [simplify]: Extracting #4: cost 134 inf + 5439 1.511 * * [simplify]: Extracting #5: cost 40 inf + 43534 1.517 * * [simplify]: Extracting #6: cost 0 inf + 65054 1.522 * * [simplify]: Extracting #7: cost 0 inf + 64621 1.527 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 1.528 * [simplify]: Simplified (2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.528 * * * * [progress]: [ 11 / 12 ] simplifiying candidate # 1.528 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1.528 * * [simplify]: iters left: 6 (7 enodes) 1.530 * * [simplify]: iters left: 5 (26 enodes) 1.535 * * [simplify]: iters left: 4 (42 enodes) 1.543 * * [simplify]: iters left: 3 (60 enodes) 1.563 * * [simplify]: iters left: 2 (78 enodes) 1.577 * * [simplify]: iters left: 1 (80 enodes) 1.587 * * [simplify]: Extracting #0: cost 1 inf + 0 1.587 * * [simplify]: Extracting #1: cost 7 inf + 0 1.587 * * [simplify]: Extracting #2: cost 14 inf + 1 1.587 * * [simplify]: Extracting #3: cost 20 inf + 2 1.587 * * [simplify]: Extracting #4: cost 17 inf + 46 1.587 * * [simplify]: Extracting #5: cost 5 inf + 1344 1.588 * * [simplify]: Extracting #6: cost 1 inf + 1912 1.588 * * [simplify]: Extracting #7: cost 0 inf + 2035 1.588 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 1.588 * [simplify]: Simplified (2 1) to (λ (c) (fmod (- (* 1/2 (exp c)) (/ 1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.589 * * * * [progress]: [ 12 / 12 ] simplifiying candidate # 1.589 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1.589 * * [simplify]: iters left: 6 (8 enodes) 1.591 * * [simplify]: iters left: 5 (31 enodes) 1.597 * * [simplify]: iters left: 4 (49 enodes) 1.607 * * [simplify]: iters left: 3 (83 enodes) 1.635 * * [simplify]: iters left: 2 (145 enodes) 1.691 * * [simplify]: iters left: 1 (297 enodes) 1.831 * * [simplify]: Extracting #0: cost 1 inf + 0 1.831 * * [simplify]: Extracting #1: cost 7 inf + 0 1.831 * * [simplify]: Extracting #2: cost 84 inf + 1 1.833 * * [simplify]: Extracting #3: cost 196 inf + 2 1.835 * * [simplify]: Extracting #4: cost 185 inf + 5348 1.838 * * [simplify]: Extracting #5: cost 161 inf + 10613 1.842 * * [simplify]: Extracting #6: cost 96 inf + 35714 1.851 * * [simplify]: Extracting #7: cost 7 inf + 93214 1.861 * * [simplify]: Extracting #8: cost 0 inf + 97668 1.871 * [simplify]: Simplified to (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 1.871 * [simplify]: Simplified (2 1) to (λ (c) (fmod (- (* 1/2 (exp c)) (/ 1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1.871 * * * [progress]: adding candidates to table 1.984 * * [progress]: iteration 2 / 4 1.984 * * * [progress]: picking best candidate 1.987 * * * * [pick]: Picked # 1.987 * * * [progress]: localizing error 2.026 * * * [progress]: generating rewritten candidates 2.026 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 2.097 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 2.139 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.226 * * * [progress]: generating series expansions 2.226 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 2.226 * [backup-simplify]: Simplify (* (* (* c c) c) 1/6) into (* 1/6 (pow c 3)) 2.226 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 2.226 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.226 * [taylor]: Taking taylor expansion of 1/6 in c 2.226 * [backup-simplify]: Simplify 1/6 into 1/6 2.226 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.226 * [taylor]: Taking taylor expansion of c in c 2.226 * [backup-simplify]: Simplify 0 into 0 2.226 * [backup-simplify]: Simplify 1 into 1 2.227 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.227 * [taylor]: Taking taylor expansion of 1/6 in c 2.227 * [backup-simplify]: Simplify 1/6 into 1/6 2.227 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.227 * [taylor]: Taking taylor expansion of c in c 2.227 * [backup-simplify]: Simplify 0 into 0 2.227 * [backup-simplify]: Simplify 1 into 1 2.228 * [backup-simplify]: Simplify (* 1 1) into 1 2.228 * [backup-simplify]: Simplify (* 1 1) into 1 2.228 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.228 * [backup-simplify]: Simplify 1/6 into 1/6 2.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.230 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.230 * [backup-simplify]: Simplify 0 into 0 2.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.231 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.231 * [backup-simplify]: Simplify 0 into 0 2.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.234 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.236 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.236 * [backup-simplify]: Simplify 0 into 0 2.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.238 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.238 * [backup-simplify]: Simplify 0 into 0 2.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.241 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.241 * [backup-simplify]: Simplify 0 into 0 2.241 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 2.241 * [backup-simplify]: Simplify (* (* (* (/ 1 c) (/ 1 c)) (/ 1 c)) 1/6) into (/ 1/6 (pow c 3)) 2.242 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 2.242 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 2.242 * [taylor]: Taking taylor expansion of 1/6 in c 2.242 * [backup-simplify]: Simplify 1/6 into 1/6 2.242 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.242 * [taylor]: Taking taylor expansion of c in c 2.242 * [backup-simplify]: Simplify 0 into 0 2.242 * [backup-simplify]: Simplify 1 into 1 2.242 * [backup-simplify]: Simplify (* 1 1) into 1 2.242 * [backup-simplify]: Simplify (* 1 1) into 1 2.242 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.242 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 2.242 * [taylor]: Taking taylor expansion of 1/6 in c 2.243 * [backup-simplify]: Simplify 1/6 into 1/6 2.243 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.243 * [taylor]: Taking taylor expansion of c in c 2.243 * [backup-simplify]: Simplify 0 into 0 2.243 * [backup-simplify]: Simplify 1 into 1 2.243 * [backup-simplify]: Simplify (* 1 1) into 1 2.243 * [backup-simplify]: Simplify (* 1 1) into 1 2.243 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.243 * [backup-simplify]: Simplify 1/6 into 1/6 2.244 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.244 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 2.245 * [backup-simplify]: Simplify 0 into 0 2.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.247 * [backup-simplify]: Simplify 0 into 0 2.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.248 * [backup-simplify]: Simplify 0 into 0 2.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.250 * [backup-simplify]: Simplify 0 into 0 2.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.253 * [backup-simplify]: Simplify 0 into 0 2.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.255 * [backup-simplify]: Simplify 0 into 0 2.255 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 2.256 * [backup-simplify]: Simplify (* (* (* (/ 1 (- c)) (/ 1 (- c))) (/ 1 (- c))) 1/6) into (/ -1/6 (pow c 3)) 2.256 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 2.256 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 2.256 * [taylor]: Taking taylor expansion of -1/6 in c 2.256 * [backup-simplify]: Simplify -1/6 into -1/6 2.256 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.256 * [taylor]: Taking taylor expansion of c in c 2.256 * [backup-simplify]: Simplify 0 into 0 2.256 * [backup-simplify]: Simplify 1 into 1 2.256 * [backup-simplify]: Simplify (* 1 1) into 1 2.256 * [backup-simplify]: Simplify (* 1 1) into 1 2.257 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.257 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 2.257 * [taylor]: Taking taylor expansion of -1/6 in c 2.257 * [backup-simplify]: Simplify -1/6 into -1/6 2.257 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.257 * [taylor]: Taking taylor expansion of c in c 2.257 * [backup-simplify]: Simplify 0 into 0 2.257 * [backup-simplify]: Simplify 1 into 1 2.257 * [backup-simplify]: Simplify (* 1 1) into 1 2.257 * [backup-simplify]: Simplify (* 1 1) into 1 2.257 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.258 * [backup-simplify]: Simplify -1/6 into -1/6 2.258 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.258 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 2.259 * [backup-simplify]: Simplify 0 into 0 2.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.261 * [backup-simplify]: Simplify 0 into 0 2.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.263 * [backup-simplify]: Simplify 0 into 0 2.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.265 * [backup-simplify]: Simplify 0 into 0 2.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.267 * [backup-simplify]: Simplify 0 into 0 2.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.269 * [backup-simplify]: Simplify 0 into 0 2.270 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 2.270 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 2.270 * [backup-simplify]: Simplify (* (* c c) c) into (pow c 3) 2.270 * [approximate]: Taking taylor expansion of (pow c 3) in (c) around 0 2.270 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.270 * [taylor]: Taking taylor expansion of c in c 2.270 * [backup-simplify]: Simplify 0 into 0 2.270 * [backup-simplify]: Simplify 1 into 1 2.270 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.270 * [taylor]: Taking taylor expansion of c in c 2.270 * [backup-simplify]: Simplify 0 into 0 2.270 * [backup-simplify]: Simplify 1 into 1 2.270 * [backup-simplify]: Simplify (* 1 1) into 1 2.270 * [backup-simplify]: Simplify (* 1 1) into 1 2.270 * [backup-simplify]: Simplify 1 into 1 2.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.271 * [backup-simplify]: Simplify 0 into 0 2.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.272 * [backup-simplify]: Simplify 0 into 0 2.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.274 * [backup-simplify]: Simplify 0 into 0 2.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.275 * [backup-simplify]: Simplify 0 into 0 2.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.277 * [backup-simplify]: Simplify 0 into 0 2.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.279 * [backup-simplify]: Simplify 0 into 0 2.279 * [backup-simplify]: Simplify (* 1 (pow c 3)) into (pow c 3) 2.279 * [backup-simplify]: Simplify (* (* (/ 1 c) (/ 1 c)) (/ 1 c)) into (/ 1 (pow c 3)) 2.279 * [approximate]: Taking taylor expansion of (/ 1 (pow c 3)) in (c) around 0 2.279 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 2.279 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.279 * [taylor]: Taking taylor expansion of c in c 2.279 * [backup-simplify]: Simplify 0 into 0 2.279 * [backup-simplify]: Simplify 1 into 1 2.279 * [backup-simplify]: Simplify (* 1 1) into 1 2.279 * [backup-simplify]: Simplify (* 1 1) into 1 2.280 * [backup-simplify]: Simplify (/ 1 1) into 1 2.280 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 2.280 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.280 * [taylor]: Taking taylor expansion of c in c 2.280 * [backup-simplify]: Simplify 0 into 0 2.280 * [backup-simplify]: Simplify 1 into 1 2.280 * [backup-simplify]: Simplify (* 1 1) into 1 2.281 * [backup-simplify]: Simplify (* 1 1) into 1 2.281 * [backup-simplify]: Simplify (/ 1 1) into 1 2.281 * [backup-simplify]: Simplify 1 into 1 2.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.283 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.284 * [backup-simplify]: Simplify 0 into 0 2.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.287 * [backup-simplify]: Simplify 0 into 0 2.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.290 * [backup-simplify]: Simplify 0 into 0 2.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.294 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.298 * [backup-simplify]: Simplify 0 into 0 2.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.302 * [backup-simplify]: Simplify 0 into 0 2.302 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 c)) 3)) into (pow c 3) 2.302 * [backup-simplify]: Simplify (* (* (/ 1 (- c)) (/ 1 (- c))) (/ 1 (- c))) into (/ -1 (pow c 3)) 2.302 * [approximate]: Taking taylor expansion of (/ -1 (pow c 3)) in (c) around 0 2.302 * [taylor]: Taking taylor expansion of (/ -1 (pow c 3)) in c 2.302 * [taylor]: Taking taylor expansion of -1 in c 2.302 * [backup-simplify]: Simplify -1 into -1 2.302 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.303 * [taylor]: Taking taylor expansion of c in c 2.303 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify 1 into 1 2.303 * [backup-simplify]: Simplify (* 1 1) into 1 2.303 * [backup-simplify]: Simplify (* 1 1) into 1 2.304 * [backup-simplify]: Simplify (/ -1 1) into -1 2.304 * [taylor]: Taking taylor expansion of (/ -1 (pow c 3)) in c 2.304 * [taylor]: Taking taylor expansion of -1 in c 2.304 * [backup-simplify]: Simplify -1 into -1 2.304 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.304 * [taylor]: Taking taylor expansion of c in c 2.304 * [backup-simplify]: Simplify 0 into 0 2.304 * [backup-simplify]: Simplify 1 into 1 2.304 * [backup-simplify]: Simplify (* 1 1) into 1 2.305 * [backup-simplify]: Simplify (* 1 1) into 1 2.305 * [backup-simplify]: Simplify (/ -1 1) into -1 2.305 * [backup-simplify]: Simplify -1 into -1 2.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.308 * [backup-simplify]: Simplify 0 into 0 2.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.311 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.314 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.314 * [backup-simplify]: Simplify 0 into 0 2.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.318 * [backup-simplify]: Simplify 0 into 0 2.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.322 * [backup-simplify]: Simplify 0 into 0 2.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.326 * [backup-simplify]: Simplify 0 into 0 2.326 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- c))) 3)) into (pow c 3) 2.326 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 2.327 * [backup-simplify]: Simplify (* (pow c 5) 1/120) into (* 1/120 (pow c 5)) 2.327 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 2.327 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.327 * [taylor]: Taking taylor expansion of 1/120 in c 2.327 * [backup-simplify]: Simplify 1/120 into 1/120 2.327 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.327 * [taylor]: Taking taylor expansion of c in c 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 1 into 1 2.327 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.327 * [taylor]: Taking taylor expansion of 1/120 in c 2.327 * [backup-simplify]: Simplify 1/120 into 1/120 2.327 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.327 * [taylor]: Taking taylor expansion of c in c 2.327 * [backup-simplify]: Simplify 0 into 0 2.327 * [backup-simplify]: Simplify 1 into 1 2.328 * [backup-simplify]: Simplify (* 1 1) into 1 2.328 * [backup-simplify]: Simplify (* 1 1) into 1 2.328 * [backup-simplify]: Simplify (* 1 1) into 1 2.329 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 2.329 * [backup-simplify]: Simplify 1/120 into 1/120 2.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.337 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.338 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 2.338 * [backup-simplify]: Simplify 0 into 0 2.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.342 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 2.342 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.347 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.347 * [backup-simplify]: Simplify 0 into 0 2.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.353 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.353 * [backup-simplify]: Simplify 0 into 0 2.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.359 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.359 * [backup-simplify]: Simplify 0 into 0 2.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.366 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 2.366 * [backup-simplify]: Simplify (* (pow (/ 1 c) 5) 1/120) into (/ 1/120 (pow c 5)) 2.366 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 2.366 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 2.366 * [taylor]: Taking taylor expansion of 1/120 in c 2.366 * [backup-simplify]: Simplify 1/120 into 1/120 2.366 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.366 * [taylor]: Taking taylor expansion of c in c 2.367 * [backup-simplify]: Simplify 0 into 0 2.367 * [backup-simplify]: Simplify 1 into 1 2.367 * [backup-simplify]: Simplify (* 1 1) into 1 2.367 * [backup-simplify]: Simplify (* 1 1) into 1 2.368 * [backup-simplify]: Simplify (* 1 1) into 1 2.368 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 2.368 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 2.368 * [taylor]: Taking taylor expansion of 1/120 in c 2.368 * [backup-simplify]: Simplify 1/120 into 1/120 2.368 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.368 * [taylor]: Taking taylor expansion of c in c 2.368 * [backup-simplify]: Simplify 0 into 0 2.368 * [backup-simplify]: Simplify 1 into 1 2.369 * [backup-simplify]: Simplify (* 1 1) into 1 2.369 * [backup-simplify]: Simplify (* 1 1) into 1 2.370 * [backup-simplify]: Simplify (* 1 1) into 1 2.370 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 2.370 * [backup-simplify]: Simplify 1/120 into 1/120 2.371 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.372 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.372 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 2.373 * [backup-simplify]: Simplify 0 into 0 2.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.377 * [backup-simplify]: Simplify 0 into 0 2.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.382 * [backup-simplify]: Simplify 0 into 0 2.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.387 * [backup-simplify]: Simplify 0 into 0 2.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.392 * [backup-simplify]: Simplify 0 into 0 2.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.398 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.398 * [backup-simplify]: Simplify 0 into 0 2.398 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 2.399 * [backup-simplify]: Simplify (* (pow (/ 1 (- c)) 5) 1/120) into (/ -1/120 (pow c 5)) 2.399 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 2.399 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 2.399 * [taylor]: Taking taylor expansion of -1/120 in c 2.399 * [backup-simplify]: Simplify -1/120 into -1/120 2.399 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.399 * [taylor]: Taking taylor expansion of c in c 2.399 * [backup-simplify]: Simplify 0 into 0 2.399 * [backup-simplify]: Simplify 1 into 1 2.399 * [backup-simplify]: Simplify (* 1 1) into 1 2.400 * [backup-simplify]: Simplify (* 1 1) into 1 2.400 * [backup-simplify]: Simplify (* 1 1) into 1 2.400 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 2.401 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 2.401 * [taylor]: Taking taylor expansion of -1/120 in c 2.401 * [backup-simplify]: Simplify -1/120 into -1/120 2.401 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.401 * [taylor]: Taking taylor expansion of c in c 2.401 * [backup-simplify]: Simplify 0 into 0 2.401 * [backup-simplify]: Simplify 1 into 1 2.401 * [backup-simplify]: Simplify (* 1 1) into 1 2.402 * [backup-simplify]: Simplify (* 1 1) into 1 2.402 * [backup-simplify]: Simplify (* 1 1) into 1 2.403 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 2.403 * [backup-simplify]: Simplify -1/120 into -1/120 2.403 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.404 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.405 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 2.406 * [backup-simplify]: Simplify 0 into 0 2.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.410 * [backup-simplify]: Simplify 0 into 0 2.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.414 * [backup-simplify]: Simplify 0 into 0 2.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.419 * [backup-simplify]: Simplify 0 into 0 2.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.425 * [backup-simplify]: Simplify 0 into 0 2.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.431 * [backup-simplify]: Simplify 0 into 0 2.431 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 2.431 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.431 * [backup-simplify]: Simplify (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 2.431 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in (c) around 0 2.431 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c 2.431 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.431 * [taylor]: Taking taylor expansion of 1/6 in c 2.431 * [backup-simplify]: Simplify 1/6 into 1/6 2.431 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.431 * [taylor]: Taking taylor expansion of c in c 2.431 * [backup-simplify]: Simplify 0 into 0 2.431 * [backup-simplify]: Simplify 1 into 1 2.432 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 2.432 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.432 * [taylor]: Taking taylor expansion of 1/120 in c 2.432 * [backup-simplify]: Simplify 1/120 into 1/120 2.432 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.432 * [taylor]: Taking taylor expansion of c in c 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 1 into 1 2.432 * [taylor]: Taking taylor expansion of c in c 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 1 into 1 2.432 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c 2.432 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.432 * [taylor]: Taking taylor expansion of 1/6 in c 2.432 * [backup-simplify]: Simplify 1/6 into 1/6 2.432 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.432 * [taylor]: Taking taylor expansion of c in c 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 1 into 1 2.432 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 2.432 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.432 * [taylor]: Taking taylor expansion of 1/120 in c 2.432 * [backup-simplify]: Simplify 1/120 into 1/120 2.432 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.432 * [taylor]: Taking taylor expansion of c in c 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 1 into 1 2.432 * [taylor]: Taking taylor expansion of c in c 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 1 into 1 2.433 * [backup-simplify]: Simplify (+ 0 0) into 0 2.433 * [backup-simplify]: Simplify (+ 0 0) into 0 2.433 * [backup-simplify]: Simplify 0 into 0 2.434 * [backup-simplify]: Simplify (+ 0 1) into 1 2.434 * [backup-simplify]: Simplify (+ 0 1) into 1 2.434 * [backup-simplify]: Simplify 1 into 1 2.435 * [backup-simplify]: Simplify (+ 0 0) into 0 2.435 * [backup-simplify]: Simplify (+ 0 0) into 0 2.435 * [backup-simplify]: Simplify 0 into 0 2.436 * [backup-simplify]: Simplify (* 1 1) into 1 2.436 * [backup-simplify]: Simplify (* 1 1) into 1 2.437 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.437 * [backup-simplify]: Simplify (+ 0 0) into 0 2.437 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 2.437 * [backup-simplify]: Simplify 1/6 into 1/6 2.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.439 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.439 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.440 * [backup-simplify]: Simplify (+ 0 0) into 0 2.440 * [backup-simplify]: Simplify (+ 0 0) into 0 2.440 * [backup-simplify]: Simplify 0 into 0 2.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.443 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.444 * [backup-simplify]: Simplify (* 1 1) into 1 2.444 * [backup-simplify]: Simplify (* 1 1) into 1 2.444 * [backup-simplify]: Simplify (* 1 1) into 1 2.445 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 2.445 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 2.446 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 2.446 * [backup-simplify]: Simplify 1/120 into 1/120 2.446 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 2.446 * [backup-simplify]: Simplify (+ (* (* (* (/ 1 c) (/ 1 c)) (/ 1 c)) 1/6) (+ (/ 1 c) (* (pow (/ 1 c) 5) 1/120))) into (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) 2.446 * [approximate]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in (c) around 0 2.447 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c 2.447 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 2.447 * [taylor]: Taking taylor expansion of 1/6 in c 2.447 * [backup-simplify]: Simplify 1/6 into 1/6 2.447 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 2.447 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.447 * [taylor]: Taking taylor expansion of c in c 2.447 * [backup-simplify]: Simplify 0 into 0 2.447 * [backup-simplify]: Simplify 1 into 1 2.447 * [backup-simplify]: Simplify (* 1 1) into 1 2.447 * [backup-simplify]: Simplify (* 1 1) into 1 2.448 * [backup-simplify]: Simplify (/ 1 1) into 1 2.448 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c 2.448 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.448 * [taylor]: Taking taylor expansion of c in c 2.448 * [backup-simplify]: Simplify 0 into 0 2.448 * [backup-simplify]: Simplify 1 into 1 2.448 * [backup-simplify]: Simplify (/ 1 1) into 1 2.448 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 2.448 * [taylor]: Taking taylor expansion of 1/120 in c 2.448 * [backup-simplify]: Simplify 1/120 into 1/120 2.448 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 2.449 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.449 * [taylor]: Taking taylor expansion of c in c 2.449 * [backup-simplify]: Simplify 0 into 0 2.449 * [backup-simplify]: Simplify 1 into 1 2.449 * [backup-simplify]: Simplify (* 1 1) into 1 2.449 * [backup-simplify]: Simplify (* 1 1) into 1 2.450 * [backup-simplify]: Simplify (* 1 1) into 1 2.450 * [backup-simplify]: Simplify (/ 1 1) into 1 2.450 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c 2.450 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 2.450 * [taylor]: Taking taylor expansion of 1/6 in c 2.450 * [backup-simplify]: Simplify 1/6 into 1/6 2.450 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 2.450 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.450 * [taylor]: Taking taylor expansion of c in c 2.450 * [backup-simplify]: Simplify 0 into 0 2.450 * [backup-simplify]: Simplify 1 into 1 2.451 * [backup-simplify]: Simplify (* 1 1) into 1 2.451 * [backup-simplify]: Simplify (* 1 1) into 1 2.451 * [backup-simplify]: Simplify (/ 1 1) into 1 2.451 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c 2.451 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.451 * [taylor]: Taking taylor expansion of c in c 2.451 * [backup-simplify]: Simplify 0 into 0 2.451 * [backup-simplify]: Simplify 1 into 1 2.452 * [backup-simplify]: Simplify (/ 1 1) into 1 2.452 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 2.452 * [taylor]: Taking taylor expansion of 1/120 in c 2.452 * [backup-simplify]: Simplify 1/120 into 1/120 2.452 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 2.452 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.452 * [taylor]: Taking taylor expansion of c in c 2.452 * [backup-simplify]: Simplify 0 into 0 2.452 * [backup-simplify]: Simplify 1 into 1 2.452 * [backup-simplify]: Simplify (* 1 1) into 1 2.453 * [backup-simplify]: Simplify (* 1 1) into 1 2.453 * [backup-simplify]: Simplify (* 1 1) into 1 2.453 * [backup-simplify]: Simplify (/ 1 1) into 1 2.454 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 2.454 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 2.455 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 2.455 * [backup-simplify]: Simplify 1/120 into 1/120 2.455 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.456 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.457 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.458 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 2.458 * [backup-simplify]: Simplify (+ 0 0) into 0 2.459 * [backup-simplify]: Simplify (+ 0 0) into 0 2.459 * [backup-simplify]: Simplify 0 into 0 2.459 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.464 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 2.465 * [backup-simplify]: Simplify (+ 0 0) into 0 2.466 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 2.466 * [backup-simplify]: Simplify 1/6 into 1/6 2.466 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.469 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.474 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.475 * [backup-simplify]: Simplify (+ 0 0) into 0 2.475 * [backup-simplify]: Simplify (+ 0 0) into 0 2.475 * [backup-simplify]: Simplify 0 into 0 2.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.479 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.485 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.486 * [backup-simplify]: Simplify (+ 1 0) into 1 2.486 * [backup-simplify]: Simplify (+ 0 1) into 1 2.486 * [backup-simplify]: Simplify 1 into 1 2.487 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (+ (* 1/6 (pow (/ 1 (/ 1 c)) 3)) (* 1/120 (pow (/ 1 (/ 1 c)) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 2.487 * [backup-simplify]: Simplify (+ (* (* (* (/ 1 (- c)) (/ 1 (- c))) (/ 1 (- c))) 1/6) (+ (/ 1 (- c)) (* (pow (/ 1 (- c)) 5) 1/120))) into (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))) 2.487 * [approximate]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))) in (c) around 0 2.487 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))) in c 2.487 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c 2.487 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 2.487 * [taylor]: Taking taylor expansion of 1/6 in c 2.487 * [backup-simplify]: Simplify 1/6 into 1/6 2.487 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 2.487 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.487 * [taylor]: Taking taylor expansion of c in c 2.487 * [backup-simplify]: Simplify 0 into 0 2.488 * [backup-simplify]: Simplify 1 into 1 2.488 * [backup-simplify]: Simplify (* 1 1) into 1 2.488 * [backup-simplify]: Simplify (* 1 1) into 1 2.489 * [backup-simplify]: Simplify (/ 1 1) into 1 2.489 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c 2.489 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.489 * [taylor]: Taking taylor expansion of c in c 2.489 * [backup-simplify]: Simplify 0 into 0 2.489 * [backup-simplify]: Simplify 1 into 1 2.489 * [backup-simplify]: Simplify (/ 1 1) into 1 2.489 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 2.489 * [taylor]: Taking taylor expansion of 1/120 in c 2.489 * [backup-simplify]: Simplify 1/120 into 1/120 2.489 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 2.489 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.489 * [taylor]: Taking taylor expansion of c in c 2.489 * [backup-simplify]: Simplify 0 into 0 2.489 * [backup-simplify]: Simplify 1 into 1 2.490 * [backup-simplify]: Simplify (* 1 1) into 1 2.490 * [backup-simplify]: Simplify (* 1 1) into 1 2.496 * [backup-simplify]: Simplify (* 1 1) into 1 2.497 * [backup-simplify]: Simplify (/ 1 1) into 1 2.497 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))) in c 2.497 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c 2.497 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 2.497 * [taylor]: Taking taylor expansion of 1/6 in c 2.497 * [backup-simplify]: Simplify 1/6 into 1/6 2.497 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 2.497 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.497 * [taylor]: Taking taylor expansion of c in c 2.497 * [backup-simplify]: Simplify 0 into 0 2.497 * [backup-simplify]: Simplify 1 into 1 2.497 * [backup-simplify]: Simplify (* 1 1) into 1 2.498 * [backup-simplify]: Simplify (* 1 1) into 1 2.498 * [backup-simplify]: Simplify (/ 1 1) into 1 2.498 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c 2.498 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.498 * [taylor]: Taking taylor expansion of c in c 2.498 * [backup-simplify]: Simplify 0 into 0 2.498 * [backup-simplify]: Simplify 1 into 1 2.499 * [backup-simplify]: Simplify (/ 1 1) into 1 2.499 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 2.499 * [taylor]: Taking taylor expansion of 1/120 in c 2.499 * [backup-simplify]: Simplify 1/120 into 1/120 2.499 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 2.499 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.499 * [taylor]: Taking taylor expansion of c in c 2.499 * [backup-simplify]: Simplify 0 into 0 2.499 * [backup-simplify]: Simplify 1 into 1 2.500 * [backup-simplify]: Simplify (* 1 1) into 1 2.500 * [backup-simplify]: Simplify (* 1 1) into 1 2.500 * [backup-simplify]: Simplify (* 1 1) into 1 2.501 * [backup-simplify]: Simplify (/ 1 1) into 1 2.501 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 2.502 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 2.502 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 2.503 * [backup-simplify]: Simplify (- 1/120) into -1/120 2.503 * [backup-simplify]: Simplify -1/120 into -1/120 2.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.505 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.506 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 2.507 * [backup-simplify]: Simplify (+ 0 0) into 0 2.507 * [backup-simplify]: Simplify (+ 0 0) into 0 2.507 * [backup-simplify]: Simplify (- 0) into 0 2.507 * [backup-simplify]: Simplify 0 into 0 2.508 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.513 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 2.513 * [backup-simplify]: Simplify (+ 0 0) into 0 2.514 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 2.514 * [backup-simplify]: Simplify (- 1/6) into -1/6 2.514 * [backup-simplify]: Simplify -1/6 into -1/6 2.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.517 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.522 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.523 * [backup-simplify]: Simplify (+ 0 0) into 0 2.523 * [backup-simplify]: Simplify (+ 0 0) into 0 2.523 * [backup-simplify]: Simplify (- 0) into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.527 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.533 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.533 * [backup-simplify]: Simplify (+ 1 0) into 1 2.534 * [backup-simplify]: Simplify (+ 0 1) into 1 2.534 * [backup-simplify]: Simplify (- 1) into -1 2.534 * [backup-simplify]: Simplify -1 into -1 2.535 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (+ (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 2.535 * * * [progress]: simplifying candidates 2.535 * * * * [progress]: [ 1 / 103 ] simplifiying candidate # 2.535 * [simplify]: Simplifying (* (* (* c c) c) 1/6) 2.535 * * [simplify]: iters left: 6 (5 enodes) 2.538 * * [simplify]: iters left: 5 (19 enodes) 2.545 * * [simplify]: iters left: 4 (31 enodes) 2.556 * * [simplify]: iters left: 3 (43 enodes) 2.571 * * [simplify]: iters left: 2 (59 enodes) 2.593 * * [simplify]: iters left: 1 (91 enodes) 2.622 * * [simplify]: Extracting #0: cost 1 inf + 0 2.622 * * [simplify]: Extracting #1: cost 13 inf + 0 2.622 * * [simplify]: Extracting #2: cost 28 inf + 2 2.623 * * [simplify]: Extracting #3: cost 26 inf + 212 2.624 * * [simplify]: Extracting #4: cost 17 inf + 1509 2.625 * * [simplify]: Extracting #5: cost 4 inf + 5424 2.626 * * [simplify]: Extracting #6: cost 0 inf + 6856 2.627 * [simplify]: Simplified to (* (* c (* c c)) 1/6) 2.627 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (pow (* (* c (* c c)) 1/6) 1) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 2.627 * * * * [progress]: [ 2 / 103 ] simplifiying candidate # 2.628 * [simplify]: Simplifying (* (* (* c c) c) 1/6) 2.628 * * [simplify]: iters left: 6 (5 enodes) 2.631 * * [simplify]: iters left: 5 (19 enodes) 2.637 * * [simplify]: iters left: 4 (31 enodes) 3.066 * * [simplify]: iters left: 3 (43 enodes) 3.076 * * [simplify]: iters left: 2 (59 enodes) 3.096 * * [simplify]: iters left: 1 (91 enodes) 3.113 * * [simplify]: Extracting #0: cost 1 inf + 0 3.114 * * [simplify]: Extracting #1: cost 13 inf + 0 3.114 * * [simplify]: Extracting #2: cost 28 inf + 2 3.114 * * [simplify]: Extracting #3: cost 26 inf + 212 3.114 * * [simplify]: Extracting #4: cost 17 inf + 1509 3.115 * * [simplify]: Extracting #5: cost 4 inf + 5424 3.115 * * [simplify]: Extracting #6: cost 0 inf + 6856 3.116 * [simplify]: Simplified to (* (* c (* c c)) 1/6) 3.116 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (pow (* (* c (* c c)) 1/6) 1) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.116 * * * * [progress]: [ 3 / 103 ] simplifiying candidate # 3.116 * [simplify]: Simplifying (* (* (* c c) c) 1/6) 3.116 * * [simplify]: iters left: 6 (5 enodes) 3.118 * * [simplify]: iters left: 5 (19 enodes) 3.121 * * [simplify]: iters left: 4 (31 enodes) 3.127 * * [simplify]: iters left: 3 (43 enodes) 3.137 * * [simplify]: iters left: 2 (59 enodes) 3.151 * * [simplify]: iters left: 1 (91 enodes) 3.171 * * [simplify]: Extracting #0: cost 1 inf + 0 3.171 * * [simplify]: Extracting #1: cost 13 inf + 0 3.171 * * [simplify]: Extracting #2: cost 28 inf + 2 3.171 * * [simplify]: Extracting #3: cost 26 inf + 212 3.171 * * [simplify]: Extracting #4: cost 17 inf + 1509 3.172 * * [simplify]: Extracting #5: cost 4 inf + 5424 3.172 * * [simplify]: Extracting #6: cost 0 inf + 6856 3.173 * [simplify]: Simplified to (* (* c (* c c)) 1/6) 3.173 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (pow (* (* c (* c c)) 1/6) 1) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.173 * * * * [progress]: [ 4 / 103 ] simplifiying candidate # 3.173 * * * * [progress]: [ 5 / 103 ] simplifiying candidate # 3.174 * [simplify]: Simplifying (+ (+ (+ (log c) (log c)) (log c)) (log 1/6)) 3.174 * * [simplify]: iters left: 6 (7 enodes) 3.176 * * [simplify]: iters left: 5 (25 enodes) 3.184 * * [simplify]: iters left: 4 (35 enodes) 3.192 * * [simplify]: iters left: 3 (40 enodes) 3.197 * * [simplify]: Extracting #0: cost 1 inf + 0 3.197 * * [simplify]: Extracting #1: cost 8 inf + 0 3.197 * * [simplify]: Extracting #2: cost 16 inf + 0 3.197 * * [simplify]: Extracting #3: cost 13 inf + 73 3.197 * * [simplify]: Extracting #4: cost 11 inf + 215 3.198 * * [simplify]: Extracting #5: cost 3 inf + 1467 3.198 * * [simplify]: Extracting #6: cost 0 inf + 2142 3.198 * [simplify]: Simplified to (+ (+ (log c) (log 1/6)) (+ (log c) (log c))) 3.198 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (exp (+ (+ (log c) (log 1/6)) (+ (log c) (log c)))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.198 * * * * [progress]: [ 6 / 103 ] simplifiying candidate # 3.199 * [simplify]: Simplifying (+ (+ (log (* c c)) (log c)) (log 1/6)) 3.199 * * [simplify]: iters left: 6 (8 enodes) 3.201 * * [simplify]: iters left: 5 (29 enodes) 3.206 * * [simplify]: iters left: 4 (39 enodes) 3.212 * * [simplify]: iters left: 3 (43 enodes) 3.218 * * [simplify]: Extracting #0: cost 1 inf + 0 3.218 * * [simplify]: Extracting #1: cost 8 inf + 0 3.218 * * [simplify]: Extracting #2: cost 17 inf + 0 3.218 * * [simplify]: Extracting #3: cost 16 inf + 2 3.219 * * [simplify]: Extracting #4: cost 9 inf + 661 3.219 * * [simplify]: Extracting #5: cost 3 inf + 1659 3.219 * * [simplify]: Extracting #6: cost 0 inf + 2364 3.220 * [simplify]: Simplified to (+ (log c) (+ (log c) (+ (log c) (log 1/6)))) 3.220 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (exp (+ (log c) (+ (log c) (+ (log c) (log 1/6))))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.220 * * * * [progress]: [ 7 / 103 ] simplifiying candidate # 3.220 * [simplify]: Simplifying (+ (log (* (* c c) c)) (log 1/6)) 3.220 * * [simplify]: iters left: 6 (7 enodes) 3.224 * * [simplify]: iters left: 5 (26 enodes) 3.233 * * [simplify]: iters left: 4 (38 enodes) 3.245 * * [simplify]: iters left: 3 (56 enodes) 3.263 * * [simplify]: iters left: 2 (76 enodes) 3.291 * * [simplify]: iters left: 1 (112 enodes) 3.323 * * [simplify]: Extracting #0: cost 1 inf + 0 3.323 * * [simplify]: Extracting #1: cost 10 inf + 0 3.323 * * [simplify]: Extracting #2: cost 28 inf + 0 3.323 * * [simplify]: Extracting #3: cost 33 inf + 187 3.324 * * [simplify]: Extracting #4: cost 13 inf + 4190 3.325 * * [simplify]: Extracting #5: cost 7 inf + 5466 3.326 * * [simplify]: Extracting #6: cost 1 inf + 7099 3.327 * * [simplify]: Extracting #7: cost 0 inf + 7311 3.327 * [simplify]: Simplified to (+ (* 3 (log c)) (log 1/6)) 3.327 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (exp (+ (* 3 (log c)) (log 1/6))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.328 * * * * [progress]: [ 8 / 103 ] simplifiying candidate # 3.328 * [simplify]: Simplifying (log (* (* (* c c) c) 1/6)) 3.328 * * [simplify]: iters left: 6 (6 enodes) 3.330 * * [simplify]: iters left: 5 (25 enodes) 3.335 * * [simplify]: iters left: 4 (48 enodes) 3.343 * * [simplify]: iters left: 3 (78 enodes) 3.360 * * [simplify]: iters left: 2 (107 enodes) 3.390 * * [simplify]: iters left: 1 (148 enodes) 3.416 * * [simplify]: Extracting #0: cost 1 inf + 0 3.416 * * [simplify]: Extracting #1: cost 12 inf + 0 3.416 * * [simplify]: Extracting #2: cost 38 inf + 0 3.416 * * [simplify]: Extracting #3: cost 48 inf + 187 3.417 * * [simplify]: Extracting #4: cost 31 inf + 2555 3.418 * * [simplify]: Extracting #5: cost 12 inf + 7273 3.419 * * [simplify]: Extracting #6: cost 1 inf + 10613 3.421 * * [simplify]: Extracting #7: cost 0 inf + 10825 3.423 * [simplify]: Simplified to (log (* (* c (* c c)) 1/6)) 3.423 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (exp (log (* (* c (* c c)) 1/6))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.423 * * * * [progress]: [ 9 / 103 ] simplifiying candidate # 3.424 * [simplify]: Simplifying (exp (* (* (* c c) c) 1/6)) 3.424 * * [simplify]: iters left: 6 (6 enodes) 3.428 * * [simplify]: iters left: 5 (24 enodes) 3.437 * * [simplify]: iters left: 4 (50 enodes) 3.456 * * [simplify]: iters left: 3 (92 enodes) 3.490 * * [simplify]: iters left: 2 (183 enodes) 3.529 * * [simplify]: iters left: 1 (392 enodes) 3.654 * * [simplify]: Extracting #0: cost 1 inf + 0 3.654 * * [simplify]: Extracting #1: cost 58 inf + 0 3.655 * * [simplify]: Extracting #2: cost 178 inf + 632 3.658 * * [simplify]: Extracting #3: cost 199 inf + 11685 3.666 * * [simplify]: Extracting #4: cost 82 inf + 50044 3.674 * * [simplify]: Extracting #5: cost 22 inf + 72214 3.682 * * [simplify]: Extracting #6: cost 0 inf + 82471 3.691 * [simplify]: Simplified to (exp (* (* c (* c c)) 1/6)) 3.691 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (log (exp (* (* c (* c c)) 1/6))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.691 * * * * [progress]: [ 10 / 103 ] simplifiying candidate # 3.691 * [simplify]: Simplifying (* (* (* (* (* c c) c) (* (* c c) c)) (* (* c c) c)) (* (* 1/6 1/6) 1/6)) 3.691 * * [simplify]: iters left: 6 (9 enodes) 3.698 * * [simplify]: iters left: 5 (45 enodes) 3.720 * * [simplify]: iters left: 4 (112 enodes) 3.775 * * [simplify]: iters left: 3 (287 enodes) 3.922 * * [simplify]: Extracting #0: cost 1 inf + 0 3.923 * * [simplify]: Extracting #1: cost 55 inf + 0 3.923 * * [simplify]: Extracting #2: cost 124 inf + 171 3.925 * * [simplify]: Extracting #3: cost 81 inf + 6236 3.929 * * [simplify]: Extracting #4: cost 10 inf + 21474 3.934 * * [simplify]: Extracting #5: cost 0 inf + 23918 3.939 * [simplify]: Simplified to (* (* c 1/216) (* (* (* c c) (* c c)) (* (* c c) (* c c)))) 3.939 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (cbrt (* (* c 1/216) (* (* (* c c) (* c c)) (* (* c c) (* c c))))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 3.940 * * * * [progress]: [ 11 / 103 ] simplifiying candidate # 3.940 * [simplify]: Simplifying (* (* (* (* (* c c) (* c c)) (* c c)) (* (* c c) c)) (* (* 1/6 1/6) 1/6)) 3.940 * * [simplify]: iters left: 6 (10 enodes) 3.945 * * [simplify]: iters left: 5 (50 enodes) 3.963 * * [simplify]: iters left: 4 (123 enodes) 3.998 * * [simplify]: iters left: 3 (310 enodes) 4.131 * * [simplify]: Extracting #0: cost 1 inf + 0 4.131 * * [simplify]: Extracting #1: cost 53 inf + 0 4.131 * * [simplify]: Extracting #2: cost 137 inf + 251 4.135 * * [simplify]: Extracting #3: cost 95 inf + 4897 4.145 * * [simplify]: Extracting #4: cost 10 inf + 26518 4.156 * * [simplify]: Extracting #5: cost 0 inf + 29471 4.167 * [simplify]: Simplified to (* (* (* (* c c) (* c c)) (* c (* (* c c) (* c c)))) 1/216) 4.167 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (cbrt (* (* (* (* c c) (* c c)) (* c (* (* c c) (* c c)))) 1/216)) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.168 * * * * [progress]: [ 12 / 103 ] simplifiying candidate # 4.168 * [simplify]: Simplifying (* (* (* (* (* c c) c) (* (* c c) c)) (* (* c c) c)) (* (* 1/6 1/6) 1/6)) 4.168 * * [simplify]: iters left: 6 (9 enodes) 4.176 * * [simplify]: iters left: 5 (45 enodes) 4.195 * * [simplify]: iters left: 4 (112 enodes) 4.251 * * [simplify]: iters left: 3 (287 enodes) 4.414 * * [simplify]: Extracting #0: cost 1 inf + 0 4.414 * * [simplify]: Extracting #1: cost 55 inf + 0 4.415 * * [simplify]: Extracting #2: cost 124 inf + 171 4.418 * * [simplify]: Extracting #3: cost 81 inf + 6236 4.430 * * [simplify]: Extracting #4: cost 10 inf + 21474 4.441 * * [simplify]: Extracting #5: cost 0 inf + 23918 4.451 * [simplify]: Simplified to (* (* c 1/216) (* (* (* c c) (* c c)) (* (* c c) (* c c)))) 4.451 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (cbrt (* (* c 1/216) (* (* (* c c) (* c c)) (* (* c c) (* c c))))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.451 * * * * [progress]: [ 13 / 103 ] simplifiying candidate # 4.452 * [simplify]: Simplifying (* (cbrt (* (* (* c c) c) 1/6)) (cbrt (* (* (* c c) c) 1/6))) 4.452 * * [simplify]: iters left: 6 (7 enodes) 4.456 * * [simplify]: iters left: 5 (25 enodes) 4.464 * * [simplify]: iters left: 4 (37 enodes) 4.476 * * [simplify]: iters left: 3 (47 enodes) 4.492 * * [simplify]: iters left: 2 (63 enodes) 4.515 * * [simplify]: iters left: 1 (95 enodes) 4.542 * * [simplify]: Extracting #0: cost 1 inf + 0 4.542 * * [simplify]: Extracting #1: cost 3 inf + 0 4.542 * * [simplify]: Extracting #2: cost 5 inf + 0 4.542 * * [simplify]: Extracting #3: cost 17 inf + 0 4.542 * * [simplify]: Extracting #4: cost 32 inf + 2 4.543 * * [simplify]: Extracting #5: cost 30 inf + 342 4.543 * * [simplify]: Extracting #6: cost 17 inf + 2508 4.544 * * [simplify]: Extracting #7: cost 5 inf + 5808 4.544 * * [simplify]: Extracting #8: cost 0 inf + 7744 4.545 * [simplify]: Simplified to (* (cbrt (* (* c (* c c)) 1/6)) (cbrt (* (* c (* c c)) 1/6))) 4.545 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (* (cbrt (* (* c (* c c)) 1/6)) (cbrt (* (* c (* c c)) 1/6))) (cbrt (* (* (* c c) c) 1/6))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.545 * [simplify]: Simplifying (cbrt (* (* (* c c) c) 1/6)) 4.545 * * [simplify]: iters left: 6 (6 enodes) 4.547 * * [simplify]: iters left: 5 (22 enodes) 4.551 * * [simplify]: iters left: 4 (34 enodes) 4.559 * * [simplify]: iters left: 3 (46 enodes) 4.567 * * [simplify]: iters left: 2 (62 enodes) 4.578 * * [simplify]: iters left: 1 (94 enodes) 4.595 * * [simplify]: Extracting #0: cost 1 inf + 0 4.595 * * [simplify]: Extracting #1: cost 3 inf + 0 4.595 * * [simplify]: Extracting #2: cost 15 inf + 0 4.595 * * [simplify]: Extracting #3: cost 30 inf + 2 4.595 * * [simplify]: Extracting #4: cost 27 inf + 424 4.595 * * [simplify]: Extracting #5: cost 10 inf + 4575 4.596 * * [simplify]: Extracting #6: cost 1 inf + 7048 4.598 * * [simplify]: Extracting #7: cost 0 inf + 7260 4.599 * [simplify]: Simplified to (cbrt (* c (* 1/6 (* c c)))) 4.599 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (+ (* (* (cbrt (* (* (* c c) c) 1/6)) (cbrt (* (* (* c c) c) 1/6))) (cbrt (* c (* 1/6 (* c c))))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 4.599 * * * * [progress]: [ 14 / 103 ] simplifiying candidate # 4.600 * [simplify]: Simplifying (* (* (* (* (* c c) c) 1/6) (* (* (* c c) c) 1/6)) (* (* (* c c) c) 1/6)) 4.600 * * [simplify]: iters left: 6 (7 enodes) 4.605 * * [simplify]: iters left: 5 (36 enodes) 4.620 * * [simplify]: iters left: 4 (112 enodes) 4.692 * * [simplify]: iters left: 3 (424 enodes) 5.081 * * [simplify]: Extracting #0: cost 1 inf + 0 5.081 * * [simplify]: Extracting #1: cost 48 inf + 0 5.082 * * [simplify]: Extracting #2: cost 156 inf + 130 5.087 * * [simplify]: Extracting #3: cost 89 inf + 10248 5.103 * * [simplify]: Extracting #4: cost 3 inf + 30774 5.116 * * [simplify]: Extracting #5: cost 0 inf + 31480 5.124 * [simplify]: Simplified to (* (* c 1/216) (* (* (* c c) (* c c)) (* (* c c) (* c c)))) 5.125 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (cbrt (* (* c 1/216) (* (* (* c c) (* c c)) (* (* c c) (* c c))))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.125 * * * * [progress]: [ 15 / 103 ] simplifiying candidate # 5.125 * [simplify]: Simplifying (sqrt (* (* (* c c) c) 1/6)) 5.125 * * [simplify]: iters left: 6 (6 enodes) 5.127 * * [simplify]: iters left: 5 (22 enodes) 5.131 * * [simplify]: iters left: 4 (34 enodes) 5.142 * * [simplify]: iters left: 3 (46 enodes) 5.158 * * [simplify]: iters left: 2 (62 enodes) 5.180 * * [simplify]: iters left: 1 (94 enodes) 5.211 * * [simplify]: Extracting #0: cost 1 inf + 0 5.211 * * [simplify]: Extracting #1: cost 3 inf + 0 5.211 * * [simplify]: Extracting #2: cost 15 inf + 0 5.211 * * [simplify]: Extracting #3: cost 30 inf + 2 5.211 * * [simplify]: Extracting #4: cost 27 inf + 424 5.212 * * [simplify]: Extracting #5: cost 10 inf + 4535 5.213 * * [simplify]: Extracting #6: cost 1 inf + 6968 5.214 * * [simplify]: Extracting #7: cost 0 inf + 7180 5.216 * [simplify]: Simplified to (sqrt (* c (* 1/6 (* c c)))) 5.216 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (sqrt (* c (* 1/6 (* c c)))) (sqrt (* (* (* c c) c) 1/6))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.216 * [simplify]: Simplifying (sqrt (* (* (* c c) c) 1/6)) 5.216 * * [simplify]: iters left: 6 (6 enodes) 5.220 * * [simplify]: iters left: 5 (22 enodes) 5.227 * * [simplify]: iters left: 4 (34 enodes) 5.238 * * [simplify]: iters left: 3 (46 enodes) 5.251 * * [simplify]: iters left: 2 (62 enodes) 5.262 * * [simplify]: iters left: 1 (94 enodes) 5.279 * * [simplify]: Extracting #0: cost 1 inf + 0 5.279 * * [simplify]: Extracting #1: cost 3 inf + 0 5.279 * * [simplify]: Extracting #2: cost 15 inf + 0 5.279 * * [simplify]: Extracting #3: cost 30 inf + 2 5.280 * * [simplify]: Extracting #4: cost 27 inf + 424 5.280 * * [simplify]: Extracting #5: cost 10 inf + 4535 5.282 * * [simplify]: Extracting #6: cost 1 inf + 6968 5.283 * * [simplify]: Extracting #7: cost 0 inf + 7180 5.284 * [simplify]: Simplified to (sqrt (* c (* 1/6 (* c c)))) 5.284 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (+ (* (sqrt (* (* (* c c) c) 1/6)) (sqrt (* c (* 1/6 (* c c))))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.285 * * * * [progress]: [ 16 / 103 ] simplifiying candidate # 5.285 * * * * [progress]: [ 17 / 103 ] simplifiying candidate # 5.285 * [simplify]: Simplifying (* (* (* c c) c) (* (cbrt 1/6) (cbrt 1/6))) 5.285 * * [simplify]: iters left: 6 (7 enodes) 5.290 * * [simplify]: iters left: 5 (27 enodes) 5.298 * * [simplify]: iters left: 4 (48 enodes) 5.308 * * [simplify]: iters left: 3 (78 enodes) 5.322 * * [simplify]: iters left: 2 (103 enodes) 5.347 * * [simplify]: iters left: 1 (160 enodes) 5.390 * * [simplify]: Extracting #0: cost 1 inf + 0 5.390 * * [simplify]: Extracting #1: cost 27 inf + 0 5.390 * * [simplify]: Extracting #2: cost 61 inf + 42 5.391 * * [simplify]: Extracting #3: cost 45 inf + 2087 5.393 * * [simplify]: Extracting #4: cost 17 inf + 10649 5.397 * * [simplify]: Extracting #5: cost 2 inf + 16866 5.400 * * [simplify]: Extracting #6: cost 0 inf + 18154 5.404 * [simplify]: Simplified to (* (* (* (cbrt 1/6) c) (* (cbrt 1/6) c)) c) 5.404 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (* (* (* (cbrt 1/6) c) (* (cbrt 1/6) c)) c) (cbrt 1/6)) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.405 * * * * [progress]: [ 18 / 103 ] simplifiying candidate # 5.405 * [simplify]: Simplifying (* (* (* c c) c) (sqrt 1/6)) 5.405 * * [simplify]: iters left: 6 (6 enodes) 5.409 * * [simplify]: iters left: 5 (22 enodes) 5.416 * * [simplify]: iters left: 4 (34 enodes) 5.429 * * [simplify]: iters left: 3 (46 enodes) 5.449 * * [simplify]: iters left: 2 (62 enodes) 5.470 * * [simplify]: iters left: 1 (94 enodes) 5.500 * * [simplify]: Extracting #0: cost 1 inf + 0 5.500 * * [simplify]: Extracting #1: cost 13 inf + 0 5.500 * * [simplify]: Extracting #2: cost 31 inf + 1 5.500 * * [simplify]: Extracting #3: cost 28 inf + 421 5.501 * * [simplify]: Extracting #4: cost 9 inf + 4855 5.502 * * [simplify]: Extracting #5: cost 1 inf + 7286 5.504 * * [simplify]: Extracting #6: cost 0 inf + 7498 5.505 * [simplify]: Simplified to (* c (* (* c c) (sqrt 1/6))) 5.505 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (* c (* (* c c) (sqrt 1/6))) (sqrt 1/6)) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.505 * * * * [progress]: [ 19 / 103 ] simplifiying candidate # 5.506 * [simplify]: Simplifying (* (* (* c c) c) 1) 5.506 * * [simplify]: iters left: 6 (5 enodes) 5.509 * * [simplify]: iters left: 5 (18 enodes) 5.516 * * [simplify]: iters left: 4 (26 enodes) 5.524 * * [simplify]: iters left: 3 (35 enodes) 5.537 * * [simplify]: iters left: 2 (57 enodes) 5.558 * * [simplify]: iters left: 1 (91 enodes) 5.593 * * [simplify]: Extracting #0: cost 1 inf + 0 5.593 * * [simplify]: Extracting #1: cost 11 inf + 0 5.593 * * [simplify]: Extracting #2: cost 22 inf + 3 5.593 * * [simplify]: Extracting #3: cost 17 inf + 471 5.594 * * [simplify]: Extracting #4: cost 1 inf + 4938 5.595 * * [simplify]: Extracting #5: cost 0 inf + 5270 5.596 * [simplify]: Simplified to (* c (* c c)) 5.596 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (* c (* c c)) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.596 * * * * [progress]: [ 20 / 103 ] simplifiying candidate # 5.597 * [simplify]: Simplifying (* c 1/6) 5.597 * * [simplify]: iters left: 2 (3 enodes) 5.598 * * [simplify]: iters left: 1 (10 enodes) 5.602 * * [simplify]: Extracting #0: cost 1 inf + 0 5.602 * * [simplify]: Extracting #1: cost 4 inf + 0 5.602 * * [simplify]: Extracting #2: cost 2 inf + 2 5.602 * * [simplify]: Extracting #3: cost 0 inf + 86 5.602 * [simplify]: Simplified to (* c 1/6) 5.602 * [simplify]: Simplified (2 1 1 2) to (λ (c) (fmod (+ (* (* c c) (* c 1/6)) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.602 * * * * [progress]: [ 21 / 103 ] simplifiying candidate #real (real->posit16 (* (* (* c c) c) 1/6))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 5.603 * [simplify]: Simplifying (real->posit16 (* (* (* c c) c) 1/6)) 5.603 * * [simplify]: iters left: 6 (6 enodes) 5.606 * * [simplify]: iters left: 5 (19 enodes) 5.613 * * [simplify]: iters left: 4 (31 enodes) 5.624 * * [simplify]: iters left: 3 (43 enodes) 5.639 * * [simplify]: iters left: 2 (59 enodes) 5.660 * * [simplify]: iters left: 1 (91 enodes) 5.682 * * [simplify]: Extracting #0: cost 1 inf + 0 5.682 * * [simplify]: Extracting #1: cost 2 inf + 0 5.682 * * [simplify]: Extracting #2: cost 13 inf + 0 5.683 * * [simplify]: Extracting #3: cost 28 inf + 2 5.683 * * [simplify]: Extracting #4: cost 26 inf + 212 5.683 * * [simplify]: Extracting #5: cost 16 inf + 1631 5.684 * * [simplify]: Extracting #6: cost 4 inf + 5424 5.684 * * [simplify]: Extracting #7: cost 0 inf + 6856 5.685 * [simplify]: Simplified to (real->posit16 (* (* c (* c c)) 1/6)) 5.685 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (posit16->real (real->posit16 (* (* c (* c c)) 1/6))) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.685 * * * * [progress]: [ 22 / 103 ] simplifiying candidate # 5.685 * * * * [progress]: [ 23 / 103 ] simplifiying candidate # 5.685 * [simplify]: Simplifying (+ (+ 1 1) 1) 5.685 * * [simplify]: iters left: 4 (3 enodes) 5.688 * * [simplify]: iters left: 3 (14 enodes) 5.690 * * [simplify]: iters left: 2 (16 enodes) 5.692 * * [simplify]: Extracting #0: cost 1 inf + 0 5.692 * * [simplify]: Extracting #1: cost 0 inf + 1 5.692 * [simplify]: Simplified to 3 5.693 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.693 * * * * [progress]: [ 24 / 103 ] simplifiying candidate # 5.693 * [simplify]: Simplifying (+ 2 1) 5.693 * * [simplify]: iters left: 2 (3 enodes) 5.695 * * [simplify]: iters left: 1 (13 enodes) 5.697 * * [simplify]: Extracting #0: cost 1 inf + 0 5.697 * * [simplify]: Extracting #1: cost 0 inf + 1 5.697 * [simplify]: Simplified to 3 5.697 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.697 * * * * [progress]: [ 25 / 103 ] simplifiying candidate # 5.698 * [simplify]: Simplifying (+ (+ 1 1) 1) 5.698 * * [simplify]: iters left: 4 (3 enodes) 5.700 * * [simplify]: iters left: 3 (14 enodes) 5.704 * * [simplify]: iters left: 2 (16 enodes) 5.709 * * [simplify]: Extracting #0: cost 1 inf + 0 5.709 * * [simplify]: Extracting #1: cost 0 inf + 1 5.709 * [simplify]: Simplified to 3 5.709 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.709 * * * * [progress]: [ 26 / 103 ] simplifiying candidate # 5.710 * [simplify]: Simplifying (+ (* 2 1) 1) 5.710 * * [simplify]: iters left: 4 (4 enodes) 5.714 * * [simplify]: iters left: 3 (14 enodes) 5.721 * * [simplify]: iters left: 2 (16 enodes) 5.725 * * [simplify]: Extracting #0: cost 1 inf + 0 5.725 * * [simplify]: Extracting #1: cost 0 inf + 1 5.725 * [simplify]: Simplified to 3 5.725 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.726 * * * * [progress]: [ 27 / 103 ] simplifiying candidate # 5.726 * [simplify]: Simplifying (* (* c c) c) 5.726 * * [simplify]: iters left: 4 (3 enodes) 5.728 * * [simplify]: iters left: 3 (10 enodes) 5.730 * * [simplify]: iters left: 2 (12 enodes) 5.735 * * [simplify]: iters left: 1 (19 enodes) 5.743 * * [simplify]: Extracting #0: cost 1 inf + 0 5.743 * * [simplify]: Extracting #1: cost 6 inf + 0 5.743 * * [simplify]: Extracting #2: cost 8 inf + 2 5.743 * * [simplify]: Extracting #3: cost 3 inf + 459 5.743 * * [simplify]: Extracting #4: cost 0 inf + 884 5.743 * [simplify]: Simplified to (* c (* c c)) 5.744 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (pow (* c (* c c)) 1) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.744 * * * * [progress]: [ 28 / 103 ] simplifiying candidate # 5.744 * [simplify]: Simplifying (* (* c c) c) 5.744 * * [simplify]: iters left: 4 (3 enodes) 5.746 * * [simplify]: iters left: 3 (10 enodes) 5.749 * * [simplify]: iters left: 2 (12 enodes) 5.753 * * [simplify]: iters left: 1 (19 enodes) 5.761 * * [simplify]: Extracting #0: cost 1 inf + 0 5.761 * * [simplify]: Extracting #1: cost 6 inf + 0 5.762 * * [simplify]: Extracting #2: cost 8 inf + 2 5.762 * * [simplify]: Extracting #3: cost 3 inf + 459 5.762 * * [simplify]: Extracting #4: cost 0 inf + 884 5.762 * [simplify]: Simplified to (* c (* c c)) 5.762 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (pow (* c (* c c)) 1) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.762 * * * * [progress]: [ 29 / 103 ] simplifiying candidate # 5.763 * * * * [progress]: [ 30 / 103 ] simplifiying candidate # 5.763 * [simplify]: Simplifying (+ (+ 1 1) 1) 5.763 * * [simplify]: iters left: 4 (3 enodes) 5.767 * * [simplify]: iters left: 3 (14 enodes) 5.771 * * [simplify]: iters left: 2 (16 enodes) 5.776 * * [simplify]: Extracting #0: cost 1 inf + 0 5.776 * * [simplify]: Extracting #1: cost 0 inf + 1 5.776 * [simplify]: Simplified to 3 5.776 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.776 * * * * [progress]: [ 31 / 103 ] simplifiying candidate # 5.776 * [simplify]: Simplifying (+ 2 1) 5.776 * * [simplify]: iters left: 2 (3 enodes) 5.780 * * [simplify]: iters left: 1 (13 enodes) 5.785 * * [simplify]: Extracting #0: cost 1 inf + 0 5.785 * * [simplify]: Extracting #1: cost 0 inf + 1 5.785 * [simplify]: Simplified to 3 5.785 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.785 * * * * [progress]: [ 32 / 103 ] simplifiying candidate # 5.786 * [simplify]: Simplifying (+ (+ 1 1) 1) 5.786 * * [simplify]: iters left: 4 (3 enodes) 5.790 * * [simplify]: iters left: 3 (14 enodes) 5.794 * * [simplify]: iters left: 2 (16 enodes) 5.799 * * [simplify]: Extracting #0: cost 1 inf + 0 5.799 * * [simplify]: Extracting #1: cost 0 inf + 1 5.799 * [simplify]: Simplified to 3 5.799 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.799 * * * * [progress]: [ 33 / 103 ] simplifiying candidate # 5.799 * [simplify]: Simplifying (+ (* 2 1) 1) 5.799 * * [simplify]: iters left: 4 (4 enodes) 5.803 * * [simplify]: iters left: 3 (14 enodes) 5.807 * * [simplify]: iters left: 2 (16 enodes) 5.811 * * [simplify]: Extracting #0: cost 1 inf + 0 5.811 * * [simplify]: Extracting #1: cost 0 inf + 1 5.811 * [simplify]: Simplified to 3 5.811 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (pow c 3) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.812 * * * * [progress]: [ 34 / 103 ] simplifiying candidate # 5.812 * * * * [progress]: [ 35 / 103 ] simplifiying candidate # 5.812 * [simplify]: Simplifying (+ (+ (log c) (log c)) (log c)) 5.812 * * [simplify]: iters left: 5 (4 enodes) 5.814 * * [simplify]: iters left: 4 (13 enodes) 5.817 * * [simplify]: Extracting #0: cost 1 inf + 0 5.817 * * [simplify]: Extracting #1: cost 4 inf + 0 5.817 * * [simplify]: Extracting #2: cost 7 inf + 0 5.817 * * [simplify]: Extracting #3: cost 6 inf + 1 5.817 * * [simplify]: Extracting #4: cost 0 inf + 667 5.817 * [simplify]: Simplified to (+ (log c) (+ (log c) (log c))) 5.817 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (exp (+ (log c) (+ (log c) (log c)))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.817 * * * * [progress]: [ 36 / 103 ] simplifiying candidate # 5.818 * [simplify]: Simplifying (+ (log (* c c)) (log c)) 5.818 * * [simplify]: iters left: 5 (5 enodes) 5.820 * * [simplify]: iters left: 4 (17 enodes) 5.825 * * [simplify]: Extracting #0: cost 1 inf + 0 5.825 * * [simplify]: Extracting #1: cost 4 inf + 0 5.825 * * [simplify]: Extracting #2: cost 8 inf + 0 5.825 * * [simplify]: Extracting #3: cost 8 inf + 1 5.825 * * [simplify]: Extracting #4: cost 0 inf + 889 5.825 * [simplify]: Simplified to (+ (log c) (log (* c c))) 5.825 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (exp (+ (log c) (log (* c c)))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.826 * * * * [progress]: [ 37 / 103 ] simplifiying candidate # 5.826 * [simplify]: Simplifying (log (* (* c c) c)) 5.826 * * [simplify]: iters left: 5 (4 enodes) 5.828 * * [simplify]: iters left: 4 (16 enodes) 5.833 * * [simplify]: iters left: 3 (24 enodes) 5.840 * * [simplify]: iters left: 2 (32 enodes) 5.852 * * [simplify]: iters left: 1 (49 enodes) 5.870 * * [simplify]: Extracting #0: cost 1 inf + 0 5.870 * * [simplify]: Extracting #1: cost 7 inf + 0 5.870 * * [simplify]: Extracting #2: cost 16 inf + 1 5.870 * * [simplify]: Extracting #3: cost 17 inf + 3 5.871 * * [simplify]: Extracting #4: cost 12 inf + 1316 5.871 * * [simplify]: Extracting #5: cost 5 inf + 1866 5.872 * * [simplify]: Extracting #6: cost 0 inf + 2685 5.873 * [simplify]: Simplified to (* (log c) 3) 5.873 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (exp (* (log c) 3)) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.873 * * * * [progress]: [ 38 / 103 ] simplifiying candidate # 5.873 * [simplify]: Simplifying (exp (* (* c c) c)) 5.873 * * [simplify]: iters left: 5 (4 enodes) 5.875 * * [simplify]: iters left: 4 (15 enodes) 5.883 * * [simplify]: iters left: 3 (26 enodes) 5.892 * * [simplify]: iters left: 2 (47 enodes) 5.910 * * [simplify]: iters left: 1 (93 enodes) 5.930 * * [simplify]: Extracting #0: cost 1 inf + 0 5.930 * * [simplify]: Extracting #1: cost 19 inf + 0 5.931 * * [simplify]: Extracting #2: cost 53 inf + 113 5.931 * * [simplify]: Extracting #3: cost 53 inf + 2330 5.932 * * [simplify]: Extracting #4: cost 20 inf + 9100 5.933 * * [simplify]: Extracting #5: cost 3 inf + 15142 5.935 * * [simplify]: Extracting #6: cost 0 inf + 16861 5.937 * * [simplify]: Extracting #7: cost 0 inf + 16821 5.938 * [simplify]: Simplified to (exp (* c (* c c))) 5.938 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (log (exp (* c (* c c)))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 5.939 * * * * [progress]: [ 39 / 103 ] simplifiying candidate # 5.939 * [simplify]: Simplifying (* (* (* (* c c) c) (* (* c c) c)) (* (* c c) c)) 5.939 * * [simplify]: iters left: 6 (5 enodes) 5.941 * * [simplify]: iters left: 5 (25 enodes) 5.950 * * [simplify]: iters left: 4 (57 enodes) 5.974 * * [simplify]: iters left: 3 (82 enodes) 6.016 * * [simplify]: iters left: 2 (155 enodes) 6.071 * * [simplify]: iters left: 1 (384 enodes) 6.329 * * [simplify]: Extracting #0: cost 1 inf + 0 6.330 * * [simplify]: Extracting #1: cost 72 inf + 0 6.331 * * [simplify]: Extracting #2: cost 251 inf + 45 6.332 * * [simplify]: Extracting #3: cost 207 inf + 4994 6.337 * * [simplify]: Extracting #4: cost 59 inf + 61695 6.347 * * [simplify]: Extracting #5: cost 0 inf + 84545 6.356 * * [simplify]: Extracting #6: cost 0 inf + 84305 6.365 * [simplify]: Simplified to (* (* c (* c c)) (* (* c (* c c)) (* c (* c c)))) 6.365 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (cbrt (* (* c (* c c)) (* (* c (* c c)) (* c (* c c))))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 6.365 * * * * [progress]: [ 40 / 103 ] simplifiying candidate # 6.365 * [simplify]: Simplifying (* (* (* (* c c) (* c c)) (* c c)) (* (* c c) c)) 6.365 * * [simplify]: iters left: 6 (6 enodes) 6.367 * * [simplify]: iters left: 5 (30 enodes) 6.373 * * [simplify]: iters left: 4 (60 enodes) 6.387 * * [simplify]: iters left: 3 (85 enodes) 6.412 * * [simplify]: iters left: 2 (172 enodes) 6.475 * * [simplify]: iters left: 1 (490 enodes) 6.848 * * [simplify]: Extracting #0: cost 1 inf + 0 6.849 * * [simplify]: Extracting #1: cost 72 inf + 0 6.850 * * [simplify]: Extracting #2: cost 240 inf + 45 6.851 * * [simplify]: Extracting #3: cost 213 inf + 3180 6.856 * * [simplify]: Extracting #4: cost 100 inf + 51262 6.866 * * [simplify]: Extracting #5: cost 1 inf + 99467 6.880 * * [simplify]: Extracting #6: cost 0 inf + 99799 6.900 * [simplify]: Simplified to (* c (* (* (* c c) (* c c)) (* (* c c) (* c c)))) 6.900 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (cbrt (* c (* (* (* c c) (* c c)) (* (* c c) (* c c))))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 6.901 * * * * [progress]: [ 41 / 103 ] simplifiying candidate # 6.901 * [simplify]: Simplifying (* (cbrt (* (* c c) c)) (cbrt (* (* c c) c))) 6.901 * * [simplify]: iters left: 6 (5 enodes) 6.904 * * [simplify]: iters left: 5 (16 enodes) 6.908 * * [simplify]: iters left: 4 (18 enodes) 6.915 * * [simplify]: iters left: 3 (25 enodes) 6.924 * * [simplify]: iters left: 2 (43 enodes) 6.940 * * [simplify]: iters left: 1 (80 enodes) 6.962 * * [simplify]: Extracting #0: cost 1 inf + 0 6.962 * * [simplify]: Extracting #1: cost 3 inf + 0 6.962 * * [simplify]: Extracting #2: cost 2 inf + 1 6.962 * * [simplify]: Extracting #3: cost 1 inf + 42 6.962 * * [simplify]: Extracting #4: cost 0 inf + 83 6.962 * [simplify]: Simplified to (* c c) 6.962 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (* (* c c) (cbrt (* (* c c) c))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 6.962 * [simplify]: Simplifying (cbrt (* (* c c) c)) 6.962 * * [simplify]: iters left: 5 (4 enodes) 6.963 * * [simplify]: iters left: 4 (13 enodes) 6.965 * * [simplify]: iters left: 3 (15 enodes) 6.968 * * [simplify]: iters left: 2 (22 enodes) 6.973 * * [simplify]: iters left: 1 (36 enodes) 6.980 * * [simplify]: Extracting #0: cost 1 inf + 0 6.980 * * [simplify]: Extracting #1: cost 0 inf + 1 6.980 * [simplify]: Simplified to c 6.980 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 6.981 * * * * [progress]: [ 42 / 103 ] simplifiying candidate # 6.981 * [simplify]: Simplifying (* (* (* (* c c) c) (* (* c c) c)) (* (* c c) c)) 6.981 * * [simplify]: iters left: 6 (5 enodes) 6.982 * * [simplify]: iters left: 5 (25 enodes) 6.991 * * [simplify]: iters left: 4 (57 enodes) 7.016 * * [simplify]: iters left: 3 (82 enodes) 7.044 * * [simplify]: iters left: 2 (155 enodes) 7.091 * * [simplify]: iters left: 1 (384 enodes) 7.271 * * [simplify]: Extracting #0: cost 1 inf + 0 7.271 * * [simplify]: Extracting #1: cost 72 inf + 0 7.272 * * [simplify]: Extracting #2: cost 251 inf + 45 7.274 * * [simplify]: Extracting #3: cost 207 inf + 4994 7.282 * * [simplify]: Extracting #4: cost 59 inf + 61695 7.291 * * [simplify]: Extracting #5: cost 0 inf + 84545 7.300 * * [simplify]: Extracting #6: cost 0 inf + 84305 7.310 * [simplify]: Simplified to (* (* c (* c c)) (* (* c (* c c)) (* c (* c c)))) 7.310 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (cbrt (* (* c (* c c)) (* (* c (* c c)) (* c (* c c))))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.310 * * * * [progress]: [ 43 / 103 ] simplifiying candidate # 7.310 * [simplify]: Simplifying (sqrt (* (* c c) c)) 7.310 * * [simplify]: iters left: 5 (4 enodes) 7.311 * * [simplify]: iters left: 4 (13 enodes) 7.314 * * [simplify]: iters left: 3 (15 enodes) 7.320 * * [simplify]: iters left: 2 (22 enodes) 7.329 * * [simplify]: iters left: 1 (37 enodes) 7.344 * * [simplify]: Extracting #0: cost 1 inf + 0 7.344 * * [simplify]: Extracting #1: cost 4 inf + 0 7.344 * * [simplify]: Extracting #2: cost 11 inf + 0 7.344 * * [simplify]: Extracting #3: cost 12 inf + 3 7.344 * * [simplify]: Extracting #4: cost 2 inf + 1862 7.345 * * [simplify]: Extracting #5: cost 0 inf + 1551 7.345 * [simplify]: Simplified to (sqrt (* c (* c c))) 7.345 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (* (sqrt (* c (* c c))) (sqrt (* (* c c) c))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.345 * [simplify]: Simplifying (sqrt (* (* c c) c)) 7.345 * * [simplify]: iters left: 5 (4 enodes) 7.347 * * [simplify]: iters left: 4 (13 enodes) 7.351 * * [simplify]: iters left: 3 (15 enodes) 7.356 * * [simplify]: iters left: 2 (22 enodes) 7.365 * * [simplify]: iters left: 1 (37 enodes) 7.379 * * [simplify]: Extracting #0: cost 1 inf + 0 7.379 * * [simplify]: Extracting #1: cost 4 inf + 0 7.379 * * [simplify]: Extracting #2: cost 11 inf + 0 7.379 * * [simplify]: Extracting #3: cost 12 inf + 3 7.380 * * [simplify]: Extracting #4: cost 2 inf + 1862 7.380 * * [simplify]: Extracting #5: cost 0 inf + 1551 7.381 * [simplify]: Simplified to (sqrt (* c (* c c))) 7.381 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (* (sqrt (* (* c c) c)) (sqrt (* c (* c c)))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.381 * * * * [progress]: [ 44 / 103 ] simplifiying candidate # 7.381 * * * * [progress]: [ 45 / 103 ] simplifiying candidate # 7.381 * [simplify]: Simplifying (* c (sqrt c)) 7.381 * * [simplify]: iters left: 3 (3 enodes) 7.383 * * [simplify]: iters left: 2 (10 enodes) 7.385 * * [simplify]: Extracting #0: cost 1 inf + 0 7.385 * * [simplify]: Extracting #1: cost 4 inf + 0 7.385 * * [simplify]: Extracting #2: cost 4 inf + 1 7.385 * * [simplify]: Extracting #3: cost 0 inf + 245 7.386 * [simplify]: Simplified to (* c (sqrt c)) 7.386 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (* (* c (sqrt c)) (* c (sqrt c))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.386 * [simplify]: Simplifying (* c (sqrt c)) 7.386 * * [simplify]: iters left: 3 (3 enodes) 7.387 * * [simplify]: iters left: 2 (10 enodes) 7.390 * * [simplify]: Extracting #0: cost 1 inf + 0 7.390 * * [simplify]: Extracting #1: cost 4 inf + 0 7.390 * * [simplify]: Extracting #2: cost 4 inf + 1 7.390 * * [simplify]: Extracting #3: cost 0 inf + 245 7.391 * [simplify]: Simplified to (* c (sqrt c)) 7.391 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (* (* c (sqrt c)) (* c (sqrt c))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.391 * * * * [progress]: [ 46 / 103 ] simplifiying candidate # 7.391 * [simplify]: Simplifying (* (* c c) (* (cbrt c) (cbrt c))) 7.391 * * [simplify]: iters left: 5 (5 enodes) 7.394 * * [simplify]: iters left: 4 (22 enodes) 7.404 * * [simplify]: iters left: 3 (40 enodes) 7.415 * * [simplify]: Extracting #0: cost 1 inf + 0 7.415 * * [simplify]: Extracting #1: cost 9 inf + 0 7.415 * * [simplify]: Extracting #2: cost 14 inf + 1 7.416 * * [simplify]: Extracting #3: cost 5 inf + 930 7.416 * * [simplify]: Extracting #4: cost 1 inf + 1534 7.417 * * [simplify]: Extracting #5: cost 0 inf + 1695 7.417 * [simplify]: Simplified to (* (* c (cbrt c)) (* c (cbrt c))) 7.417 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (* (* (* c (cbrt c)) (* c (cbrt c))) (cbrt c)) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.418 * * * * [progress]: [ 47 / 103 ] simplifiying candidate # 7.418 * [simplify]: Simplifying (* (* c c) (sqrt c)) 7.418 * * [simplify]: iters left: 4 (4 enodes) 7.420 * * [simplify]: iters left: 3 (15 enodes) 7.424 * * [simplify]: iters left: 2 (19 enodes) 7.430 * * [simplify]: iters left: 1 (20 enodes) 7.435 * * [simplify]: Extracting #0: cost 1 inf + 0 7.435 * * [simplify]: Extracting #1: cost 6 inf + 0 7.435 * * [simplify]: Extracting #2: cost 8 inf + 1 7.435 * * [simplify]: Extracting #3: cost 0 inf + 569 7.435 * [simplify]: Simplified to (* (sqrt c) (* c c)) 7.435 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (* (* (sqrt c) (* c c)) (sqrt c)) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.436 * * * * [progress]: [ 48 / 103 ] simplifiying candidate # 7.436 * [simplify]: Simplifying (* (* c c) 1) 7.436 * * [simplify]: iters left: 4 (4 enodes) 7.439 * * [simplify]: iters left: 3 (14 enodes) 7.444 * * [simplify]: iters left: 2 (18 enodes) 7.448 * * [simplify]: iters left: 1 (19 enodes) 7.452 * * [simplify]: Extracting #0: cost 1 inf + 0 7.452 * * [simplify]: Extracting #1: cost 5 inf + 0 7.452 * * [simplify]: Extracting #2: cost 3 inf + 2 7.453 * * [simplify]: Extracting #3: cost 0 inf + 126 7.453 * [simplify]: Simplified to (* c c) 7.453 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.453 * * * * [progress]: [ 49 / 103 ] simplifiying candidate # 7.453 * [simplify]: Simplifying (* c c) 7.453 * * [simplify]: iters left: 2 (2 enodes) 7.454 * * [simplify]: iters left: 1 (6 enodes) 7.456 * * [simplify]: Extracting #0: cost 1 inf + 0 7.456 * * [simplify]: Extracting #1: cost 3 inf + 0 7.456 * * [simplify]: Extracting #2: cost 2 inf + 1 7.456 * * [simplify]: Extracting #3: cost 0 inf + 83 7.456 * [simplify]: Simplified to (* c c) 7.456 * [simplify]: Simplified (2 1 1 1 2) to (λ (c) (fmod (+ (* (* c (* c c)) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.456 * * * * [progress]: [ 50 / 103 ] simplifiying candidate #real (real->posit16 (* (* c c) c))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 7.456 * [simplify]: Simplifying (real->posit16 (* (* c c) c)) 7.456 * * [simplify]: iters left: 5 (4 enodes) 7.458 * * [simplify]: iters left: 4 (10 enodes) 7.461 * * [simplify]: iters left: 3 (12 enodes) 7.465 * * [simplify]: iters left: 2 (19 enodes) 7.473 * * [simplify]: iters left: 1 (33 enodes) 7.486 * * [simplify]: Extracting #0: cost 1 inf + 0 7.486 * * [simplify]: Extracting #1: cost 2 inf + 0 7.486 * * [simplify]: Extracting #2: cost 6 inf + 0 7.487 * * [simplify]: Extracting #3: cost 8 inf + 2 7.487 * * [simplify]: Extracting #4: cost 5 inf + 459 7.487 * * [simplify]: Extracting #5: cost 4 inf + 672 7.487 * * [simplify]: Extracting #6: cost 2 inf + 885 7.488 * * [simplify]: Extracting #7: cost 0 inf + 1309 7.488 * [simplify]: Simplified to (real->posit16 (* c (* c c))) 7.488 * [simplify]: Simplified (2 1 1 1 1) to (λ (c) (fmod (+ (* (posit16->real (real->posit16 (* c (* c c)))) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.488 * * * * [progress]: [ 51 / 103 ] simplifiying candidate # 7.488 * * * * [progress]: [ 52 / 103 ] simplifiying candidate # 7.488 * * * * [progress]: [ 53 / 103 ] simplifiying candidate # 7.489 * [simplify]: Simplifying (+ (* (log c) 5) (log 1/120)) 7.489 * * [simplify]: iters left: 5 (7 enodes) 7.493 * * [simplify]: iters left: 4 (23 enodes) 7.500 * * [simplify]: Extracting #0: cost 1 inf + 0 7.500 * * [simplify]: Extracting #1: cost 4 inf + 0 7.500 * * [simplify]: Extracting #2: cost 9 inf + 0 7.500 * * [simplify]: Extracting #3: cost 9 inf + 2 7.501 * * [simplify]: Extracting #4: cost 6 inf + 145 7.501 * * [simplify]: Extracting #5: cost 4 inf + 287 7.501 * * [simplify]: Extracting #6: cost 1 inf + 734 7.501 * * [simplify]: Extracting #7: cost 0 inf + 957 7.501 * [simplify]: Simplified to (+ (* 5 (log c)) (log 1/120)) 7.501 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (exp (+ (* 5 (log c)) (log 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.502 * * * * [progress]: [ 54 / 103 ] simplifiying candidate # 7.502 * [simplify]: Simplifying (+ (* (log c) 5) (log 1/120)) 7.502 * * [simplify]: iters left: 5 (7 enodes) 7.506 * * [simplify]: iters left: 4 (23 enodes) 7.513 * * [simplify]: Extracting #0: cost 1 inf + 0 7.513 * * [simplify]: Extracting #1: cost 4 inf + 0 7.513 * * [simplify]: Extracting #2: cost 9 inf + 0 7.513 * * [simplify]: Extracting #3: cost 9 inf + 2 7.514 * * [simplify]: Extracting #4: cost 6 inf + 145 7.514 * * [simplify]: Extracting #5: cost 4 inf + 287 7.514 * * [simplify]: Extracting #6: cost 1 inf + 734 7.514 * * [simplify]: Extracting #7: cost 0 inf + 957 7.514 * [simplify]: Simplified to (+ (* 5 (log c)) (log 1/120)) 7.515 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (exp (+ (* 5 (log c)) (log 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.515 * * * * [progress]: [ 55 / 103 ] simplifiying candidate # 7.515 * [simplify]: Simplifying (+ (log (pow c 5)) (log 1/120)) 7.515 * * [simplify]: iters left: 4 (7 enodes) 7.520 * * [simplify]: iters left: 3 (29 enodes) 7.532 * * [simplify]: iters left: 2 (48 enodes) 7.554 * * [simplify]: iters left: 1 (87 enodes) 7.571 * * [simplify]: Extracting #0: cost 1 inf + 0 7.571 * * [simplify]: Extracting #1: cost 8 inf + 0 7.571 * * [simplify]: Extracting #2: cost 27 inf + 0 7.571 * * [simplify]: Extracting #3: cost 32 inf + 75 7.571 * * [simplify]: Extracting #4: cost 37 inf + 147 7.571 * * [simplify]: Extracting #5: cost 21 inf + 3529 7.572 * * [simplify]: Extracting #6: cost 2 inf + 8267 7.573 * * [simplify]: Extracting #7: cost 0 inf + 8665 7.574 * [simplify]: Simplified to (+ (* 5 (log c)) (log 1/120)) 7.574 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (exp (+ (* 5 (log c)) (log 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.574 * * * * [progress]: [ 56 / 103 ] simplifiying candidate # 7.574 * [simplify]: Simplifying (log (* (pow c 5) 1/120)) 7.574 * * [simplify]: iters left: 4 (6 enodes) 7.577 * * [simplify]: iters left: 3 (27 enodes) 7.583 * * [simplify]: iters left: 2 (54 enodes) 7.599 * * [simplify]: iters left: 1 (108 enodes) 7.620 * * [simplify]: Extracting #0: cost 1 inf + 0 7.620 * * [simplify]: Extracting #1: cost 10 inf + 0 7.620 * * [simplify]: Extracting #2: cost 34 inf + 0 7.620 * * [simplify]: Extracting #3: cost 52 inf + 75 7.620 * * [simplify]: Extracting #4: cost 49 inf + 149 7.621 * * [simplify]: Extracting #5: cost 27 inf + 6783 7.622 * * [simplify]: Extracting #6: cost 2 inf + 13935 7.623 * * [simplify]: Extracting #7: cost 0 inf + 14562 7.624 * * [simplify]: Extracting #8: cost 0 inf + 14522 7.625 * [simplify]: Simplified to (+ (log 1/120) (* (log c) 5)) 7.625 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (exp (+ (log 1/120) (* (log c) 5))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.625 * * * * [progress]: [ 57 / 103 ] simplifiying candidate # 7.626 * [simplify]: Simplifying (exp (* (pow c 5) 1/120)) 7.626 * * [simplify]: iters left: 4 (6 enodes) 7.628 * * [simplify]: iters left: 3 (26 enodes) 7.634 * * [simplify]: iters left: 2 (54 enodes) 7.656 * * [simplify]: iters left: 1 (119 enodes) 7.691 * * [simplify]: Extracting #0: cost 1 inf + 0 7.691 * * [simplify]: Extracting #1: cost 20 inf + 0 7.692 * * [simplify]: Extracting #2: cost 56 inf + 72 7.692 * * [simplify]: Extracting #3: cost 70 inf + 149 7.692 * * [simplify]: Extracting #4: cost 45 inf + 7589 7.694 * * [simplify]: Extracting #5: cost 9 inf + 20702 7.695 * * [simplify]: Extracting #6: cost 0 inf + 25645 7.697 * [simplify]: Simplified to (exp (* (pow c 5) 1/120)) 7.697 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (log (exp (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.697 * * * * [progress]: [ 58 / 103 ] simplifiying candidate # 7.697 * [simplify]: Simplifying (* (* (* (pow c 5) (pow c 5)) (pow c 5)) (* (* 1/120 1/120) 1/120)) 7.698 * * [simplify]: iters left: 6 (9 enodes) 7.702 * * [simplify]: iters left: 5 (44 enodes) 7.719 * * [simplify]: iters left: 4 (97 enodes) 7.751 * * [simplify]: iters left: 3 (223 enodes) 7.846 * * [simplify]: Extracting #0: cost 1 inf + 0 7.846 * * [simplify]: Extracting #1: cost 59 inf + 0 7.847 * * [simplify]: Extracting #2: cost 159 inf + 3 7.847 * * [simplify]: Extracting #3: cost 144 inf + 2697 7.849 * * [simplify]: Extracting #4: cost 81 inf + 28663 7.855 * * [simplify]: Extracting #5: cost 5 inf + 72652 7.861 * * [simplify]: Extracting #6: cost 0 inf + 75113 7.872 * [simplify]: Simplified to (* (* (pow c 5) (pow c 5)) (* 1/1728000 (pow c 5))) 7.872 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (cbrt (* (* (pow c 5) (pow c 5)) (* 1/1728000 (pow c 5)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 7.872 * * * * [progress]: [ 59 / 103 ] simplifiying candidate # 7.873 * [simplify]: Simplifying (* (cbrt (* (pow c 5) 1/120)) (cbrt (* (pow c 5) 1/120))) 7.873 * * [simplify]: iters left: 6 (7 enodes) 7.877 * * [simplify]: iters left: 5 (27 enodes) 7.888 * * [simplify]: iters left: 4 (45 enodes) 7.900 * * [simplify]: iters left: 3 (86 enodes) 7.918 * * [simplify]: iters left: 2 (179 enodes) 7.975 * * [simplify]: iters left: 1 (431 enodes) 8.236 * * [simplify]: Extracting #0: cost 1 inf + 0 8.236 * * [simplify]: Extracting #1: cost 3 inf + 0 8.236 * * [simplify]: Extracting #2: cost 5 inf + 0 8.236 * * [simplify]: Extracting #3: cost 62 inf + 0 8.238 * * [simplify]: Extracting #4: cost 195 inf + 1 8.240 * * [simplify]: Extracting #5: cost 170 inf + 5379 8.249 * * [simplify]: Extracting #6: cost 71 inf + 62981 8.267 * * [simplify]: Extracting #7: cost 2 inf + 110145 8.285 * * [simplify]: Extracting #8: cost 0 inf + 110660 8.303 * [simplify]: Simplified to (* (cbrt (* (pow c 5) 1/120)) (cbrt (* (pow c 5) 1/120))) 8.303 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (cbrt (* (pow c 5) 1/120)) (cbrt (* (pow c 5) 1/120))) (cbrt (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 8.304 * [simplify]: Simplifying (cbrt (* (pow c 5) 1/120)) 8.304 * * [simplify]: iters left: 4 (6 enodes) 8.308 * * [simplify]: iters left: 3 (24 enodes) 8.318 * * [simplify]: iters left: 2 (42 enodes) 8.337 * * [simplify]: iters left: 1 (83 enodes) 8.366 * * [simplify]: Extracting #0: cost 1 inf + 0 8.366 * * [simplify]: Extracting #1: cost 3 inf + 0 8.366 * * [simplify]: Extracting #2: cost 15 inf + 0 8.366 * * [simplify]: Extracting #3: cost 39 inf + 1 8.367 * * [simplify]: Extracting #4: cost 32 inf + 431 8.367 * * [simplify]: Extracting #5: cost 13 inf + 5620 8.369 * * [simplify]: Extracting #6: cost 2 inf + 10629 8.370 * * [simplify]: Extracting #7: cost 0 inf + 11597 8.372 * [simplify]: Simplified to (cbrt (* (pow c 5) 1/120)) 8.372 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (cbrt (* (pow c 5) 1/120)) (cbrt (* (pow c 5) 1/120))) (cbrt (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 8.372 * * * * [progress]: [ 60 / 103 ] simplifiying candidate # 8.373 * [simplify]: Simplifying (* (* (* (pow c 5) 1/120) (* (pow c 5) 1/120)) (* (pow c 5) 1/120)) 8.373 * * [simplify]: iters left: 6 (7 enodes) 8.378 * * [simplify]: iters left: 5 (38 enodes) 8.395 * * [simplify]: iters left: 4 (101 enodes) 8.435 * * [simplify]: iters left: 3 (326 enodes) 8.699 * * [simplify]: Extracting #0: cost 1 inf + 0 8.699 * * [simplify]: Extracting #1: cost 61 inf + 0 8.700 * * [simplify]: Extracting #2: cost 236 inf + 4 8.703 * * [simplify]: Extracting #3: cost 196 inf + 15322 8.719 * * [simplify]: Extracting #4: cost 48 inf + 96560 8.734 * * [simplify]: Extracting #5: cost 1 inf + 126429 8.745 * * [simplify]: Extracting #6: cost 0 inf + 124299 8.764 * * [simplify]: Extracting #7: cost 0 inf + 122264 8.788 * * [simplify]: Extracting #8: cost 0 inf + 122150 8.811 * [simplify]: Simplified to (* (pow c 5) (* (* 1/1728000 (pow c 5)) (pow c 5))) 8.811 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (cbrt (* (pow c 5) (* (* 1/1728000 (pow c 5)) (pow c 5)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 8.811 * * * * [progress]: [ 61 / 103 ] simplifiying candidate # 8.812 * [simplify]: Simplifying (sqrt (* (pow c 5) 1/120)) 8.812 * * [simplify]: iters left: 4 (6 enodes) 8.816 * * [simplify]: iters left: 3 (24 enodes) 8.827 * * [simplify]: iters left: 2 (42 enodes) 8.844 * * [simplify]: iters left: 1 (83 enodes) 8.874 * * [simplify]: Extracting #0: cost 1 inf + 0 8.874 * * [simplify]: Extracting #1: cost 3 inf + 0 8.874 * * [simplify]: Extracting #2: cost 15 inf + 0 8.874 * * [simplify]: Extracting #3: cost 39 inf + 1 8.875 * * [simplify]: Extracting #4: cost 32 inf + 431 8.875 * * [simplify]: Extracting #5: cost 13 inf + 5580 8.877 * * [simplify]: Extracting #6: cost 2 inf + 10549 8.878 * * [simplify]: Extracting #7: cost 0 inf + 11517 8.880 * [simplify]: Simplified to (sqrt (* (pow c 5) 1/120)) 8.880 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (sqrt (* (pow c 5) 1/120)) (sqrt (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 8.881 * [simplify]: Simplifying (sqrt (* (pow c 5) 1/120)) 8.881 * * [simplify]: iters left: 4 (6 enodes) 8.885 * * [simplify]: iters left: 3 (24 enodes) 8.896 * * [simplify]: iters left: 2 (42 enodes) 8.914 * * [simplify]: iters left: 1 (83 enodes) 8.942 * * [simplify]: Extracting #0: cost 1 inf + 0 8.942 * * [simplify]: Extracting #1: cost 3 inf + 0 8.942 * * [simplify]: Extracting #2: cost 15 inf + 0 8.942 * * [simplify]: Extracting #3: cost 39 inf + 1 8.943 * * [simplify]: Extracting #4: cost 32 inf + 431 8.943 * * [simplify]: Extracting #5: cost 13 inf + 5580 8.944 * * [simplify]: Extracting #6: cost 2 inf + 10549 8.944 * * [simplify]: Extracting #7: cost 0 inf + 11517 8.945 * [simplify]: Simplified to (sqrt (* (pow c 5) 1/120)) 8.945 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (sqrt (* (pow c 5) 1/120)) (sqrt (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 8.945 * * * * [progress]: [ 62 / 103 ] simplifiying candidate # 8.946 * * * * [progress]: [ 63 / 103 ] simplifiying candidate # 8.946 * [simplify]: Simplifying (* (pow (sqrt c) 5) (sqrt 1/120)) 8.946 * * [simplify]: iters left: 4 (7 enodes) 8.949 * * [simplify]: iters left: 3 (27 enodes) 8.955 * * [simplify]: iters left: 2 (45 enodes) 8.965 * * [simplify]: iters left: 1 (86 enodes) 8.987 * * [simplify]: Extracting #0: cost 1 inf + 0 8.987 * * [simplify]: Extracting #1: cost 13 inf + 0 8.988 * * [simplify]: Extracting #2: cost 40 inf + 0 8.988 * * [simplify]: Extracting #3: cost 36 inf + 47 8.988 * * [simplify]: Extracting #4: cost 32 inf + 131 8.989 * * [simplify]: Extracting #5: cost 17 inf + 4606 8.991 * * [simplify]: Extracting #6: cost 1 inf + 12511 8.993 * * [simplify]: Extracting #7: cost 0 inf + 12935 8.995 * [simplify]: Simplified to (* (pow (sqrt c) 5) (sqrt 1/120)) 8.996 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (pow (sqrt c) 5) (sqrt 1/120)) (* (pow (sqrt c) 5) (sqrt 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 8.996 * [simplify]: Simplifying (* (pow (sqrt c) 5) (sqrt 1/120)) 8.996 * * [simplify]: iters left: 4 (7 enodes) 9.001 * * [simplify]: iters left: 3 (27 enodes) 9.015 * * [simplify]: iters left: 2 (45 enodes) 9.035 * * [simplify]: iters left: 1 (86 enodes) 9.059 * * [simplify]: Extracting #0: cost 1 inf + 0 9.059 * * [simplify]: Extracting #1: cost 13 inf + 0 9.060 * * [simplify]: Extracting #2: cost 40 inf + 0 9.060 * * [simplify]: Extracting #3: cost 36 inf + 47 9.060 * * [simplify]: Extracting #4: cost 32 inf + 131 9.060 * * [simplify]: Extracting #5: cost 17 inf + 4606 9.061 * * [simplify]: Extracting #6: cost 1 inf + 12511 9.062 * * [simplify]: Extracting #7: cost 0 inf + 12935 9.063 * [simplify]: Simplified to (* (pow (sqrt c) 5) (sqrt 1/120)) 9.063 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (pow (sqrt c) 5) (sqrt 1/120)) (* (pow (sqrt c) 5) (sqrt 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.064 * * * * [progress]: [ 64 / 103 ] simplifiying candidate # 9.064 * [simplify]: Simplifying (* (sqrt (pow c 5)) (sqrt 1/120)) 9.064 * * [simplify]: iters left: 4 (7 enodes) 9.066 * * [simplify]: iters left: 3 (27 enodes) 9.072 * * [simplify]: iters left: 2 (42 enodes) 9.081 * * [simplify]: iters left: 1 (72 enodes) 9.097 * * [simplify]: Extracting #0: cost 1 inf + 0 9.097 * * [simplify]: Extracting #1: cost 4 inf + 0 9.097 * * [simplify]: Extracting #2: cost 9 inf + 0 9.097 * * [simplify]: Extracting #3: cost 17 inf + 83 9.097 * * [simplify]: Extracting #4: cost 23 inf + 86 9.098 * * [simplify]: Extracting #5: cost 15 inf + 1441 9.098 * * [simplify]: Extracting #6: cost 2 inf + 5443 9.099 * * [simplify]: Extracting #7: cost 0 inf + 6540 9.100 * [simplify]: Simplified to (* (sqrt (pow c 5)) (sqrt 1/120)) 9.100 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (sqrt (pow c 5)) (sqrt 1/120)) (* (sqrt (pow c 5)) (sqrt 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.100 * [simplify]: Simplifying (* (sqrt (pow c 5)) (sqrt 1/120)) 9.100 * * [simplify]: iters left: 4 (7 enodes) 9.105 * * [simplify]: iters left: 3 (27 enodes) 9.112 * * [simplify]: iters left: 2 (42 enodes) 9.124 * * [simplify]: iters left: 1 (72 enodes) 9.137 * * [simplify]: Extracting #0: cost 1 inf + 0 9.137 * * [simplify]: Extracting #1: cost 4 inf + 0 9.137 * * [simplify]: Extracting #2: cost 9 inf + 0 9.137 * * [simplify]: Extracting #3: cost 17 inf + 83 9.138 * * [simplify]: Extracting #4: cost 23 inf + 86 9.138 * * [simplify]: Extracting #5: cost 15 inf + 1441 9.138 * * [simplify]: Extracting #6: cost 2 inf + 5443 9.139 * * [simplify]: Extracting #7: cost 0 inf + 6540 9.139 * [simplify]: Simplified to (* (sqrt (pow c 5)) (sqrt 1/120)) 9.139 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (sqrt (pow c 5)) (sqrt 1/120)) (* (sqrt (pow c 5)) (sqrt 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.139 * * * * [progress]: [ 65 / 103 ] simplifiying candidate # 9.140 * [simplify]: Simplifying (* (pow c (/ 5 2)) (sqrt 1/120)) 9.140 * * [simplify]: iters left: 5 (8 enodes) 9.146 * * [simplify]: iters left: 4 (30 enodes) 9.158 * * [simplify]: iters left: 3 (51 enodes) 9.178 * * [simplify]: iters left: 2 (102 enodes) 9.195 * * [simplify]: iters left: 1 (187 enodes) 9.252 * * [simplify]: Extracting #0: cost 1 inf + 0 9.252 * * [simplify]: Extracting #1: cost 25 inf + 0 9.253 * * [simplify]: Extracting #2: cost 82 inf + 0 9.253 * * [simplify]: Extracting #3: cost 73 inf + 262 9.255 * * [simplify]: Extracting #4: cost 37 inf + 15264 9.260 * * [simplify]: Extracting #5: cost 2 inf + 33866 9.265 * * [simplify]: Extracting #6: cost 0 inf + 35336 9.271 * [simplify]: Simplified to (* (sqrt 1/120) (pow c 5/2)) 9.271 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (sqrt 1/120) (pow c 5/2)) (* (pow c (/ 5 2)) (sqrt 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.271 * [simplify]: Simplifying (* (pow c (/ 5 2)) (sqrt 1/120)) 9.271 * * [simplify]: iters left: 5 (8 enodes) 9.278 * * [simplify]: iters left: 4 (30 enodes) 9.290 * * [simplify]: iters left: 3 (51 enodes) 9.312 * * [simplify]: iters left: 2 (102 enodes) 9.342 * * [simplify]: iters left: 1 (187 enodes) 9.419 * * [simplify]: Extracting #0: cost 1 inf + 0 9.419 * * [simplify]: Extracting #1: cost 25 inf + 0 9.419 * * [simplify]: Extracting #2: cost 82 inf + 0 9.420 * * [simplify]: Extracting #3: cost 73 inf + 262 9.422 * * [simplify]: Extracting #4: cost 37 inf + 15264 9.428 * * [simplify]: Extracting #5: cost 2 inf + 33866 9.433 * * [simplify]: Extracting #6: cost 0 inf + 35336 9.438 * [simplify]: Simplified to (* (sqrt 1/120) (pow c 5/2)) 9.439 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (pow c (/ 5 2)) (sqrt 1/120)) (* (sqrt 1/120) (pow c 5/2))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.439 * * * * [progress]: [ 66 / 103 ] simplifiying candidate # 9.439 * [simplify]: Simplifying (* (pow c 5) (* (cbrt 1/120) (cbrt 1/120))) 9.439 * * [simplify]: iters left: 5 (7 enodes) 9.444 * * [simplify]: iters left: 4 (29 enodes) 9.456 * * [simplify]: iters left: 3 (56 enodes) 9.480 * * [simplify]: iters left: 2 (114 enodes) 9.526 * * [simplify]: iters left: 1 (246 enodes) 9.673 * * [simplify]: Extracting #0: cost 1 inf + 0 9.674 * * [simplify]: Extracting #1: cost 46 inf + 0 9.674 * * [simplify]: Extracting #2: cost 129 inf + 0 9.675 * * [simplify]: Extracting #3: cost 113 inf + 2933 9.680 * * [simplify]: Extracting #4: cost 55 inf + 35924 9.686 * * [simplify]: Extracting #5: cost 4 inf + 64917 9.695 * * [simplify]: Extracting #6: cost 0 inf + 67312 9.708 * [simplify]: Simplified to (* (pow c 5) (* (cbrt 1/120) (cbrt 1/120))) 9.708 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (pow c 5) (* (cbrt 1/120) (cbrt 1/120))) (cbrt 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.708 * * * * [progress]: [ 67 / 103 ] simplifiying candidate # 9.709 * [simplify]: Simplifying (* (pow c 5) (sqrt 1/120)) 9.709 * * [simplify]: iters left: 3 (6 enodes) 9.713 * * [simplify]: iters left: 2 (24 enodes) 9.723 * * [simplify]: iters left: 1 (42 enodes) 9.741 * * [simplify]: Extracting #0: cost 1 inf + 0 9.741 * * [simplify]: Extracting #1: cost 8 inf + 0 9.741 * * [simplify]: Extracting #2: cost 23 inf + 0 9.742 * * [simplify]: Extracting #3: cost 19 inf + 5 9.742 * * [simplify]: Extracting #4: cost 7 inf + 2660 9.743 * * [simplify]: Extracting #5: cost 0 inf + 4800 9.743 * [simplify]: Simplified to (* (sqrt 1/120) (pow c 5)) 9.743 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (sqrt 1/120) (pow c 5)) (sqrt 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.744 * * * * [progress]: [ 68 / 103 ] simplifiying candidate # 9.744 * [simplify]: Simplifying (* (pow c 5) 1) 9.744 * * [simplify]: iters left: 3 (5 enodes) 9.748 * * [simplify]: iters left: 2 (21 enodes) 9.753 * * [simplify]: iters left: 1 (43 enodes) 9.763 * * [simplify]: Extracting #0: cost 1 inf + 0 9.763 * * [simplify]: Extracting #1: cost 9 inf + 0 9.764 * * [simplify]: Extracting #2: cost 13 inf + 3 9.764 * * [simplify]: Extracting #3: cost 8 inf + 853 9.764 * * [simplify]: Extracting #4: cost 0 inf + 2922 9.764 * [simplify]: Simplified to (pow c 5) 9.764 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.764 * * * * [progress]: [ 69 / 103 ] simplifiying candidate # 9.765 * [simplify]: Simplifying (* (pow (cbrt c) 5) 1/120) 9.765 * * [simplify]: iters left: 4 (6 enodes) 9.767 * * [simplify]: iters left: 3 (24 enodes) 9.772 * * [simplify]: iters left: 2 (42 enodes) 9.782 * * [simplify]: iters left: 1 (83 enodes) 9.800 * * [simplify]: Extracting #0: cost 1 inf + 0 9.800 * * [simplify]: Extracting #1: cost 13 inf + 0 9.801 * * [simplify]: Extracting #2: cost 37 inf + 1 9.801 * * [simplify]: Extracting #3: cost 35 inf + 6 9.801 * * [simplify]: Extracting #4: cost 32 inf + 89 9.801 * * [simplify]: Extracting #5: cost 15 inf + 5930 9.802 * * [simplify]: Extracting #6: cost 1 inf + 13029 9.803 * * [simplify]: Extracting #7: cost 0 inf + 13573 9.804 * [simplify]: Simplified to (* (pow (cbrt c) 5) 1/120) 9.804 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow (* (cbrt c) (cbrt c)) 5) (* (pow (cbrt c) 5) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.804 * * * * [progress]: [ 70 / 103 ] simplifiying candidate # 9.805 * [simplify]: Simplifying (* (pow (sqrt c) 5) 1/120) 9.805 * * [simplify]: iters left: 4 (6 enodes) 9.807 * * [simplify]: iters left: 3 (24 enodes) 9.812 * * [simplify]: iters left: 2 (42 enodes) 9.821 * * [simplify]: iters left: 1 (83 enodes) 9.837 * * [simplify]: Extracting #0: cost 1 inf + 0 9.837 * * [simplify]: Extracting #1: cost 13 inf + 0 9.837 * * [simplify]: Extracting #2: cost 37 inf + 1 9.837 * * [simplify]: Extracting #3: cost 35 inf + 6 9.838 * * [simplify]: Extracting #4: cost 32 inf + 49 9.838 * * [simplify]: Extracting #5: cost 15 inf + 5210 9.839 * * [simplify]: Extracting #6: cost 1 inf + 11749 9.840 * * [simplify]: Extracting #7: cost 0 inf + 12253 9.841 * [simplify]: Simplified to (* (pow (sqrt c) 5) 1/120) 9.841 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow (sqrt c) 5) (* (pow (sqrt c) 5) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.841 * * * * [progress]: [ 71 / 103 ] simplifiying candidate # 9.841 * [simplify]: Simplifying (* (pow c 5) 1/120) 9.841 * * [simplify]: iters left: 3 (5 enodes) 9.843 * * [simplify]: iters left: 2 (21 enodes) 9.848 * * [simplify]: iters left: 1 (39 enodes) 9.857 * * [simplify]: Extracting #0: cost 1 inf + 0 9.857 * * [simplify]: Extracting #1: cost 8 inf + 0 9.858 * * [simplify]: Extracting #2: cost 20 inf + 1 9.858 * * [simplify]: Extracting #3: cost 17 inf + 5 9.858 * * [simplify]: Extracting #4: cost 7 inf + 2580 9.858 * * [simplify]: Extracting #5: cost 0 inf + 4438 9.858 * [simplify]: Simplified to (* (pow c 5) 1/120) 9.858 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow 1 5) (* (pow c 5) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.859 * * * * [progress]: [ 72 / 103 ] simplifiying candidate # 9.859 * [simplify]: Simplifying (* (cbrt (pow c 5)) 1/120) 9.859 * * [simplify]: iters left: 4 (6 enodes) 9.861 * * [simplify]: iters left: 3 (24 enodes) 9.866 * * [simplify]: iters left: 2 (38 enodes) 9.877 * * [simplify]: iters left: 1 (68 enodes) 9.896 * * [simplify]: Extracting #0: cost 1 inf + 0 9.896 * * [simplify]: Extracting #1: cost 4 inf + 0 9.896 * * [simplify]: Extracting #2: cost 5 inf + 1 9.896 * * [simplify]: Extracting #3: cost 13 inf + 1 9.897 * * [simplify]: Extracting #4: cost 24 inf + 3 9.897 * * [simplify]: Extracting #5: cost 15 inf + 1480 9.897 * * [simplify]: Extracting #6: cost 5 inf + 4343 9.898 * * [simplify]: Extracting #7: cost 1 inf + 5864 9.899 * * [simplify]: Extracting #8: cost 0 inf + 6538 9.900 * [simplify]: Simplified to (* (cbrt (pow c 5)) 1/120) 9.900 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (* (cbrt (pow c 5)) (cbrt (pow c 5))) (* (cbrt (pow c 5)) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.900 * * * * [progress]: [ 73 / 103 ] simplifiying candidate # 9.900 * [simplify]: Simplifying (* (sqrt (pow c 5)) 1/120) 9.900 * * [simplify]: iters left: 4 (6 enodes) 9.904 * * [simplify]: iters left: 3 (24 enodes) 9.913 * * [simplify]: iters left: 2 (39 enodes) 9.923 * * [simplify]: iters left: 1 (69 enodes) 9.935 * * [simplify]: Extracting #0: cost 1 inf + 0 9.935 * * [simplify]: Extracting #1: cost 4 inf + 0 9.935 * * [simplify]: Extracting #2: cost 6 inf + 1 9.935 * * [simplify]: Extracting #3: cost 17 inf + 1 9.935 * * [simplify]: Extracting #4: cost 23 inf + 4 9.936 * * [simplify]: Extracting #5: cost 15 inf + 1400 9.936 * * [simplify]: Extracting #6: cost 4 inf + 4606 9.936 * * [simplify]: Extracting #7: cost 0 inf + 6378 9.937 * [simplify]: Simplified to (* (sqrt (pow c 5)) 1/120) 9.937 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (sqrt (pow c 5)) (* (sqrt (pow c 5)) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.937 * * * * [progress]: [ 74 / 103 ] simplifiying candidate # 9.937 * [simplify]: Simplifying (* (pow c 5) 1/120) 9.937 * * [simplify]: iters left: 3 (5 enodes) 9.939 * * [simplify]: iters left: 2 (21 enodes) 9.944 * * [simplify]: iters left: 1 (39 enodes) 9.953 * * [simplify]: Extracting #0: cost 1 inf + 0 9.953 * * [simplify]: Extracting #1: cost 8 inf + 0 9.954 * * [simplify]: Extracting #2: cost 20 inf + 1 9.954 * * [simplify]: Extracting #3: cost 17 inf + 5 9.954 * * [simplify]: Extracting #4: cost 7 inf + 2580 9.955 * * [simplify]: Extracting #5: cost 0 inf + 4438 9.955 * [simplify]: Simplified to (* (pow c 5) 1/120) 9.955 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* 1 (* (pow c 5) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 9.955 * * * * [progress]: [ 75 / 103 ] simplifiying candidate # 9.956 * [simplify]: Simplifying (* (pow c (/ 5 2)) 1/120) 9.956 * * [simplify]: iters left: 5 (7 enodes) 9.961 * * [simplify]: iters left: 4 (27 enodes) 9.971 * * [simplify]: iters left: 3 (48 enodes) 9.984 * * [simplify]: iters left: 2 (100 enodes) 10.000 * * [simplify]: iters left: 1 (183 enodes) 10.063 * * [simplify]: Extracting #0: cost 1 inf + 0 10.063 * * [simplify]: Extracting #1: cost 25 inf + 0 10.063 * * [simplify]: Extracting #2: cost 75 inf + 1 10.064 * * [simplify]: Extracting #3: cost 68 inf + 221 10.065 * * [simplify]: Extracting #4: cost 39 inf + 9371 10.066 * * [simplify]: Extracting #5: cost 4 inf + 28086 10.069 * * [simplify]: Extracting #6: cost 0 inf + 30341 10.074 * [simplify]: Simplified to (* (pow c 5/2) 1/120) 10.074 * [simplify]: Simplified (2 1 2 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c (/ 5 2)) (* (pow c 5/2) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 10.074 * * * * [progress]: [ 76 / 103 ] simplifiying candidate #real (real->posit16 (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 10.074 * [simplify]: Simplifying (real->posit16 (* (pow c 5) 1/120)) 10.074 * * [simplify]: iters left: 4 (6 enodes) 10.077 * * [simplify]: iters left: 3 (21 enodes) 10.086 * * [simplify]: iters left: 2 (39 enodes) 10.098 * * [simplify]: iters left: 1 (80 enodes) 10.113 * * [simplify]: Extracting #0: cost 1 inf + 0 10.113 * * [simplify]: Extracting #1: cost 2 inf + 0 10.113 * * [simplify]: Extracting #2: cost 13 inf + 0 10.113 * * [simplify]: Extracting #3: cost 37 inf + 1 10.113 * * [simplify]: Extracting #4: cost 31 inf + 219 10.114 * * [simplify]: Extracting #5: cost 11 inf + 6635 10.114 * * [simplify]: Extracting #6: cost 0 inf + 10931 10.115 * [simplify]: Simplified to (real->posit16 (* (pow c 5) 1/120)) 10.115 * [simplify]: Simplified (2 1 2 2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (posit16->real (real->posit16 (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 10.115 * * * * [progress]: [ 77 / 103 ] simplifiying candidate # 10.115 * * * * [progress]: [ 78 / 103 ] simplifiying candidate # 10.116 * [simplify]: Simplifying (* (exp (* (* (* c c) c) 1/6)) (* (exp c) (exp (* (pow c 5) 1/120)))) 10.116 * * [simplify]: iters left: 6 (14 enodes) 10.120 * * [simplify]: iters left: 5 (62 enodes) 10.141 * * [simplify]: iters left: 4 (132 enodes) 10.198 * * [simplify]: iters left: 3 (289 enodes) 10.283 * * [simplify]: Extracting #0: cost 1 inf + 0 10.283 * * [simplify]: Extracting #1: cost 28 inf + 0 10.284 * * [simplify]: Extracting #2: cost 114 inf + 0 10.285 * * [simplify]: Extracting #3: cost 166 inf + 887 10.290 * * [simplify]: Extracting #4: cost 158 inf + 5696 10.295 * * [simplify]: Extracting #5: cost 118 inf + 22650 10.307 * * [simplify]: Extracting #6: cost 24 inf + 68228 10.320 * * [simplify]: Extracting #7: cost 1 inf + 79374 10.335 * * [simplify]: Extracting #8: cost 0 inf + 79907 10.350 * [simplify]: Simplified to (exp (+ (+ (* 1/120 (pow c 5)) (* (* c (* c c)) 1/6)) c)) 10.350 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log (exp (+ (+ (* 1/120 (pow c 5)) (* (* c (* c c)) 1/6)) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 10.350 * * * * [progress]: [ 79 / 103 ] simplifiying candidate # 10.350 * [simplify]: Simplifying (* (exp (* (* (* c c) c) 1/6)) (exp (+ c (* (pow c 5) 1/120)))) 10.351 * * [simplify]: iters left: 6 (13 enodes) 10.359 * * [simplify]: iters left: 5 (58 enodes) 10.381 * * [simplify]: iters left: 4 (121 enodes) 10.422 * * [simplify]: iters left: 3 (250 enodes) 10.496 * * [simplify]: Extracting #0: cost 1 inf + 0 10.496 * * [simplify]: Extracting #1: cost 24 inf + 0 10.496 * * [simplify]: Extracting #2: cost 98 inf + 0 10.497 * * [simplify]: Extracting #3: cost 144 inf + 1082 10.498 * * [simplify]: Extracting #4: cost 131 inf + 5969 10.501 * * [simplify]: Extracting #5: cost 61 inf + 33553 10.506 * * [simplify]: Extracting #6: cost 7 inf + 59341 10.512 * * [simplify]: Extracting #7: cost 0 inf + 61831 10.520 * [simplify]: Simplified to (exp (+ (+ c (* (* c (* c c)) 1/6)) (* (pow c 5) 1/120))) 10.520 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log (exp (+ (+ c (* (* c (* c c)) 1/6)) (* (pow c 5) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 10.520 * * * * [progress]: [ 80 / 103 ] simplifiying candidate # 10.520 * * * * [progress]: [ 81 / 103 ] simplifiying candidate # 10.521 * [simplify]: Simplifying (log (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) 10.521 * * [simplify]: iters left: 6 (12 enodes) 10.528 * * [simplify]: iters left: 5 (50 enodes) 10.550 * * [simplify]: iters left: 4 (88 enodes) 10.579 * * [simplify]: iters left: 3 (148 enodes) 10.609 * * [simplify]: iters left: 2 (254 enodes) 10.697 * * [simplify]: Extracting #0: cost 1 inf + 0 10.697 * * [simplify]: Extracting #1: cost 3 inf + 0 10.697 * * [simplify]: Extracting #2: cost 10 inf + 0 10.697 * * [simplify]: Extracting #3: cost 55 inf + 1 10.697 * * [simplify]: Extracting #4: cost 117 inf + 44 10.698 * * [simplify]: Extracting #5: cost 92 inf + 2567 10.700 * * [simplify]: Extracting #6: cost 25 inf + 28665 10.704 * * [simplify]: Extracting #7: cost 0 inf + 41893 10.707 * * [simplify]: Extracting #8: cost 0 inf + 41631 10.711 * [simplify]: Simplified to (log (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))) 10.711 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (exp (log (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 10.711 * * * * [progress]: [ 82 / 103 ] simplifiying candidate # 10.712 * [simplify]: Simplifying (exp (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) 10.712 * * [simplify]: iters left: 6 (12 enodes) 10.716 * * [simplify]: iters left: 5 (53 enodes) 10.730 * * [simplify]: iters left: 4 (108 enodes) 10.767 * * [simplify]: iters left: 3 (213 enodes) 10.832 * * [simplify]: iters left: 2 (458 enodes) 11.026 * * [simplify]: Extracting #0: cost 1 inf + 0 11.026 * * [simplify]: Extracting #1: cost 35 inf + 0 11.027 * * [simplify]: Extracting #2: cost 210 inf + 0 11.029 * * [simplify]: Extracting #3: cost 341 inf + 1598 11.034 * * [simplify]: Extracting #4: cost 344 inf + 7869 11.044 * * [simplify]: Extracting #5: cost 186 inf + 86157 11.059 * * [simplify]: Extracting #6: cost 26 inf + 173991 11.093 * * [simplify]: Extracting #7: cost 0 inf + 185400 11.123 * [simplify]: Simplified to (exp (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))) 11.123 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log (exp (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 11.123 * * * * [progress]: [ 83 / 103 ] simplifiying candidate # 11.123 * [simplify]: Simplifying (* (cbrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) (cbrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))))) 11.123 * * [simplify]: iters left: 6 (13 enodes) 11.127 * * [simplify]: iters left: 5 (53 enodes) 11.137 * * [simplify]: iters left: 4 (91 enodes) 11.159 * * [simplify]: iters left: 3 (152 enodes) 11.201 * * [simplify]: iters left: 2 (258 enodes) 11.292 * * [simplify]: Extracting #0: cost 1 inf + 0 11.292 * * [simplify]: Extracting #1: cost 3 inf + 0 11.292 * * [simplify]: Extracting #2: cost 5 inf + 0 11.292 * * [simplify]: Extracting #3: cost 12 inf + 0 11.292 * * [simplify]: Extracting #4: cost 50 inf + 1 11.293 * * [simplify]: Extracting #5: cost 108 inf + 168 11.294 * * [simplify]: Extracting #6: cost 92 inf + 1718 11.300 * * [simplify]: Extracting #7: cost 35 inf + 23892 11.304 * * [simplify]: Extracting #8: cost 2 inf + 39542 11.307 * * [simplify]: Extracting #9: cost 0 inf + 40601 11.311 * [simplify]: Simplified to (* (cbrt (+ (* (* c (* 1/6 c)) c) (+ c (* 1/120 (pow c 5))))) (cbrt (+ (* (* c (* 1/6 c)) c) (+ c (* 1/120 (pow c 5)))))) 11.311 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (* (cbrt (+ (* (* c (* 1/6 c)) c) (+ c (* 1/120 (pow c 5))))) (cbrt (+ (* (* c (* 1/6 c)) c) (+ c (* 1/120 (pow c 5)))))) (cbrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 11.311 * [simplify]: Simplifying (cbrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) 11.311 * * [simplify]: iters left: 6 (12 enodes) 11.315 * * [simplify]: iters left: 5 (50 enodes) 11.325 * * [simplify]: iters left: 4 (88 enodes) 11.353 * * [simplify]: iters left: 3 (148 enodes) 11.380 * * [simplify]: iters left: 2 (254 enodes) 11.467 * * [simplify]: Extracting #0: cost 1 inf + 0 11.467 * * [simplify]: Extracting #1: cost 3 inf + 0 11.468 * * [simplify]: Extracting #2: cost 10 inf + 0 11.468 * * [simplify]: Extracting #3: cost 55 inf + 1 11.468 * * [simplify]: Extracting #4: cost 117 inf + 44 11.469 * * [simplify]: Extracting #5: cost 92 inf + 2567 11.471 * * [simplify]: Extracting #6: cost 25 inf + 28675 11.475 * * [simplify]: Extracting #7: cost 0 inf + 41913 11.478 * * [simplify]: Extracting #8: cost 0 inf + 41651 11.484 * [simplify]: Simplified to (cbrt (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))) 11.484 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (* (cbrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) (cbrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))))) (cbrt (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 11.484 * * * * [progress]: [ 84 / 103 ] simplifiying candidate # 11.485 * [simplify]: Simplifying (* (* (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) 11.485 * * [simplify]: iters left: 6 (13 enodes) 11.489 * * [simplify]: iters left: 5 (66 enodes) 11.516 * * [simplify]: iters left: 4 (233 enodes) 11.678 * * [simplify]: Extracting #0: cost 1 inf + 0 11.678 * * [simplify]: Extracting #1: cost 21 inf + 0 11.678 * * [simplify]: Extracting #2: cost 261 inf + 1 11.680 * * [simplify]: Extracting #3: cost 407 inf + 1141 11.690 * * [simplify]: Extracting #4: cost 247 inf + 66595 11.734 * * [simplify]: Extracting #5: cost 38 inf + 170535 11.774 * * [simplify]: Extracting #6: cost 2 inf + 187997 11.844 * * [simplify]: Extracting #7: cost 0 inf + 188672 11.896 * [simplify]: Simplified to (* (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))) (* (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))) (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))))) 11.896 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (cbrt (* (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))) (* (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))) (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 11.896 * * * * [progress]: [ 85 / 103 ] simplifiying candidate # 11.896 * [simplify]: Simplifying (sqrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) 11.896 * * [simplify]: iters left: 6 (12 enodes) 11.901 * * [simplify]: iters left: 5 (50 enodes) 11.913 * * [simplify]: iters left: 4 (88 enodes) 11.950 * * [simplify]: iters left: 3 (148 enodes) 12.004 * * [simplify]: iters left: 2 (254 enodes) 12.080 * * [simplify]: Extracting #0: cost 1 inf + 0 12.080 * * [simplify]: Extracting #1: cost 3 inf + 0 12.080 * * [simplify]: Extracting #2: cost 10 inf + 0 12.080 * * [simplify]: Extracting #3: cost 55 inf + 1 12.080 * * [simplify]: Extracting #4: cost 117 inf + 44 12.081 * * [simplify]: Extracting #5: cost 92 inf + 2567 12.083 * * [simplify]: Extracting #6: cost 25 inf + 28635 12.090 * * [simplify]: Extracting #7: cost 0 inf + 41833 12.097 * * [simplify]: Extracting #8: cost 0 inf + 41571 12.104 * [simplify]: Simplified to (sqrt (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))) 12.105 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (* (sqrt (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))) (sqrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 12.105 * [simplify]: Simplifying (sqrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) 12.105 * * [simplify]: iters left: 6 (12 enodes) 12.112 * * [simplify]: iters left: 5 (50 enodes) 12.130 * * [simplify]: iters left: 4 (88 enodes) 12.155 * * [simplify]: iters left: 3 (148 enodes) 12.199 * * [simplify]: iters left: 2 (254 enodes) 12.282 * * [simplify]: Extracting #0: cost 1 inf + 0 12.282 * * [simplify]: Extracting #1: cost 3 inf + 0 12.283 * * [simplify]: Extracting #2: cost 10 inf + 0 12.283 * * [simplify]: Extracting #3: cost 55 inf + 1 12.283 * * [simplify]: Extracting #4: cost 117 inf + 44 12.285 * * [simplify]: Extracting #5: cost 92 inf + 2567 12.289 * * [simplify]: Extracting #6: cost 25 inf + 28635 12.296 * * [simplify]: Extracting #7: cost 0 inf + 41833 12.303 * * [simplify]: Extracting #8: cost 0 inf + 41571 12.310 * [simplify]: Simplified to (sqrt (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))) 12.310 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (* (sqrt (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) (sqrt (+ (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 12.310 * * * * [progress]: [ 86 / 103 ] simplifiying candidate # 12.311 * [simplify]: Simplifying (+ (pow (* (* (* c c) c) 1/6) 3) (pow (+ c (* (pow c 5) 1/120)) 3)) 12.311 * * [simplify]: iters left: 6 (14 enodes) 12.319 * * [simplify]: iters left: 5 (70 enodes) 12.337 * * [simplify]: iters left: 4 (186 enodes) 12.398 * * [simplify]: Extracting #0: cost 1 inf + 0 12.398 * * [simplify]: Extracting #1: cost 10 inf + 0 12.398 * * [simplify]: Extracting #2: cost 76 inf + 0 12.399 * * [simplify]: Extracting #3: cost 170 inf + 46 12.400 * * [simplify]: Extracting #4: cost 132 inf + 7652 12.404 * * [simplify]: Extracting #5: cost 75 inf + 17578 12.409 * * [simplify]: Extracting #6: cost 38 inf + 30115 12.415 * * [simplify]: Extracting #7: cost 2 inf + 44569 12.423 * * [simplify]: Extracting #8: cost 0 inf + 45315 12.430 * [simplify]: Simplified to (+ (* (+ c (* 1/120 (pow c 5))) (* (+ c (* 1/120 (pow c 5))) (+ c (* 1/120 (pow c 5))))) (* (* (* c (* c c)) 1/216) (* (* c c) (* (* c c) (* c c))))) 12.430 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (+ (* (+ c (* 1/120 (pow c 5))) (* (+ c (* 1/120 (pow c 5))) (+ c (* 1/120 (pow c 5))))) (* (* (* c (* c c)) 1/216) (* (* c c) (* (* c c) (* c c))))) (+ (* (* (* (* c c) c) 1/6) (* (* (* c c) c) 1/6)) (- (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120))) (* (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 12.430 * [simplify]: Simplifying (+ (* (* (* (* c c) c) 1/6) (* (* (* c c) c) 1/6)) (- (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120))) (* (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))))) 12.431 * * [simplify]: iters left: 6 (15 enodes) 12.436 * * [simplify]: iters left: 5 (86 enodes) 12.460 * * [simplify]: iters left: 4 (297 enodes) 12.601 * * [simplify]: Extracting #0: cost 1 inf + 0 12.601 * * [simplify]: Extracting #1: cost 22 inf + 0 12.602 * * [simplify]: Extracting #2: cost 195 inf + 0 12.603 * * [simplify]: Extracting #3: cost 278 inf + 2761 12.610 * * [simplify]: Extracting #4: cost 200 inf + 17683 12.624 * * [simplify]: Extracting #5: cost 62 inf + 73255 12.652 * * [simplify]: Extracting #6: cost 5 inf + 97807 12.669 * * [simplify]: Extracting #7: cost 0 inf + 99514 12.685 * [simplify]: Simplified to (- (+ (* (* (* c (* c c)) 1/6) (* (* c (* c c)) 1/6)) (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120)))) (* (* (* c (* c c)) 1/6) (+ c (* (pow c 5) 1/120)))) 12.685 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (/ (+ (* (+ c (* 1/120 (pow c 5))) (* (+ c (* 1/120 (pow c 5))) (+ c (* 1/120 (pow c 5))))) (* (* (* c (* c c)) 1/216) (* (* c c) (* (* c c) (* c c))))) (- (+ (* (* (* c (* c c)) 1/6) (* (* c (* c c)) 1/6)) (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120)))) (* (* (* c (* c c)) 1/6) (+ c (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 12.685 * * * * [progress]: [ 87 / 103 ] simplifiying candidate # 12.685 * * * * [progress]: [ 88 / 103 ] simplifiying candidate # 12.686 * [simplify]: Simplifying (- (* (* (* (* c c) c) 1/6) (* (* (* c c) c) 1/6)) (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120)))) 12.686 * * [simplify]: iters left: 6 (13 enodes) 12.690 * * [simplify]: iters left: 5 (69 enodes) 12.706 * * [simplify]: iters left: 4 (201 enodes) 12.785 * * [simplify]: Extracting #0: cost 1 inf + 0 12.785 * * [simplify]: Extracting #1: cost 36 inf + 0 12.786 * * [simplify]: Extracting #2: cost 134 inf + 0 12.787 * * [simplify]: Extracting #3: cost 159 inf + 1184 12.791 * * [simplify]: Extracting #4: cost 118 inf + 6886 12.800 * * [simplify]: Extracting #5: cost 38 inf + 36590 12.812 * * [simplify]: Extracting #6: cost 3 inf + 51169 12.819 * * [simplify]: Extracting #7: cost 0 inf + 52219 12.826 * [simplify]: Simplified to (- (* (* (* c (* c c)) 1/6) (* (* c (* c c)) 1/6)) (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120)))) 12.826 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (/ (- (* (* (* c (* c c)) 1/6) (* (* c (* c c)) 1/6)) (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120)))) (- (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 12.826 * [simplify]: Simplifying (- (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 12.827 * * [simplify]: iters left: 6 (11 enodes) 12.831 * * [simplify]: iters left: 5 (48 enodes) 12.840 * * [simplify]: iters left: 4 (91 enodes) 12.860 * * [simplify]: iters left: 3 (174 enodes) 12.919 * * [simplify]: iters left: 2 (343 enodes) 13.041 * * [simplify]: Extracting #0: cost 1 inf + 0 13.041 * * [simplify]: Extracting #1: cost 17 inf + 0 13.042 * * [simplify]: Extracting #2: cost 94 inf + 1 13.042 * * [simplify]: Extracting #3: cost 182 inf + 533 13.044 * * [simplify]: Extracting #4: cost 148 inf + 6779 13.047 * * [simplify]: Extracting #5: cost 59 inf + 40162 13.054 * * [simplify]: Extracting #6: cost 1 inf + 71974 13.066 * * [simplify]: Extracting #7: cost 0 inf + 72358 13.073 * [simplify]: Simplified to (- (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5)))) 13.073 * [simplify]: Simplified (2 1 2) to (λ (c) (fmod (/ (- (* (* (* (* c c) c) 1/6) (* (* (* c c) c) 1/6)) (* (+ c (* (pow c 5) 1/120)) (+ c (* (pow c 5) 1/120)))) (- (* (* c (* c c)) 1/6) (+ c (* 1/120 (pow c 5))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.073 * * * * [progress]: [ 89 / 103 ] simplifiying candidate # 13.073 * [simplify]: Simplifying (+ (* (* (* c c) c) 1/6) c) 13.073 * * [simplify]: iters left: 6 (6 enodes) 13.075 * * [simplify]: iters left: 5 (23 enodes) 13.079 * * [simplify]: iters left: 4 (35 enodes) 13.086 * * [simplify]: iters left: 3 (50 enodes) 13.101 * * [simplify]: iters left: 2 (74 enodes) 13.123 * * [simplify]: iters left: 1 (114 enodes) 13.142 * * [simplify]: Extracting #0: cost 1 inf + 0 13.142 * * [simplify]: Extracting #1: cost 5 inf + 0 13.142 * * [simplify]: Extracting #2: cost 17 inf + 1 13.142 * * [simplify]: Extracting #3: cost 30 inf + 86 13.143 * * [simplify]: Extracting #4: cost 21 inf + 1459 13.143 * * [simplify]: Extracting #5: cost 10 inf + 4350 13.144 * * [simplify]: Extracting #6: cost 3 inf + 6540 13.145 * * [simplify]: Extracting #7: cost 0 inf + 7427 13.145 * [simplify]: Simplified to (+ c (* (* c (* c c)) 1/6)) 13.145 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (+ (+ c (* (* c (* c c)) 1/6)) (* (pow c 5) 1/120)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.146 * * * * [progress]: [ 90 / 103 ] simplifiying candidate #real (real->posit16 (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 13.146 * [simplify]: Simplifying (real->posit16 (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120)))) 13.146 * * [simplify]: iters left: 6 (12 enodes) 13.150 * * [simplify]: iters left: 5 (47 enodes) 13.161 * * [simplify]: iters left: 4 (85 enodes) 13.191 * * [simplify]: iters left: 3 (146 enodes) 13.220 * * [simplify]: iters left: 2 (258 enodes) 13.286 * * [simplify]: Extracting #0: cost 1 inf + 0 13.287 * * [simplify]: Extracting #1: cost 2 inf + 0 13.287 * * [simplify]: Extracting #2: cost 8 inf + 0 13.287 * * [simplify]: Extracting #3: cost 50 inf + 1 13.287 * * [simplify]: Extracting #4: cost 110 inf + 44 13.288 * * [simplify]: Extracting #5: cost 80 inf + 5373 13.290 * * [simplify]: Extracting #6: cost 23 inf + 29072 13.293 * * [simplify]: Extracting #7: cost 7 inf + 36800 13.297 * * [simplify]: Extracting #8: cost 0 inf + 40849 13.300 * [simplify]: Simplified to (real->posit16 (+ (* c (* 1/6 (* c c))) (+ c (* 1/120 (pow c 5))))) 13.300 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (posit16->real (real->posit16 (+ (* c (* 1/6 (* c c))) (+ c (* 1/120 (pow c 5)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.300 * * * * [progress]: [ 91 / 103 ] simplifiying candidate # 13.300 * * * * [progress]: [ 92 / 103 ] simplifiying candidate # 13.301 * [simplify]: Simplifying (* 1/6 (pow c 3)) 13.301 * * [simplify]: iters left: 3 (5 enodes) 13.303 * * [simplify]: iters left: 2 (24 enodes) 13.309 * * [simplify]: iters left: 1 (52 enodes) 13.327 * * [simplify]: Extracting #0: cost 1 inf + 0 13.327 * * [simplify]: Extracting #1: cost 12 inf + 0 13.327 * * [simplify]: Extracting #2: cost 22 inf + 43 13.328 * * [simplify]: Extracting #3: cost 8 inf + 1719 13.329 * * [simplify]: Extracting #4: cost 0 inf + 3318 13.330 * [simplify]: Simplified to (* (* (* c c) c) 1/6) 13.330 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.330 * * * * [progress]: [ 93 / 103 ] simplifiying candidate # 13.330 * [simplify]: Simplifying (* 1/6 (pow c 3)) 13.330 * * [simplify]: iters left: 3 (5 enodes) 13.334 * * [simplify]: iters left: 2 (24 enodes) 13.344 * * [simplify]: iters left: 1 (52 enodes) 13.357 * * [simplify]: Extracting #0: cost 1 inf + 0 13.357 * * [simplify]: Extracting #1: cost 12 inf + 0 13.357 * * [simplify]: Extracting #2: cost 22 inf + 43 13.357 * * [simplify]: Extracting #3: cost 8 inf + 1719 13.357 * * [simplify]: Extracting #4: cost 0 inf + 3318 13.358 * [simplify]: Simplified to (* (* (* c c) c) 1/6) 13.358 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.358 * * * * [progress]: [ 94 / 103 ] simplifiying candidate # 13.358 * [simplify]: Simplifying (* 1/6 (pow c 3)) 13.358 * * [simplify]: iters left: 3 (5 enodes) 13.360 * * [simplify]: iters left: 2 (24 enodes) 13.366 * * [simplify]: iters left: 1 (52 enodes) 13.386 * * [simplify]: Extracting #0: cost 1 inf + 0 13.386 * * [simplify]: Extracting #1: cost 12 inf + 0 13.386 * * [simplify]: Extracting #2: cost 22 inf + 43 13.387 * * [simplify]: Extracting #3: cost 8 inf + 1719 13.388 * * [simplify]: Extracting #4: cost 0 inf + 3318 13.388 * [simplify]: Simplified to (* (* (* c c) c) 1/6) 13.389 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.389 * * * * [progress]: [ 95 / 103 ] simplifiying candidate # 13.389 * [simplify]: Simplifying (pow c 3) 13.389 * * [simplify]: iters left: 1 (3 enodes) 13.392 * * [simplify]: Extracting #0: cost 1 inf + 0 13.392 * * [simplify]: Extracting #1: cost 6 inf + 0 13.392 * * [simplify]: Extracting #2: cost 5 inf + 2 13.392 * * [simplify]: Extracting #3: cost 0 inf + 680 13.392 * * [simplify]: Extracting #4: cost 0 inf + 418 13.392 * [simplify]: Simplified to (* (* c c) c) 13.392 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.392 * * * * [progress]: [ 96 / 103 ] simplifiying candidate # 13.392 * [simplify]: Simplifying (pow c 3) 13.392 * * [simplify]: iters left: 1 (3 enodes) 13.394 * * [simplify]: Extracting #0: cost 1 inf + 0 13.394 * * [simplify]: Extracting #1: cost 6 inf + 0 13.394 * * [simplify]: Extracting #2: cost 5 inf + 2 13.394 * * [simplify]: Extracting #3: cost 0 inf + 680 13.394 * * [simplify]: Extracting #4: cost 0 inf + 418 13.394 * [simplify]: Simplified to (* (* c c) c) 13.394 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.394 * * * * [progress]: [ 97 / 103 ] simplifiying candidate # 13.394 * [simplify]: Simplifying (pow c 3) 13.394 * * [simplify]: iters left: 1 (3 enodes) 13.396 * * [simplify]: Extracting #0: cost 1 inf + 0 13.396 * * [simplify]: Extracting #1: cost 6 inf + 0 13.396 * * [simplify]: Extracting #2: cost 5 inf + 2 13.396 * * [simplify]: Extracting #3: cost 0 inf + 680 13.396 * * [simplify]: Extracting #4: cost 0 inf + 418 13.396 * [simplify]: Simplified to (* (* c c) c) 13.396 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.396 * * * * [progress]: [ 98 / 103 ] simplifiying candidate # 13.396 * [simplify]: Simplifying (* 1/120 (pow c 5)) 13.396 * * [simplify]: iters left: 3 (5 enodes) 13.398 * * [simplify]: iters left: 2 (21 enodes) 13.403 * * [simplify]: iters left: 1 (39 enodes) 13.412 * * [simplify]: Extracting #0: cost 1 inf + 0 13.413 * * [simplify]: Extracting #1: cost 8 inf + 0 13.413 * * [simplify]: Extracting #2: cost 20 inf + 1 13.413 * * [simplify]: Extracting #3: cost 10 inf + 2073 13.413 * * [simplify]: Extracting #4: cost 1 inf + 4226 13.413 * * [simplify]: Extracting #5: cost 0 inf + 4438 13.414 * [simplify]: Simplified to (* (pow c 5) 1/120) 13.414 * [simplify]: Simplified (2 1 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.414 * * * * [progress]: [ 99 / 103 ] simplifiying candidate # 13.414 * [simplify]: Simplifying (* 1/120 (pow c 5)) 13.414 * * [simplify]: iters left: 3 (5 enodes) 13.416 * * [simplify]: iters left: 2 (21 enodes) 13.421 * * [simplify]: iters left: 1 (39 enodes) 13.432 * * [simplify]: Extracting #0: cost 1 inf + 0 13.432 * * [simplify]: Extracting #1: cost 8 inf + 0 13.432 * * [simplify]: Extracting #2: cost 20 inf + 1 13.433 * * [simplify]: Extracting #3: cost 10 inf + 2073 13.433 * * [simplify]: Extracting #4: cost 1 inf + 4226 13.433 * * [simplify]: Extracting #5: cost 0 inf + 4438 13.434 * [simplify]: Simplified to (* (pow c 5) 1/120) 13.434 * [simplify]: Simplified (2 1 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.434 * * * * [progress]: [ 100 / 103 ] simplifiying candidate # 13.434 * [simplify]: Simplifying (* 1/120 (pow c 5)) 13.434 * * [simplify]: iters left: 3 (5 enodes) 13.436 * * [simplify]: iters left: 2 (21 enodes) 13.441 * * [simplify]: iters left: 1 (39 enodes) 13.451 * * [simplify]: Extracting #0: cost 1 inf + 0 13.451 * * [simplify]: Extracting #1: cost 8 inf + 0 13.451 * * [simplify]: Extracting #2: cost 20 inf + 1 13.451 * * [simplify]: Extracting #3: cost 10 inf + 2073 13.451 * * [simplify]: Extracting #4: cost 1 inf + 4226 13.452 * * [simplify]: Extracting #5: cost 0 inf + 4438 13.452 * [simplify]: Simplified to (* (pow c 5) 1/120) 13.452 * [simplify]: Simplified (2 1 2 2) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.452 * * * * [progress]: [ 101 / 103 ] simplifiying candidate # 13.452 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 13.452 * * [simplify]: iters left: 6 (11 enodes) 13.457 * * [simplify]: iters left: 5 (51 enodes) 13.469 * * [simplify]: iters left: 4 (103 enodes) 13.493 * * [simplify]: iters left: 3 (199 enodes) 13.553 * * [simplify]: iters left: 2 (364 enodes) 13.665 * * [simplify]: Extracting #0: cost 1 inf + 0 13.665 * * [simplify]: Extracting #1: cost 8 inf + 0 13.666 * * [simplify]: Extracting #2: cost 70 inf + 1 13.667 * * [simplify]: Extracting #3: cost 167 inf + 44 13.668 * * [simplify]: Extracting #4: cost 134 inf + 5439 13.673 * * [simplify]: Extracting #5: cost 40 inf + 43534 13.678 * * [simplify]: Extracting #6: cost 0 inf + 65054 13.684 * * [simplify]: Extracting #7: cost 0 inf + 64621 13.689 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 13.689 * [simplify]: Simplified (2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.690 * * * * [progress]: [ 102 / 103 ] simplifiying candidate # 13.690 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 13.690 * * [simplify]: iters left: 6 (11 enodes) 13.694 * * [simplify]: iters left: 5 (51 enodes) 13.711 * * [simplify]: iters left: 4 (103 enodes) 13.737 * * [simplify]: iters left: 3 (199 enodes) 13.776 * * [simplify]: iters left: 2 (364 enodes) 13.886 * * [simplify]: Extracting #0: cost 1 inf + 0 13.886 * * [simplify]: Extracting #1: cost 8 inf + 0 13.887 * * [simplify]: Extracting #2: cost 70 inf + 1 13.887 * * [simplify]: Extracting #3: cost 167 inf + 44 13.889 * * [simplify]: Extracting #4: cost 134 inf + 5439 13.896 * * [simplify]: Extracting #5: cost 40 inf + 43534 13.907 * * [simplify]: Extracting #6: cost 0 inf + 65054 13.913 * * [simplify]: Extracting #7: cost 0 inf + 64621 13.918 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 13.918 * [simplify]: Simplified (2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 13.918 * * * * [progress]: [ 103 / 103 ] simplifiying candidate # 13.919 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 13.919 * * [simplify]: iters left: 6 (11 enodes) 13.924 * * [simplify]: iters left: 5 (51 enodes) 13.935 * * [simplify]: iters left: 4 (103 enodes) 13.973 * * [simplify]: iters left: 3 (199 enodes) 14.024 * * [simplify]: iters left: 2 (364 enodes) 14.142 * * [simplify]: Extracting #0: cost 1 inf + 0 14.142 * * [simplify]: Extracting #1: cost 8 inf + 0 14.142 * * [simplify]: Extracting #2: cost 70 inf + 1 14.143 * * [simplify]: Extracting #3: cost 167 inf + 44 14.145 * * [simplify]: Extracting #4: cost 134 inf + 5439 14.152 * * [simplify]: Extracting #5: cost 40 inf + 43534 14.166 * * [simplify]: Extracting #6: cost 0 inf + 65054 14.176 * * [simplify]: Extracting #7: cost 0 inf + 64621 14.187 * [simplify]: Simplified to (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) 14.187 * [simplify]: Simplified (2 1) to (λ (c) (fmod (+ (* (* (* c c) c) 1/6) (+ c (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 14.188 * * * [progress]: adding candidates to table 15.111 * [progress]: [Phase 3 of 3] Extracting. 15.111 * * [regime]: Finding splitpoints for: (# #) 15.112 * * * [regime-changes]: Trying 1 branch expressions: (c) 15.113 * * * * [regimes]: Trying to branch on c from (# #) 15.138 * * * [regime]: Found split indices: #