128.631 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.042 * * [simplify]: iteration 0: 9 enodes 0.044 * * [simplify]: iteration 1: 24 enodes 0.049 * * [simplify]: iteration 2: 54 enodes 0.062 * * [simplify]: iteration 3: 92 enodes 0.118 * * [simplify]: iteration 4: 248 enodes 0.215 * * [simplify]: iteration 5: 496 enodes 1.312 * * [simplify]: iteration 6: 2065 enodes 2.256 * * [simplify]: iteration complete: 5000 enodes 2.256 * * [simplify]: Extracting #0: cost 1 inf + 0 2.257 * * [simplify]: Extracting #1: cost 191 inf + 0 2.263 * * [simplify]: Extracting #2: cost 1210 inf + 1216 2.284 * * [simplify]: Extracting #3: cost 1443 inf + 19425 2.303 * * [simplify]: Extracting #4: cost 961 inf + 223154 2.361 * * [simplify]: Extracting #5: cost 227 inf + 631970 2.474 * * [simplify]: Extracting #6: cost 5 inf + 770658 2.585 * * [simplify]: Extracting #7: cost 0 inf + 771450 2.691 * [simplify]: Simplified to: (* (* d1 d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) 2.695 * * [progress]: iteration 1 / 4 2.695 * * * [progress]: picking best candidate 2.700 * * * * [pick]: Picked # 2.700 * * * [progress]: localizing error 2.729 * * * [progress]: generating rewritten candidates 2.729 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 2.780 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 2.973 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1) 2.996 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 12.583 * * * [progress]: generating series expansions 12.584 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 12.584 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 12.584 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 12.584 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 12.584 * [taylor]: Taking taylor expansion of d1 in d1 12.584 * [backup-simplify]: Simplify 0 into 0 12.584 * [backup-simplify]: Simplify 1 into 1 12.584 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 12.584 * [taylor]: Taking taylor expansion of d1 in d1 12.584 * [backup-simplify]: Simplify 0 into 0 12.584 * [backup-simplify]: Simplify 1 into 1 12.585 * [backup-simplify]: Simplify (* 1 1) into 1 12.585 * [backup-simplify]: Simplify (* 1 1) into 1 12.585 * [backup-simplify]: Simplify 1 into 1 12.586 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.587 * [backup-simplify]: Simplify 0 into 0 12.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.589 * [backup-simplify]: Simplify 0 into 0 12.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.591 * [backup-simplify]: Simplify 0 into 0 12.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.594 * [backup-simplify]: Simplify 0 into 0 12.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.596 * [backup-simplify]: Simplify 0 into 0 12.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.600 * [backup-simplify]: Simplify 0 into 0 12.600 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 12.600 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 12.600 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 12.600 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 12.600 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 12.600 * [taylor]: Taking taylor expansion of d1 in d1 12.600 * [backup-simplify]: Simplify 0 into 0 12.600 * [backup-simplify]: Simplify 1 into 1 12.601 * [backup-simplify]: Simplify (* 1 1) into 1 12.601 * [backup-simplify]: Simplify (* 1 1) into 1 12.601 * [backup-simplify]: Simplify (/ 1 1) into 1 12.602 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 12.602 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 12.602 * [taylor]: Taking taylor expansion of d1 in d1 12.602 * [backup-simplify]: Simplify 0 into 0 12.602 * [backup-simplify]: Simplify 1 into 1 12.602 * [backup-simplify]: Simplify (* 1 1) into 1 12.602 * [backup-simplify]: Simplify (* 1 1) into 1 12.603 * [backup-simplify]: Simplify (/ 1 1) into 1 12.603 * [backup-simplify]: Simplify 1 into 1 12.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.605 * [backup-simplify]: Simplify 0 into 0 12.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.608 * [backup-simplify]: Simplify 0 into 0 12.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.611 * [backup-simplify]: Simplify 0 into 0 12.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.615 * [backup-simplify]: Simplify 0 into 0 12.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.617 * [backup-simplify]: Simplify 0 into 0 12.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.619 * [backup-simplify]: Simplify 0 into 0 12.619 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 12.619 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 12.619 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 12.620 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 12.620 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 12.620 * [taylor]: Taking taylor expansion of d1 in d1 12.620 * [backup-simplify]: Simplify 0 into 0 12.620 * [backup-simplify]: Simplify 1 into 1 12.620 * [backup-simplify]: Simplify (* 1 1) into 1 12.620 * [backup-simplify]: Simplify (* 1 1) into 1 12.620 * [backup-simplify]: Simplify (/ 1 1) into 1 12.620 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 12.620 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 12.620 * [taylor]: Taking taylor expansion of d1 in d1 12.620 * [backup-simplify]: Simplify 0 into 0 12.620 * [backup-simplify]: Simplify 1 into 1 12.621 * [backup-simplify]: Simplify (* 1 1) into 1 12.621 * [backup-simplify]: Simplify (* 1 1) into 1 12.621 * [backup-simplify]: Simplify (/ 1 1) into 1 12.621 * [backup-simplify]: Simplify 1 into 1 12.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.623 * [backup-simplify]: Simplify 0 into 0 12.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.624 * [backup-simplify]: Simplify 0 into 0 12.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.626 * [backup-simplify]: Simplify 0 into 0 12.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.628 * [backup-simplify]: Simplify 0 into 0 12.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.630 * [backup-simplify]: Simplify 0 into 0 12.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.639 * [backup-simplify]: Simplify 0 into 0 12.639 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 12.639 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 12.639 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 12.639 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 12.639 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 12.639 * [taylor]: Taking taylor expansion of d1 in d1 12.639 * [backup-simplify]: Simplify 0 into 0 12.639 * [backup-simplify]: Simplify 1 into 1 12.639 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 12.639 * [taylor]: Taking taylor expansion of d1 in d1 12.639 * [backup-simplify]: Simplify 0 into 0 12.639 * [backup-simplify]: Simplify 1 into 1 12.640 * [backup-simplify]: Simplify (* 1 1) into 1 12.640 * [backup-simplify]: Simplify (* 1 1) into 1 12.640 * [backup-simplify]: Simplify (* 1 1) into 1 12.640 * [backup-simplify]: Simplify 1 into 1 12.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.641 * [backup-simplify]: Simplify 0 into 0 12.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.643 * [backup-simplify]: Simplify 0 into 0 12.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.646 * [backup-simplify]: Simplify 0 into 0 12.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.650 * [backup-simplify]: Simplify 0 into 0 12.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.654 * [backup-simplify]: Simplify 0 into 0 12.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.660 * [backup-simplify]: Simplify 0 into 0 12.660 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 12.660 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 12.660 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 12.660 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 12.660 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 12.660 * [taylor]: Taking taylor expansion of d1 in d1 12.660 * [backup-simplify]: Simplify 0 into 0 12.660 * [backup-simplify]: Simplify 1 into 1 12.661 * [backup-simplify]: Simplify (* 1 1) into 1 12.661 * [backup-simplify]: Simplify (* 1 1) into 1 12.662 * [backup-simplify]: Simplify (* 1 1) into 1 12.662 * [backup-simplify]: Simplify (/ 1 1) into 1 12.662 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 12.662 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 12.662 * [taylor]: Taking taylor expansion of d1 in d1 12.662 * [backup-simplify]: Simplify 0 into 0 12.662 * [backup-simplify]: Simplify 1 into 1 12.663 * [backup-simplify]: Simplify (* 1 1) into 1 12.663 * [backup-simplify]: Simplify (* 1 1) into 1 12.664 * [backup-simplify]: Simplify (* 1 1) into 1 12.664 * [backup-simplify]: Simplify (/ 1 1) into 1 12.664 * [backup-simplify]: Simplify 1 into 1 12.665 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.667 * [backup-simplify]: Simplify 0 into 0 12.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.671 * [backup-simplify]: Simplify 0 into 0 12.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.678 * [backup-simplify]: Simplify 0 into 0 12.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.683 * [backup-simplify]: Simplify 0 into 0 12.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.688 * [backup-simplify]: Simplify 0 into 0 12.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.694 * [backup-simplify]: Simplify 0 into 0 12.694 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 12.695 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 12.695 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 12.695 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 12.695 * [taylor]: Taking taylor expansion of -1 in d1 12.695 * [backup-simplify]: Simplify -1 into -1 12.695 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 12.695 * [taylor]: Taking taylor expansion of d1 in d1 12.695 * [backup-simplify]: Simplify 0 into 0 12.695 * [backup-simplify]: Simplify 1 into 1 12.695 * [backup-simplify]: Simplify (* 1 1) into 1 12.696 * [backup-simplify]: Simplify (* 1 1) into 1 12.696 * [backup-simplify]: Simplify (* 1 1) into 1 12.696 * [backup-simplify]: Simplify (/ -1 1) into -1 12.696 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 12.696 * [taylor]: Taking taylor expansion of -1 in d1 12.696 * [backup-simplify]: Simplify -1 into -1 12.696 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 12.697 * [taylor]: Taking taylor expansion of d1 in d1 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify 1 into 1 12.697 * [backup-simplify]: Simplify (* 1 1) into 1 12.697 * [backup-simplify]: Simplify (* 1 1) into 1 12.698 * [backup-simplify]: Simplify (* 1 1) into 1 12.698 * [backup-simplify]: Simplify (/ -1 1) into -1 12.698 * [backup-simplify]: Simplify -1 into -1 12.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.701 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 12.702 * [backup-simplify]: Simplify 0 into 0 12.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.706 * [backup-simplify]: Simplify 0 into 0 12.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.710 * [backup-simplify]: Simplify 0 into 0 12.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.715 * [backup-simplify]: Simplify 0 into 0 12.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.720 * [backup-simplify]: Simplify 0 into 0 12.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.726 * [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 12.726 * [backup-simplify]: Simplify 0 into 0 12.726 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 12.726 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1) 12.727 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 12.727 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 12.727 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 12.727 * [taylor]: Taking taylor expansion of d1 in d1 12.727 * [backup-simplify]: Simplify 0 into 0 12.727 * [backup-simplify]: Simplify 1 into 1 12.727 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 12.727 * [taylor]: Taking taylor expansion of d1 in d1 12.727 * [backup-simplify]: Simplify 0 into 0 12.727 * [backup-simplify]: Simplify 1 into 1 12.727 * [backup-simplify]: Simplify (* 1 1) into 1 12.728 * [backup-simplify]: Simplify (* 1 1) into 1 12.728 * [backup-simplify]: Simplify 1 into 1 12.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.729 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.729 * [backup-simplify]: Simplify 0 into 0 12.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.731 * [backup-simplify]: Simplify 0 into 0 12.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.733 * [backup-simplify]: Simplify 0 into 0 12.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.736 * [backup-simplify]: Simplify 0 into 0 12.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.739 * [backup-simplify]: Simplify 0 into 0 12.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.742 * [backup-simplify]: Simplify 0 into 0 12.742 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 12.742 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 12.742 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 12.742 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 12.742 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 12.743 * [taylor]: Taking taylor expansion of d1 in d1 12.743 * [backup-simplify]: Simplify 0 into 0 12.743 * [backup-simplify]: Simplify 1 into 1 12.743 * [backup-simplify]: Simplify (* 1 1) into 1 12.743 * [backup-simplify]: Simplify (* 1 1) into 1 12.744 * [backup-simplify]: Simplify (/ 1 1) into 1 12.744 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 12.744 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 12.744 * [taylor]: Taking taylor expansion of d1 in d1 12.744 * [backup-simplify]: Simplify 0 into 0 12.744 * [backup-simplify]: Simplify 1 into 1 12.744 * [backup-simplify]: Simplify (* 1 1) into 1 12.745 * [backup-simplify]: Simplify (* 1 1) into 1 12.745 * [backup-simplify]: Simplify (/ 1 1) into 1 12.745 * [backup-simplify]: Simplify 1 into 1 12.746 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.746 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.747 * [backup-simplify]: Simplify 0 into 0 12.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.750 * [backup-simplify]: Simplify 0 into 0 12.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.753 * [backup-simplify]: Simplify 0 into 0 12.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.757 * [backup-simplify]: Simplify 0 into 0 12.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.761 * [backup-simplify]: Simplify 0 into 0 12.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.764 * [backup-simplify]: Simplify 0 into 0 12.764 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 12.764 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 12.764 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 12.764 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 12.764 * [taylor]: Taking taylor expansion of -1 in d1 12.764 * [backup-simplify]: Simplify -1 into -1 12.764 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 12.764 * [taylor]: Taking taylor expansion of d1 in d1 12.764 * [backup-simplify]: Simplify 0 into 0 12.764 * [backup-simplify]: Simplify 1 into 1 12.765 * [backup-simplify]: Simplify (* 1 1) into 1 12.765 * [backup-simplify]: Simplify (* 1 1) into 1 12.765 * [backup-simplify]: Simplify (/ -1 1) into -1 12.765 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 12.765 * [taylor]: Taking taylor expansion of -1 in d1 12.765 * [backup-simplify]: Simplify -1 into -1 12.765 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 12.765 * [taylor]: Taking taylor expansion of d1 in d1 12.765 * [backup-simplify]: Simplify 0 into 0 12.765 * [backup-simplify]: Simplify 1 into 1 12.765 * [backup-simplify]: Simplify (* 1 1) into 1 12.766 * [backup-simplify]: Simplify (* 1 1) into 1 12.766 * [backup-simplify]: Simplify (/ -1 1) into -1 12.766 * [backup-simplify]: Simplify -1 into -1 12.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 12.767 * [backup-simplify]: Simplify 0 into 0 12.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.769 * [backup-simplify]: Simplify 0 into 0 12.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.771 * [backup-simplify]: Simplify 0 into 0 12.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.773 * [backup-simplify]: Simplify 0 into 0 12.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.775 * [backup-simplify]: Simplify 0 into 0 12.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.779 * [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 12.779 * [backup-simplify]: Simplify 0 into 0 12.779 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 12.779 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 12.779 * [backup-simplify]: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9) 12.779 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 12.779 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 12.779 * [taylor]: Taking taylor expansion of d1 in d1 12.779 * [backup-simplify]: Simplify 0 into 0 12.779 * [backup-simplify]: Simplify 1 into 1 12.779 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 12.779 * [taylor]: Taking taylor expansion of d1 in d1 12.779 * [backup-simplify]: Simplify 0 into 0 12.779 * [backup-simplify]: Simplify 1 into 1 12.780 * [backup-simplify]: Simplify (* 1 1) into 1 12.780 * [backup-simplify]: Simplify (* 1 1) into 1 12.780 * [backup-simplify]: Simplify (* 1 1) into 1 12.780 * [backup-simplify]: Simplify (* 1 1) into 1 12.780 * [backup-simplify]: Simplify 1 into 1 12.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.782 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.782 * [backup-simplify]: Simplify 0 into 0 12.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.784 * [backup-simplify]: Simplify 0 into 0 12.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.787 * [backup-simplify]: Simplify 0 into 0 12.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.789 * [backup-simplify]: Simplify 0 into 0 12.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.792 * [backup-simplify]: Simplify 0 into 0 12.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.797 * [backup-simplify]: Simplify 0 into 0 12.797 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 12.797 * [backup-simplify]: Simplify (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9)) 12.797 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 12.797 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 12.797 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 12.797 * [taylor]: Taking taylor expansion of d1 in d1 12.798 * [backup-simplify]: Simplify 0 into 0 12.798 * [backup-simplify]: Simplify 1 into 1 12.798 * [backup-simplify]: Simplify (* 1 1) into 1 12.798 * [backup-simplify]: Simplify (* 1 1) into 1 12.799 * [backup-simplify]: Simplify (* 1 1) into 1 12.799 * [backup-simplify]: Simplify (* 1 1) into 1 12.800 * [backup-simplify]: Simplify (/ 1 1) into 1 12.800 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 12.800 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 12.800 * [taylor]: Taking taylor expansion of d1 in d1 12.800 * [backup-simplify]: Simplify 0 into 0 12.800 * [backup-simplify]: Simplify 1 into 1 12.800 * [backup-simplify]: Simplify (* 1 1) into 1 12.801 * [backup-simplify]: Simplify (* 1 1) into 1 12.801 * [backup-simplify]: Simplify (* 1 1) into 1 12.801 * [backup-simplify]: Simplify (* 1 1) into 1 12.802 * [backup-simplify]: Simplify (/ 1 1) into 1 12.802 * [backup-simplify]: Simplify 1 into 1 12.803 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.803 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.804 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.806 * [backup-simplify]: Simplify 0 into 0 12.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.811 * [backup-simplify]: Simplify 0 into 0 12.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.816 * [backup-simplify]: Simplify 0 into 0 12.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.823 * [backup-simplify]: Simplify 0 into 0 12.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.829 * [backup-simplify]: Simplify 0 into 0 12.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.833 * [backup-simplify]: Simplify 0 into 0 12.833 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 12.834 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9)) 12.834 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 12.834 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 12.834 * [taylor]: Taking taylor expansion of -1 in d1 12.834 * [backup-simplify]: Simplify -1 into -1 12.834 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 12.834 * [taylor]: Taking taylor expansion of d1 in d1 12.834 * [backup-simplify]: Simplify 0 into 0 12.834 * [backup-simplify]: Simplify 1 into 1 12.834 * [backup-simplify]: Simplify (* 1 1) into 1 12.834 * [backup-simplify]: Simplify (* 1 1) into 1 12.835 * [backup-simplify]: Simplify (* 1 1) into 1 12.835 * [backup-simplify]: Simplify (* 1 1) into 1 12.835 * [backup-simplify]: Simplify (/ -1 1) into -1 12.835 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 12.835 * [taylor]: Taking taylor expansion of -1 in d1 12.835 * [backup-simplify]: Simplify -1 into -1 12.835 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 12.835 * [taylor]: Taking taylor expansion of d1 in d1 12.835 * [backup-simplify]: Simplify 0 into 0 12.835 * [backup-simplify]: Simplify 1 into 1 12.835 * [backup-simplify]: Simplify (* 1 1) into 1 12.836 * [backup-simplify]: Simplify (* 1 1) into 1 12.836 * [backup-simplify]: Simplify (* 1 1) into 1 12.836 * [backup-simplify]: Simplify (* 1 1) into 1 12.836 * [backup-simplify]: Simplify (/ -1 1) into -1 12.836 * [backup-simplify]: Simplify -1 into -1 12.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.838 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.838 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 12.839 * [backup-simplify]: Simplify 0 into 0 12.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.841 * [backup-simplify]: Simplify 0 into 0 12.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.844 * [backup-simplify]: Simplify 0 into 0 12.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.847 * [backup-simplify]: Simplify 0 into 0 12.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.851 * [backup-simplify]: Simplify 0 into 0 12.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.855 * [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 12.855 * [backup-simplify]: Simplify 0 into 0 12.855 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 12.855 * * * [progress]: simplifying candidates 12.860 * [simplify]: Simplifying: (+ (+ 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) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (* (* (* 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 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* (* (* 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)) (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* 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)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (* (* (* d1 (* d1 d1)) d1) 1) (* 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)) (+ 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) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 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) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 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)) (+ (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 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 (* d1 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 (* d1 d1)) 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 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1))) (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log (* 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))) (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* 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))) (sqrt (* 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))) (* (cbrt 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)) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 5) (pow d1 5) (pow d1 5) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 9) (pow d1 9) (pow d1 9) 12.863 * * [simplify]: iteration 0: 207 enodes 12.999 * * [simplify]: iteration 1: 587 enodes 13.367 * * [simplify]: iteration 2: 1833 enodes 15.532 * * [simplify]: iteration complete: 5001 enodes 15.533 * * [simplify]: Extracting #0: cost 42 inf + 0 15.535 * * [simplify]: Extracting #1: cost 568 inf + 5 15.542 * * [simplify]: Extracting #2: cost 1151 inf + 50065 15.589 * * [simplify]: Extracting #3: cost 500 inf + 297294 15.679 * * [simplify]: Extracting #4: cost 32 inf + 366990 15.815 * * [simplify]: Extracting #5: cost 0 inf + 359180 15.946 * * [simplify]: Extracting #6: cost 0 inf + 359060 16.040 * [simplify]: Simplified to: 4 4 4 4 4 (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) 4 4 4 4 4 (* 4 (log d1)) (* 4 (log d1)) (* 4 (log d1)) (* 4 (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 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 (* (* d1 (cbrt d1)) (* d1 (cbrt d1)))) (* (* d1 (* d1 d1)) (sqrt d1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) 5 5 5 5 5 5 5 5 5 5 (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) 5 5 5 5 5 5 5 5 5 5 (+ (* 4 (log d1)) (log d1)) (+ (* 4 (log d1)) (log d1)) (+ (* 4 (log d1)) (log d1)) (+ (* 4 (log d1)) (log d1)) (+ (* 4 (log d1)) (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 d1))) d1) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* 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))) (cbrt (* (* 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) (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (cbrt d1)) (* (* d1 d1) (cbrt d1))) (* (* (sqrt d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) (* d1 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))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (* d1 d1) (cbrt d1)) (* (* (sqrt d1) d1) d1) (* d1 (* d1 d1)) 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log 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 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))))) (* d1 (* (* d1 d1) (* (* (* (* 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)) (cbrt (* (* (* (* 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))))))) (sqrt (* (* (* (* 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))) (* (cbrt 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 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (pow d1 9) (pow d1 9) (pow d1 9) 16.057 * * * [progress]: adding candidates to table 16.393 * * [progress]: iteration 2 / 4 16.393 * * * [progress]: picking best candidate 16.410 * * * * [pick]: Picked # 16.410 * * * [progress]: localizing error 16.416 * * * [progress]: generating rewritten candidates 16.416 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 16.426 * * * [progress]: generating series expansions 16.426 * * * * [progress]: [ 1 / 1 ] generating series at (2) 16.427 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10) 16.427 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 16.427 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 16.427 * [taylor]: Taking taylor expansion of d1 in d1 16.427 * [backup-simplify]: Simplify 0 into 0 16.427 * [backup-simplify]: Simplify 1 into 1 16.427 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 16.427 * [taylor]: Taking taylor expansion of d1 in d1 16.427 * [backup-simplify]: Simplify 0 into 0 16.427 * [backup-simplify]: Simplify 1 into 1 16.427 * [backup-simplify]: Simplify (* 1 1) into 1 16.428 * [backup-simplify]: Simplify (* 1 1) into 1 16.428 * [backup-simplify]: Simplify (* 1 1) into 1 16.428 * [backup-simplify]: Simplify (* 1 1) into 1 16.428 * [backup-simplify]: Simplify 1 into 1 16.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.430 * [backup-simplify]: Simplify 0 into 0 16.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.432 * [backup-simplify]: Simplify 0 into 0 16.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.434 * [backup-simplify]: Simplify 0 into 0 16.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.437 * [backup-simplify]: Simplify 0 into 0 16.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.441 * [backup-simplify]: Simplify 0 into 0 16.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.447 * [backup-simplify]: Simplify 0 into 0 16.447 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 16.447 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10)) 16.447 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 16.448 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 16.448 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 16.448 * [taylor]: Taking taylor expansion of d1 in d1 16.448 * [backup-simplify]: Simplify 0 into 0 16.448 * [backup-simplify]: Simplify 1 into 1 16.448 * [backup-simplify]: Simplify (* 1 1) into 1 16.448 * [backup-simplify]: Simplify (* 1 1) into 1 16.449 * [backup-simplify]: Simplify (* 1 1) into 1 16.449 * [backup-simplify]: Simplify (* 1 1) into 1 16.450 * [backup-simplify]: Simplify (/ 1 1) into 1 16.450 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 16.450 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 16.450 * [taylor]: Taking taylor expansion of d1 in d1 16.450 * [backup-simplify]: Simplify 0 into 0 16.450 * [backup-simplify]: Simplify 1 into 1 16.450 * [backup-simplify]: Simplify (* 1 1) into 1 16.450 * [backup-simplify]: Simplify (* 1 1) into 1 16.451 * [backup-simplify]: Simplify (* 1 1) into 1 16.451 * [backup-simplify]: Simplify (* 1 1) into 1 16.451 * [backup-simplify]: Simplify (/ 1 1) into 1 16.452 * [backup-simplify]: Simplify 1 into 1 16.452 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.453 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.453 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.454 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.455 * [backup-simplify]: Simplify 0 into 0 16.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.459 * [backup-simplify]: Simplify 0 into 0 16.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.464 * [backup-simplify]: Simplify 0 into 0 16.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.470 * [backup-simplify]: Simplify 0 into 0 16.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.477 * [backup-simplify]: Simplify 0 into 0 16.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.482 * [backup-simplify]: Simplify 0 into 0 16.482 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 16.482 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 16.482 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 16.482 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 16.482 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 16.482 * [taylor]: Taking taylor expansion of d1 in d1 16.482 * [backup-simplify]: Simplify 0 into 0 16.482 * [backup-simplify]: Simplify 1 into 1 16.482 * [backup-simplify]: Simplify (* 1 1) into 1 16.483 * [backup-simplify]: Simplify (* 1 1) into 1 16.483 * [backup-simplify]: Simplify (* 1 1) into 1 16.483 * [backup-simplify]: Simplify (* 1 1) into 1 16.483 * [backup-simplify]: Simplify (/ 1 1) into 1 16.483 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 16.483 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 16.483 * [taylor]: Taking taylor expansion of d1 in d1 16.483 * [backup-simplify]: Simplify 0 into 0 16.483 * [backup-simplify]: Simplify 1 into 1 16.484 * [backup-simplify]: Simplify (* 1 1) into 1 16.484 * [backup-simplify]: Simplify (* 1 1) into 1 16.484 * [backup-simplify]: Simplify (* 1 1) into 1 16.484 * [backup-simplify]: Simplify (* 1 1) into 1 16.485 * [backup-simplify]: Simplify (/ 1 1) into 1 16.485 * [backup-simplify]: Simplify 1 into 1 16.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.487 * [backup-simplify]: Simplify 0 into 0 16.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.490 * [backup-simplify]: Simplify 0 into 0 16.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.492 * [backup-simplify]: Simplify 0 into 0 16.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 16.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.499 * [backup-simplify]: Simplify 0 into 0 16.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 16.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.503 * [backup-simplify]: Simplify 0 into 0 16.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 16.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.507 * [backup-simplify]: Simplify 0 into 0 16.507 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 16.507 * * * [progress]: simplifying candidates 16.508 * [simplify]: Simplifying: (+ 9 1) (+ 9 1) (+ (* (log d1) 9) (log d1)) (+ (* (log d1) 9) (log d1)) (+ (log (pow d1 9)) (log d1)) (log (* (pow d1 9) d1)) (exp (* (pow d1 9) d1)) (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1)) (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1))) (cbrt (* (pow d1 9) d1)) (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1)) (* (pow (sqrt d1) 9) (sqrt d1)) (* (pow (sqrt d1) 9) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 9) (* (cbrt d1) (cbrt d1))) (* (pow d1 9) (sqrt d1)) (* (pow d1 9) 1) (* (pow (cbrt d1) 9) d1) (* (pow (sqrt d1) 9) d1) (* (pow d1 9) d1) (* (cbrt (pow d1 9)) d1) (* (sqrt (pow d1 9)) d1) (* (pow d1 9) d1) (* (pow d1 (/ 9 2)) d1) (pow d1 10) (pow d1 10) (pow d1 10) 16.509 * * [simplify]: iteration 0: 46 enodes 16.530 * * [simplify]: iteration 1: 109 enodes 16.559 * * [simplify]: iteration 2: 308 enodes 16.802 * * [simplify]: iteration 3: 1207 enodes 17.818 * * [simplify]: iteration complete: 5001 enodes 17.818 * * [simplify]: Extracting #0: cost 19 inf + 0 17.820 * * [simplify]: Extracting #1: cost 517 inf + 1 17.829 * * [simplify]: Extracting #2: cost 1589 inf + 8093 17.853 * * [simplify]: Extracting #3: cost 1444 inf + 122463 17.938 * * [simplify]: Extracting #4: cost 433 inf + 599052 18.001 * * [simplify]: Extracting #5: cost 14 inf + 824450 18.114 * * [simplify]: Extracting #6: cost 0 inf + 827155 18.203 * * [simplify]: Extracting #7: cost 0 inf + 826664 18.323 * [simplify]: Simplified to: 10 10 (* 10 (log d1)) (* 10 (log d1)) (* 10 (log d1)) (* 10 (log d1)) (exp (pow d1 10)) (* (* (pow d1 10) (pow d1 10)) (pow d1 10)) (* (cbrt (pow d1 10)) (cbrt (pow d1 10))) (cbrt (pow d1 10)) (* (* (pow d1 10) (pow d1 10)) (pow d1 10)) (sqrt (pow d1 10)) (sqrt (pow d1 10)) (pow (sqrt d1) 10) (pow (sqrt d1) 10) (* (sqrt d1) (sqrt (pow d1 9))) (* (sqrt d1) (sqrt (pow d1 9))) (* (sqrt d1) (pow d1 9/2)) (* (sqrt d1) (pow d1 9/2)) (* (* (pow d1 9) (cbrt d1)) (cbrt d1)) (* (sqrt d1) (pow d1 9)) (pow d1 9) (* (pow (cbrt d1) 9) d1) (* (pow (sqrt d1) 9) d1) (pow d1 10) (* (cbrt (pow d1 9)) d1) (* d1 (sqrt (pow d1 9))) (pow d1 10) (pow d1 11/2) (pow d1 10) (pow d1 10) (pow d1 10) 18.324 * * * [progress]: adding candidates to table 18.430 * * [progress]: iteration 3 / 4 18.430 * * * [progress]: picking best candidate 18.435 * * * * [pick]: Picked # 18.435 * * * [progress]: localizing error 18.440 * * * [progress]: generating rewritten candidates 18.440 * * * [progress]: generating series expansions 18.440 * * * [progress]: simplifying candidates 18.440 * [simplify]: Simplifying: 18.440 * * [simplify]: iteration 0: 0 enodes 18.440 * * [simplify]: iteration complete: 0 enodes 18.440 * * [simplify]: Extracting #0: cost 0 inf + 0 18.440 * [simplify]: Simplified to: 18.440 * * * [progress]: adding candidates to table 18.441 * [progress]: [Phase 3 of 3] Extracting. 18.444 * [simplify]: Simplifying: (pow d1 10) 18.444 * * [simplify]: iteration 0: 3 enodes 18.444 * * [simplify]: iteration complete: 3 enodes 18.444 * * [simplify]: Extracting #0: cost 1 inf + 0 18.444 * * [simplify]: Extracting #1: cost 3 inf + 0 18.444 * * [simplify]: Extracting #2: cost 1 inf + 2 18.444 * * [simplify]: Extracting #3: cost 0 inf + 214 18.444 * [simplify]: Simplified to: (pow d1 10) 20.294 * [regime-testing]: Baseline error score: 0 20.306 * [regime-testing]: Oracle error score: 0 20.307 * [regime-testing]: End program error score: 0 20.432 * [regime-testing]: Target error score: 0