41.155 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.083 * * * [progress]: [2/2] Setting up program. 0.087 * [progress]: [Phase 2 of 3] Improving. 0.087 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.088 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.088 * * [simplify]: iteration 1: (9 enodes) 0.092 * * [simplify]: iteration 2: (24 enodes) 0.099 * * [simplify]: iteration 3: (54 enodes) 0.112 * * [simplify]: iteration 4: (90 enodes) 0.193 * * [simplify]: iteration 5: (278 enodes) 0.394 * * [simplify]: iteration 6: (763 enodes) 2.051 * * [simplify]: Extracting #0: cost 1 inf + 0 2.051 * * [simplify]: Extracting #1: cost 114 inf + 0 2.053 * * [simplify]: Extracting #2: cost 445 inf + 508 2.056 * * [simplify]: Extracting #3: cost 428 inf + 6947 2.065 * * [simplify]: Extracting #4: cost 248 inf + 100915 2.102 * * [simplify]: Extracting #5: cost 51 inf + 214288 2.151 * * [simplify]: Extracting #6: cost 0 inf + 243551 2.182 * [simplify]: Simplified to: (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* (* d1 d1) (* d1 d1)) d1)) 2.186 * * [progress]: iteration 1 / 4 2.186 * * * [progress]: picking best candidate 2.189 * * * * [pick]: Picked # 2.190 * * * [progress]: localizing error 2.228 * * * [progress]: generating rewritten candidates 2.228 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 2.259 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 2.309 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 30.020 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 30.722 * * * [progress]: generating series expansions 30.722 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 30.722 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 30.722 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 30.722 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 30.722 * [taylor]: Taking taylor expansion of d1 in d1 30.722 * [backup-simplify]: Simplify 0 into 0 30.722 * [backup-simplify]: Simplify 1 into 1 30.722 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 30.722 * [taylor]: Taking taylor expansion of d1 in d1 30.722 * [backup-simplify]: Simplify 0 into 0 30.722 * [backup-simplify]: Simplify 1 into 1 30.723 * [backup-simplify]: Simplify (* 1 1) into 1 30.723 * [backup-simplify]: Simplify (* 1 1) into 1 30.723 * [backup-simplify]: Simplify 1 into 1 30.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.724 * [backup-simplify]: Simplify 0 into 0 30.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.725 * [backup-simplify]: Simplify 0 into 0 30.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.727 * [backup-simplify]: Simplify 0 into 0 30.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.728 * [backup-simplify]: Simplify 0 into 0 30.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.730 * [backup-simplify]: Simplify 0 into 0 30.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.733 * [backup-simplify]: Simplify 0 into 0 30.733 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 30.733 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 30.733 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 30.733 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 30.733 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 30.733 * [taylor]: Taking taylor expansion of d1 in d1 30.733 * [backup-simplify]: Simplify 0 into 0 30.733 * [backup-simplify]: Simplify 1 into 1 30.734 * [backup-simplify]: Simplify (* 1 1) into 1 30.734 * [backup-simplify]: Simplify (* 1 1) into 1 30.734 * [backup-simplify]: Simplify (/ 1 1) into 1 30.734 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 30.734 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 30.735 * [taylor]: Taking taylor expansion of d1 in d1 30.735 * [backup-simplify]: Simplify 0 into 0 30.735 * [backup-simplify]: Simplify 1 into 1 30.735 * [backup-simplify]: Simplify (* 1 1) into 1 30.735 * [backup-simplify]: Simplify (* 1 1) into 1 30.736 * [backup-simplify]: Simplify (/ 1 1) into 1 30.736 * [backup-simplify]: Simplify 1 into 1 30.736 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 30.738 * [backup-simplify]: Simplify 0 into 0 30.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.740 * [backup-simplify]: Simplify 0 into 0 30.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.744 * [backup-simplify]: Simplify 0 into 0 30.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.747 * [backup-simplify]: Simplify 0 into 0 30.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.751 * [backup-simplify]: Simplify 0 into 0 30.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.755 * [backup-simplify]: Simplify 0 into 0 30.755 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 30.756 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 30.756 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 30.756 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 30.756 * [taylor]: Taking taylor expansion of -1 in d1 30.756 * [backup-simplify]: Simplify -1 into -1 30.756 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 30.756 * [taylor]: Taking taylor expansion of d1 in d1 30.756 * [backup-simplify]: Simplify 0 into 0 30.756 * [backup-simplify]: Simplify 1 into 1 30.756 * [backup-simplify]: Simplify (* 1 1) into 1 30.757 * [backup-simplify]: Simplify (* 1 1) into 1 30.757 * [backup-simplify]: Simplify (/ -1 1) into -1 30.757 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 30.757 * [taylor]: Taking taylor expansion of -1 in d1 30.757 * [backup-simplify]: Simplify -1 into -1 30.757 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 30.757 * [taylor]: Taking taylor expansion of d1 in d1 30.757 * [backup-simplify]: Simplify 0 into 0 30.757 * [backup-simplify]: Simplify 1 into 1 30.758 * [backup-simplify]: Simplify (* 1 1) into 1 30.758 * [backup-simplify]: Simplify (* 1 1) into 1 30.759 * [backup-simplify]: Simplify (/ -1 1) into -1 30.759 * [backup-simplify]: Simplify -1 into -1 30.759 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.760 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 30.761 * [backup-simplify]: Simplify 0 into 0 30.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.763 * [backup-simplify]: Simplify 0 into 0 30.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.766 * [backup-simplify]: Simplify 0 into 0 30.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.769 * [backup-simplify]: Simplify 0 into 0 30.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.773 * [backup-simplify]: Simplify 0 into 0 30.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.777 * [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 30.777 * [backup-simplify]: Simplify 0 into 0 30.778 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 30.778 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 30.778 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 30.778 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 30.778 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 30.778 * [taylor]: Taking taylor expansion of d1 in d1 30.778 * [backup-simplify]: Simplify 0 into 0 30.778 * [backup-simplify]: Simplify 1 into 1 30.778 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 30.778 * [taylor]: Taking taylor expansion of d1 in d1 30.778 * [backup-simplify]: Simplify 0 into 0 30.778 * [backup-simplify]: Simplify 1 into 1 30.778 * [backup-simplify]: Simplify (* 1 1) into 1 30.779 * [backup-simplify]: Simplify (* 1 1) into 1 30.779 * [backup-simplify]: Simplify 1 into 1 30.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.780 * [backup-simplify]: Simplify 0 into 0 30.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.795 * [backup-simplify]: Simplify 0 into 0 30.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.796 * [backup-simplify]: Simplify 0 into 0 30.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.798 * [backup-simplify]: Simplify 0 into 0 30.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.800 * [backup-simplify]: Simplify 0 into 0 30.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.802 * [backup-simplify]: Simplify 0 into 0 30.802 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 30.802 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 30.802 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 30.802 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 30.802 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 30.802 * [taylor]: Taking taylor expansion of d1 in d1 30.802 * [backup-simplify]: Simplify 0 into 0 30.802 * [backup-simplify]: Simplify 1 into 1 30.803 * [backup-simplify]: Simplify (* 1 1) into 1 30.803 * [backup-simplify]: Simplify (* 1 1) into 1 30.803 * [backup-simplify]: Simplify (/ 1 1) into 1 30.803 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 30.803 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 30.803 * [taylor]: Taking taylor expansion of d1 in d1 30.803 * [backup-simplify]: Simplify 0 into 0 30.803 * [backup-simplify]: Simplify 1 into 1 30.804 * [backup-simplify]: Simplify (* 1 1) into 1 30.804 * [backup-simplify]: Simplify (* 1 1) into 1 30.804 * [backup-simplify]: Simplify (/ 1 1) into 1 30.804 * [backup-simplify]: Simplify 1 into 1 30.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 30.806 * [backup-simplify]: Simplify 0 into 0 30.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.807 * [backup-simplify]: Simplify 0 into 0 30.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.809 * [backup-simplify]: Simplify 0 into 0 30.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.811 * [backup-simplify]: Simplify 0 into 0 30.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.813 * [backup-simplify]: Simplify 0 into 0 30.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.816 * [backup-simplify]: Simplify 0 into 0 30.816 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 30.816 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 30.816 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 30.816 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 30.816 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 30.816 * [taylor]: Taking taylor expansion of d1 in d1 30.816 * [backup-simplify]: Simplify 0 into 0 30.816 * [backup-simplify]: Simplify 1 into 1 30.816 * [backup-simplify]: Simplify (* 1 1) into 1 30.817 * [backup-simplify]: Simplify (* 1 1) into 1 30.817 * [backup-simplify]: Simplify (/ 1 1) into 1 30.817 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 30.817 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 30.817 * [taylor]: Taking taylor expansion of d1 in d1 30.817 * [backup-simplify]: Simplify 0 into 0 30.817 * [backup-simplify]: Simplify 1 into 1 30.817 * [backup-simplify]: Simplify (* 1 1) into 1 30.817 * [backup-simplify]: Simplify (* 1 1) into 1 30.818 * [backup-simplify]: Simplify (/ 1 1) into 1 30.818 * [backup-simplify]: Simplify 1 into 1 30.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 30.819 * [backup-simplify]: Simplify 0 into 0 30.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.821 * [backup-simplify]: Simplify 0 into 0 30.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.823 * [backup-simplify]: Simplify 0 into 0 30.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.825 * [backup-simplify]: Simplify 0 into 0 30.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.828 * [backup-simplify]: Simplify 0 into 0 30.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.832 * [backup-simplify]: Simplify 0 into 0 30.833 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 30.833 * * * * [progress]: [ 3 / 4 ] generating series at (2) 30.833 * [backup-simplify]: Simplify (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) into (pow d1 10) 30.833 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 30.833 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 30.833 * [taylor]: Taking taylor expansion of d1 in d1 30.833 * [backup-simplify]: Simplify 0 into 0 30.833 * [backup-simplify]: Simplify 1 into 1 30.833 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 30.833 * [taylor]: Taking taylor expansion of d1 in d1 30.833 * [backup-simplify]: Simplify 0 into 0 30.833 * [backup-simplify]: Simplify 1 into 1 30.834 * [backup-simplify]: Simplify (* 1 1) into 1 30.834 * [backup-simplify]: Simplify (* 1 1) into 1 30.835 * [backup-simplify]: Simplify (* 1 1) into 1 30.835 * [backup-simplify]: Simplify (* 1 1) into 1 30.835 * [backup-simplify]: Simplify 1 into 1 30.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.838 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.838 * [backup-simplify]: Simplify 0 into 0 30.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.842 * [backup-simplify]: Simplify 0 into 0 30.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.846 * [backup-simplify]: Simplify 0 into 0 30.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.852 * [backup-simplify]: Simplify 0 into 0 30.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.856 * [backup-simplify]: Simplify 0 into 0 30.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.859 * [backup-simplify]: Simplify 0 into 0 30.859 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 30.860 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10)) 30.860 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 30.860 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 30.860 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 30.860 * [taylor]: Taking taylor expansion of d1 in d1 30.860 * [backup-simplify]: Simplify 0 into 0 30.860 * [backup-simplify]: Simplify 1 into 1 30.860 * [backup-simplify]: Simplify (* 1 1) into 1 30.860 * [backup-simplify]: Simplify (* 1 1) into 1 30.861 * [backup-simplify]: Simplify (* 1 1) into 1 30.861 * [backup-simplify]: Simplify (* 1 1) into 1 30.861 * [backup-simplify]: Simplify (/ 1 1) into 1 30.861 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 30.861 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 30.861 * [taylor]: Taking taylor expansion of d1 in d1 30.861 * [backup-simplify]: Simplify 0 into 0 30.861 * [backup-simplify]: Simplify 1 into 1 30.861 * [backup-simplify]: Simplify (* 1 1) into 1 30.862 * [backup-simplify]: Simplify (* 1 1) into 1 30.862 * [backup-simplify]: Simplify (* 1 1) into 1 30.862 * [backup-simplify]: Simplify (* 1 1) into 1 30.862 * [backup-simplify]: Simplify (/ 1 1) into 1 30.862 * [backup-simplify]: Simplify 1 into 1 30.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 30.864 * [backup-simplify]: Simplify 0 into 0 30.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.867 * [backup-simplify]: Simplify 0 into 0 30.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.870 * [backup-simplify]: Simplify 0 into 0 30.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.874 * [backup-simplify]: Simplify 0 into 0 30.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.878 * [backup-simplify]: Simplify 0 into 0 30.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.882 * [backup-simplify]: Simplify 0 into 0 30.882 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 30.882 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 30.882 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 30.882 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 30.882 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 30.882 * [taylor]: Taking taylor expansion of d1 in d1 30.882 * [backup-simplify]: Simplify 0 into 0 30.882 * [backup-simplify]: Simplify 1 into 1 30.883 * [backup-simplify]: Simplify (* 1 1) into 1 30.883 * [backup-simplify]: Simplify (* 1 1) into 1 30.883 * [backup-simplify]: Simplify (* 1 1) into 1 30.883 * [backup-simplify]: Simplify (* 1 1) into 1 30.884 * [backup-simplify]: Simplify (/ 1 1) into 1 30.884 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 30.884 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 30.884 * [taylor]: Taking taylor expansion of d1 in d1 30.884 * [backup-simplify]: Simplify 0 into 0 30.884 * [backup-simplify]: Simplify 1 into 1 30.884 * [backup-simplify]: Simplify (* 1 1) into 1 30.884 * [backup-simplify]: Simplify (* 1 1) into 1 30.884 * [backup-simplify]: Simplify (* 1 1) into 1 30.885 * [backup-simplify]: Simplify (* 1 1) into 1 30.885 * [backup-simplify]: Simplify (/ 1 1) into 1 30.885 * [backup-simplify]: Simplify 1 into 1 30.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.886 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.887 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.887 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 30.888 * [backup-simplify]: Simplify 0 into 0 30.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.893 * [backup-simplify]: Simplify 0 into 0 30.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.903 * [backup-simplify]: Simplify 0 into 0 30.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.909 * [backup-simplify]: Simplify 0 into 0 30.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.916 * [backup-simplify]: Simplify 0 into 0 30.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.921 * [backup-simplify]: Simplify 0 into 0 30.921 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 30.921 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 30.921 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 30.921 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 30.921 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 30.921 * [taylor]: Taking taylor expansion of d1 in d1 30.921 * [backup-simplify]: Simplify 0 into 0 30.921 * [backup-simplify]: Simplify 1 into 1 30.921 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 30.921 * [taylor]: Taking taylor expansion of d1 in d1 30.921 * [backup-simplify]: Simplify 0 into 0 30.921 * [backup-simplify]: Simplify 1 into 1 30.922 * [backup-simplify]: Simplify (* 1 1) into 1 30.922 * [backup-simplify]: Simplify (* 1 1) into 1 30.922 * [backup-simplify]: Simplify (* 1 1) into 1 30.923 * [backup-simplify]: Simplify (* 1 1) into 1 30.923 * [backup-simplify]: Simplify 1 into 1 30.923 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.923 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.924 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.924 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.924 * [backup-simplify]: Simplify 0 into 0 30.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.926 * [backup-simplify]: Simplify 0 into 0 30.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.929 * [backup-simplify]: Simplify 0 into 0 30.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.932 * [backup-simplify]: Simplify 0 into 0 30.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.935 * [backup-simplify]: Simplify 0 into 0 30.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.938 * [backup-simplify]: Simplify 0 into 0 30.938 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 30.938 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 30.938 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 30.939 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 30.939 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 30.939 * [taylor]: Taking taylor expansion of d1 in d1 30.939 * [backup-simplify]: Simplify 0 into 0 30.939 * [backup-simplify]: Simplify 1 into 1 30.939 * [backup-simplify]: Simplify (* 1 1) into 1 30.939 * [backup-simplify]: Simplify (* 1 1) into 1 30.939 * [backup-simplify]: Simplify (* 1 1) into 1 30.940 * [backup-simplify]: Simplify (* 1 1) into 1 30.940 * [backup-simplify]: Simplify (/ 1 1) into 1 30.940 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 30.940 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 30.940 * [taylor]: Taking taylor expansion of d1 in d1 30.940 * [backup-simplify]: Simplify 0 into 0 30.940 * [backup-simplify]: Simplify 1 into 1 30.940 * [backup-simplify]: Simplify (* 1 1) into 1 30.940 * [backup-simplify]: Simplify (* 1 1) into 1 30.941 * [backup-simplify]: Simplify (* 1 1) into 1 30.941 * [backup-simplify]: Simplify (* 1 1) into 1 30.941 * [backup-simplify]: Simplify (/ 1 1) into 1 30.941 * [backup-simplify]: Simplify 1 into 1 30.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 30.943 * [backup-simplify]: Simplify 0 into 0 30.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.946 * [backup-simplify]: Simplify 0 into 0 30.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.949 * [backup-simplify]: Simplify 0 into 0 30.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.954 * [backup-simplify]: Simplify 0 into 0 30.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.961 * [backup-simplify]: Simplify 0 into 0 30.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.968 * [backup-simplify]: Simplify 0 into 0 30.968 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 30.969 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 30.969 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 30.969 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 30.969 * [taylor]: Taking taylor expansion of -1 in d1 30.969 * [backup-simplify]: Simplify -1 into -1 30.969 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 30.969 * [taylor]: Taking taylor expansion of d1 in d1 30.969 * [backup-simplify]: Simplify 0 into 0 30.969 * [backup-simplify]: Simplify 1 into 1 30.969 * [backup-simplify]: Simplify (* 1 1) into 1 30.970 * [backup-simplify]: Simplify (* 1 1) into 1 30.970 * [backup-simplify]: Simplify (* 1 1) into 1 30.970 * [backup-simplify]: Simplify (* 1 1) into 1 30.971 * [backup-simplify]: Simplify (/ -1 1) into -1 30.971 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 30.971 * [taylor]: Taking taylor expansion of -1 in d1 30.971 * [backup-simplify]: Simplify -1 into -1 30.971 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 30.971 * [taylor]: Taking taylor expansion of d1 in d1 30.971 * [backup-simplify]: Simplify 0 into 0 30.971 * [backup-simplify]: Simplify 1 into 1 30.971 * [backup-simplify]: Simplify (* 1 1) into 1 30.972 * [backup-simplify]: Simplify (* 1 1) into 1 30.972 * [backup-simplify]: Simplify (* 1 1) into 1 30.972 * [backup-simplify]: Simplify (* 1 1) into 1 30.973 * [backup-simplify]: Simplify (/ -1 1) into -1 30.973 * [backup-simplify]: Simplify -1 into -1 30.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 30.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 30.976 * [backup-simplify]: Simplify 0 into 0 30.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 30.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.981 * [backup-simplify]: Simplify 0 into 0 30.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 30.984 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.985 * [backup-simplify]: Simplify 0 into 0 30.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 30.988 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.988 * [backup-simplify]: Simplify 0 into 0 30.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 30.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 30.992 * [backup-simplify]: Simplify 0 into 0 30.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 30.996 * [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 30.996 * [backup-simplify]: Simplify 0 into 0 30.996 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 30.996 * * * [progress]: simplifying candidates 30.996 * * * * [progress]: [ 1 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 2 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 3 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 4 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 5 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 6 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 7 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 8 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 9 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 10 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 11 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 12 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 13 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 14 / 570 ] simplifiying candidate # 30.996 * * * * [progress]: [ 15 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 16 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 17 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 18 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 19 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 20 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 21 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 22 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 23 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 24 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 25 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 26 / 570 ] simplifiying candidate #real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))> 30.997 * * * * [progress]: [ 27 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 28 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 29 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 30 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 31 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 32 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 33 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 34 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 35 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 36 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 37 / 570 ] simplifiying candidate # 30.997 * * * * [progress]: [ 38 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 39 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 40 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 41 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 42 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 43 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 44 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 45 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 46 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 47 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 48 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 49 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 50 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 51 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 52 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 53 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 54 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 55 / 570 ] simplifiying candidate # 30.998 * * * * [progress]: [ 56 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 57 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 58 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 59 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 60 / 570 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 30.999 * * * * [progress]: [ 61 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 62 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 63 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 64 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 65 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 66 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 67 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 68 / 570 ] simplifiying candidate # 30.999 * * * * [progress]: [ 69 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 70 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 71 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 72 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 73 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 74 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 75 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 76 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 77 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 78 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 79 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 80 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 81 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 82 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 83 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 84 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 85 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 86 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 87 / 570 ] simplifiying candidate # 31.000 * * * * [progress]: [ 88 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 89 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 90 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 91 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 92 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 93 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 94 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 95 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 96 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 97 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 98 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 99 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 100 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 101 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 102 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 103 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 104 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 105 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 106 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 107 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 108 / 570 ] simplifiying candidate # 31.001 * * * * [progress]: [ 109 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 110 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 111 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 112 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 113 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 114 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 115 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 116 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 117 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 118 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 119 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 120 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 121 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 122 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 123 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 124 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 125 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 126 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 127 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 128 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 129 / 570 ] simplifiying candidate # 31.002 * * * * [progress]: [ 130 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 131 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 132 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 133 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 134 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 135 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 136 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 137 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 138 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 139 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 140 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 141 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 142 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 143 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 144 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 145 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 146 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 147 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 148 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 149 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 150 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 151 / 570 ] simplifiying candidate # 31.003 * * * * [progress]: [ 152 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 153 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 154 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 155 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 156 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 157 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 158 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 159 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 160 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 161 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 162 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 163 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 164 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 165 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 166 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 167 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 168 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 169 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 170 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 171 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 172 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 173 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 174 / 570 ] simplifiying candidate # 31.004 * * * * [progress]: [ 175 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 176 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 177 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 178 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 179 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 180 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 181 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 182 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 183 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 184 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 185 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 186 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 187 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 188 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 189 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 190 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 191 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 192 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 193 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 194 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 195 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 196 / 570 ] simplifiying candidate # 31.005 * * * * [progress]: [ 197 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 198 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 199 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 200 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 201 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 202 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 203 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 204 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 205 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 206 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 207 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 208 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 209 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 210 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 211 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 212 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 213 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 214 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 215 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 216 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 217 / 570 ] simplifiying candidate # 31.006 * * * * [progress]: [ 218 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 219 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 220 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 221 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 222 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 223 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 224 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 225 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 226 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 227 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 228 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 229 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 230 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 231 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 232 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 233 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 234 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 235 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 236 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 237 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 238 / 570 ] simplifiying candidate # 31.007 * * * * [progress]: [ 239 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 240 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 241 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 242 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 243 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 244 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 245 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 246 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 247 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 248 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 249 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 250 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 251 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 252 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 253 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 254 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 255 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 256 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 257 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 258 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 259 / 570 ] simplifiying candidate # 31.008 * * * * [progress]: [ 260 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 261 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 262 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 263 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 264 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 265 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 266 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 267 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 268 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 269 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 270 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 271 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 272 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 273 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 274 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 275 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 276 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 277 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 278 / 570 ] simplifiying candidate # 31.009 * * * * [progress]: [ 279 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 280 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 281 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 282 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 283 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 284 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 285 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 286 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 287 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 288 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 289 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 290 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 291 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 292 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 293 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 294 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 295 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 296 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 297 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 298 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 299 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 300 / 570 ] simplifiying candidate # 31.010 * * * * [progress]: [ 301 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 302 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 303 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 304 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 305 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 306 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 307 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 308 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 309 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 310 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 311 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 312 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 313 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 314 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 315 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 316 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 317 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 318 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 319 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 320 / 570 ] simplifiying candidate # 31.011 * * * * [progress]: [ 321 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 322 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 323 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 324 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 325 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 326 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 327 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 328 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 329 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 330 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 331 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 332 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 333 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 334 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 335 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 336 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 337 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 338 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 339 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 340 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 341 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 342 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 343 / 570 ] simplifiying candidate # 31.012 * * * * [progress]: [ 344 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 345 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 346 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 347 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 348 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 349 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 350 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 351 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 352 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 353 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 354 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 355 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 356 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 357 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 358 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 359 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 360 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 361 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 362 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 363 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 364 / 570 ] simplifiying candidate # 31.013 * * * * [progress]: [ 365 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 366 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 367 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 368 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 369 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 370 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 371 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 372 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 373 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 374 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 375 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 376 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 377 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 378 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 379 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 380 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 381 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 382 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 383 / 570 ] simplifiying candidate # 31.014 * * * * [progress]: [ 384 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 385 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 386 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 387 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 388 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 389 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 390 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 391 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 392 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 393 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 394 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 395 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 396 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 397 / 570 ] simplifiying candidate # 31.015 * * * * [progress]: [ 398 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 399 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 400 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 401 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 402 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 403 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 404 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 405 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 406 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 407 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 408 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 409 / 570 ] simplifiying candidate # 31.016 * * * * [progress]: [ 410 / 570 ] simplifiying candidate # 31.017 * * * * [progress]: [ 411 / 570 ] simplifiying candidate # 31.017 * * * * [progress]: [ 412 / 570 ] simplifiying candidate # 31.017 * * * * [progress]: [ 413 / 570 ] simplifiying candidate # 31.017 * * * * [progress]: [ 414 / 570 ] simplifiying candidate # 31.017 * * * * [progress]: [ 415 / 570 ] simplifiying candidate # 31.017 * * * * [progress]: [ 416 / 570 ] simplifiying candidate # 31.017 * * * * [progress]: [ 417 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 418 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 419 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 420 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 421 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 422 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 423 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 424 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 425 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 426 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 427 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 428 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 429 / 570 ] simplifiying candidate # 31.018 * * * * [progress]: [ 430 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 431 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 432 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 433 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 434 / 570 ] simplifiying candidate #real (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))))> 31.019 * * * * [progress]: [ 435 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 436 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 437 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 438 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 439 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 440 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 441 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 442 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 443 / 570 ] simplifiying candidate # 31.019 * * * * [progress]: [ 444 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 445 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 446 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 447 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 448 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 449 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 450 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 451 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 452 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 453 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 454 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 455 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 456 / 570 ] simplifiying candidate # 31.020 * * * * [progress]: [ 457 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 458 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 459 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 460 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 461 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 462 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 463 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 464 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 465 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 466 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 467 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 468 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 469 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 470 / 570 ] simplifiying candidate # 31.021 * * * * [progress]: [ 471 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 472 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 473 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 474 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 475 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 476 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 477 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 478 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 479 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 480 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 481 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 482 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 483 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 484 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 485 / 570 ] simplifiying candidate # 31.022 * * * * [progress]: [ 486 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 487 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 488 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 489 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 490 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 491 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 492 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 493 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 494 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 495 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 496 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 497 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 498 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 499 / 570 ] simplifiying candidate # 31.023 * * * * [progress]: [ 500 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 501 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 502 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 503 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 504 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 505 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 506 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 507 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 508 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 509 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 510 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 511 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 512 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 513 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 514 / 570 ] simplifiying candidate # 31.024 * * * * [progress]: [ 515 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 516 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 517 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 518 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 519 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 520 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 521 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 522 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 523 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 524 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 525 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 526 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 527 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 528 / 570 ] simplifiying candidate # 31.025 * * * * [progress]: [ 529 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 530 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 531 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 532 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 533 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 534 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 535 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 536 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 537 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 538 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 539 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 540 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 541 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 542 / 570 ] simplifiying candidate # 31.026 * * * * [progress]: [ 543 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 544 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 545 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 546 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 547 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 548 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 549 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 550 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 551 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 552 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 553 / 570 ] simplifiying candidate # 31.027 * * * * [progress]: [ 554 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 555 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 556 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 557 / 570 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 31.037 * * * * [progress]: [ 558 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 559 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 560 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 561 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 562 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 563 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 564 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 565 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 566 / 570 ] simplifiying candidate # 31.037 * * * * [progress]: [ 567 / 570 ] simplifiying candidate # 31.038 * * * * [progress]: [ 568 / 570 ] simplifiying candidate # 31.038 * * * * [progress]: [ 569 / 570 ] simplifiying candidate # 31.038 * * * * [progress]: [ 570 / 570 ] simplifiying candidate # 31.049 * [simplify]: Simplifying: (expm1 (* d1 (* d1 d1))) (log1p (* d1 (* d1 d1))) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log (* d1 d1))) (log (* d1 (* d1 d1))) (exp (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (expm1 (* (* d1 (* d1 d1)) d1)) (log1p (* (* d1 (* d1 d1)) d1)) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (+ (+ (log d1) (log (* d1 d1))) (log d1)) (+ (log (* d1 (* d1 d1))) (log d1)) (log (* (* d1 (* d1 d1)) d1)) (exp (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* d1 d1)) (sqrt d1)) (* (* d1 (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* d1 (* d1 d1)) d1)) (expm1 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (log1p (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)) (+ (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)) (log (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (exp (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))) (cbrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (* (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (sqrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (sqrt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt d1)) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1) (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) d1) (* d1 (* d1 d1)) (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 10) (pow d1 10) (pow d1 10) (pow d1 7) (pow d1 7) (pow d1 7) 31.063 * * [simplify]: iteration 1: (260 enodes) 31.246 * * [simplify]: iteration 2: (703 enodes) 31.691 * * [simplify]: iteration 3: (1634 enodes) 35.941 * * [simplify]: Extracting #0: cost 52 inf + 0 35.942 * * [simplify]: Extracting #1: cost 335 inf + 5 35.946 * * [simplify]: Extracting #2: cost 719 inf + 6973 35.962 * * [simplify]: Extracting #3: cost 416 inf + 91095 36.026 * * [simplify]: Extracting #4: cost 92 inf + 206782 36.126 * * [simplify]: Extracting #5: cost 0 inf + 245963 36.203 * * [simplify]: Extracting #6: cost 0 inf + 245483 36.281 * [simplify]: Simplified to: (expm1 (* d1 (* d1 d1))) (log1p (* d1 (* d1 d1))) 3 3 3 3 (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* 3 (log d1)) (* 3 (log d1)) (* 3 (log d1)) (exp (* d1 (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1) d1 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* d1 (sqrt d1)) (* d1 (sqrt d1)) (* d1 d1) (* (* d1 d1) (cbrt d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (expm1 (* (* d1 d1) (* d1 d1))) (log1p (* (* d1 d1) (* d1 d1))) 4 4 4 4 4 (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) 4 4 4 4 4 (* (log d1) 4) (* (log d1) 4) (* (log d1) 4) (* (log d1) 4) (exp (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (fabs (* d1 d1)) (fabs (* d1 d1)) (* (* d1 (* (cbrt d1) d1)) (* (cbrt d1) d1)) (* (* d1 (sqrt d1)) (* d1 d1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* (* d1 d1) (* d1 d1))) (expm1 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (log1p (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (+ (* (log d1) 5) (* (log d1) 5)) (exp (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (fabs (* d1 (* (* d1 d1) (* d1 d1)))) (fabs (* d1 (* (* d1 d1) (* d1 d1)))) (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) d1)) (* (* (sqrt d1) (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (expm1 (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (log1p (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (+ (log d1) (* (log d1) 6)) (exp (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (sqrt (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1)) (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) 36.330 * * * [progress]: adding candidates to table 39.892 * * [progress]: iteration 2 / 4 39.892 * * * [progress]: picking best candidate 39.898 * * * * [pick]: Picked # 39.898 * * * [progress]: localizing error 39.905 * * * [progress]: generating rewritten candidates 39.905 * * * [progress]: generating series expansions 39.905 * * * [progress]: simplifying candidates 39.906 * [simplify]: Simplifying: 39.906 * * [simplify]: iteration 1: (0 enodes) 39.906 * * [simplify]: Extracting #0: cost 0 inf + 0 39.906 * [simplify]: Simplified to: 39.906 * * * [progress]: adding candidates to table 39.906 * [progress]: [Phase 3 of 3] Extracting. 39.908 * [simplify]: Simplifying: (pow d1 10) 39.908 * * [simplify]: iteration 1: (3 enodes) 39.909 * * [simplify]: Extracting #0: cost 1 inf + 0 39.909 * * [simplify]: Extracting #1: cost 3 inf + 0 39.909 * * [simplify]: Extracting #2: cost 1 inf + 2 39.909 * * [simplify]: Extracting #3: cost 0 inf + 214 39.909 * [simplify]: Simplified to: (pow d1 10) 42.104 * [regime-testing]: Baseline error score: 0 42.106 * [regime-testing]: Oracle error score: 0 42.106 * [regime-testing]: End program error score: 0 42.177 * [regime-testing]: Target error score: 0