5.477 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying: (* (* (* d1 d1) d1) d1) 0.017 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.017 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.017 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.017 * * [simplify]: Extracting # 3 : cost 0 inf + 244 0.017 * * [simplify]: iteration 0 : 4 enodes (cost 121 ) 0.018 * * [simplify]: Extracting # 0 : cost 0 inf + 244 0.018 * * [simplify]: Extracting # 1 : cost 0 inf + 204 0.018 * * [simplify]: iteration 1 : 7 enodes (cost 81 ) 0.019 * * [simplify]: Extracting # 0 : cost 0 inf + 204 0.019 * * [simplify]: Extracting # 1 : cost 1 inf + 204 0.019 * * [simplify]: Extracting # 2 : cost 0 inf + 205 0.020 * * [simplify]: iteration 2 : 9 enodes (cost 81 ) 0.022 * * [simplify]: Extracting # 0 : cost 0 inf + 205 0.022 * * [simplify]: Extracting # 1 : cost 2 inf + 205 0.022 * * [simplify]: Extracting # 2 : cost 2 inf + 206 0.022 * * [simplify]: Extracting # 3 : cost 0 inf + 419 0.022 * * [simplify]: iteration 3 : 18 enodes (cost 81 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 inf + 419 0.028 * * [simplify]: Extracting # 1 : cost 5 inf + 419 0.028 * * [simplify]: Extracting # 2 : cost 2 inf + 925 0.029 * * [simplify]: Extracting # 3 : cost 1 inf + 926 0.029 * * [simplify]: Extracting # 4 : cost 0 inf + 1138 0.029 * * [simplify]: iteration 4 : 32 enodes (cost 81 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 inf + 1138 0.043 * * [simplify]: Extracting # 1 : cost 10 inf + 1138 0.043 * * [simplify]: Extracting # 2 : cost 2 inf + 3075 0.044 * * [simplify]: Extracting # 3 : cost 0 inf + 3208 0.044 * * [simplify]: Extracting # 4 : cost 0 inf + 3168 0.045 * * [simplify]: iteration 5 : 63 enodes (cost 81 ) 0.071 * * [simplify]: Extracting # 0 : cost 0 inf + 3168 0.072 * * [simplify]: Extracting # 1 : cost 15 inf + 2917 0.073 * * [simplify]: Extracting # 2 : cost 2 inf + 6918 0.074 * * [simplify]: Extracting # 3 : cost 1 inf + 6799 0.076 * * [simplify]: Extracting # 4 : cost 0 inf + 7011 0.077 * * [simplify]: iteration 6 : 124 enodes (cost 81 ) 0.138 * * [simplify]: Extracting # 0 : cost 0 inf + 7011 0.140 * * [simplify]: Extracting # 1 : cost 44 inf + 6800 0.143 * * [simplify]: Extracting # 2 : cost 7 inf + 25508 0.145 * * [simplify]: Extracting # 3 : cost 0 inf + 26421 0.148 * * [simplify]: iteration 7 : 315 enodes (cost 81 ) 0.405 * * [simplify]: Extracting # 0 : cost 0 inf + 26421 0.419 * * [simplify]: Extracting # 1 : cost 140 inf + 25679 0.444 * * [simplify]: Extracting # 2 : cost 8 inf + 108703 0.475 * * [simplify]: Extracting # 3 : cost 4 inf + 108408 0.503 * * [simplify]: Extracting # 4 : cost 0 inf + 108563 0.521 * * [simplify]: iteration 8 : 1047 enodes (cost 81 ) 2.872 * * [simplify]: Extracting # 0 : cost 0 inf + 108563 2.929 * * [simplify]: Extracting # 1 : cost 763 inf + 101156 3.049 * * [simplify]: Extracting # 2 : cost 10 inf + 631881 3.271 * * [simplify]: Extracting # 3 : cost 1 inf + 557152 3.612 * * [simplify]: Extracting # 4 : cost 0 inf + 485946 4.022 * * [simplify]: Extracting # 5 : cost 0 inf + 481122 4.458 * * [simplify]: Extracting # 6 : cost 0 inf + 480402 4.908 * * [simplify]: iteration 9 : 4435 enodes (cost 81 ) 7.153 * * [simplify]: Extracting # 0 : cost 0 inf + 480402 7.576 * * [simplify]: Extracting # 1 : cost 206 inf + 474697 8.008 * * [simplify]: Extracting # 2 : cost 0 inf + 601231 8.493 * * [simplify]: iteration complete: 5000 enodes (cost 81 ) 8.493 * [simplify]: Simplified to: (* (* d1 d1) (* d1 d1)) 8.500 * * [progress]: iteration 1 / 4 8.500 * * * [progress]: picking best candidate 8.510 * * * * [pick]: Picked # 8.510 * * * [progress]: localizing error 8.524 * * * [progress]: generating rewritten candidates 8.524 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 8.552 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.611 * * * [progress]: generating series expansions 8.611 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 8.612 * [backup-simplify]: Simplify (* (* d1 d1) d1) into (pow d1 3) 8.612 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 8.612 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 8.612 * [taylor]: Taking taylor expansion of d1 in d1 8.612 * [backup-simplify]: Simplify 0 into 0 8.612 * [backup-simplify]: Simplify 1 into 1 8.612 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 8.612 * [taylor]: Taking taylor expansion of d1 in d1 8.612 * [backup-simplify]: Simplify 0 into 0 8.612 * [backup-simplify]: Simplify 1 into 1 8.612 * [backup-simplify]: Simplify (* 1 1) into 1 8.612 * [backup-simplify]: Simplify (* 1 1) into 1 8.613 * [backup-simplify]: Simplify 1 into 1 8.613 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.613 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.613 * [backup-simplify]: Simplify 0 into 0 8.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.614 * [backup-simplify]: Simplify 0 into 0 8.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.617 * [backup-simplify]: Simplify 0 into 0 8.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.619 * [backup-simplify]: Simplify 0 into 0 8.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.622 * [backup-simplify]: Simplify 0 into 0 8.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.625 * [backup-simplify]: Simplify 0 into 0 8.625 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 8.625 * [backup-simplify]: Simplify (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 3)) 8.625 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 8.626 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 8.626 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 8.626 * [taylor]: Taking taylor expansion of d1 in d1 8.626 * [backup-simplify]: Simplify 0 into 0 8.626 * [backup-simplify]: Simplify 1 into 1 8.626 * [backup-simplify]: Simplify (* 1 1) into 1 8.626 * [backup-simplify]: Simplify (* 1 1) into 1 8.627 * [backup-simplify]: Simplify (/ 1 1) into 1 8.627 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 8.627 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 8.627 * [taylor]: Taking taylor expansion of d1 in d1 8.627 * [backup-simplify]: Simplify 0 into 0 8.627 * [backup-simplify]: Simplify 1 into 1 8.628 * [backup-simplify]: Simplify (* 1 1) into 1 8.628 * [backup-simplify]: Simplify (* 1 1) into 1 8.628 * [backup-simplify]: Simplify (/ 1 1) into 1 8.628 * [backup-simplify]: Simplify 1 into 1 8.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.630 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.631 * [backup-simplify]: Simplify 0 into 0 8.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.633 * [backup-simplify]: Simplify 0 into 0 8.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.636 * [backup-simplify]: Simplify 0 into 0 8.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.637 * [backup-simplify]: Simplify 0 into 0 8.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.640 * [backup-simplify]: Simplify 0 into 0 8.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.642 * [backup-simplify]: Simplify 0 into 0 8.642 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 8.642 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 3)) 8.642 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 8.642 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 8.642 * [taylor]: Taking taylor expansion of -1 in d1 8.642 * [backup-simplify]: Simplify -1 into -1 8.642 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 8.642 * [taylor]: Taking taylor expansion of d1 in d1 8.642 * [backup-simplify]: Simplify 0 into 0 8.642 * [backup-simplify]: Simplify 1 into 1 8.642 * [backup-simplify]: Simplify (* 1 1) into 1 8.643 * [backup-simplify]: Simplify (* 1 1) into 1 8.643 * [backup-simplify]: Simplify (/ -1 1) into -1 8.643 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 8.643 * [taylor]: Taking taylor expansion of -1 in d1 8.643 * [backup-simplify]: Simplify -1 into -1 8.643 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 8.643 * [taylor]: Taking taylor expansion of d1 in d1 8.643 * [backup-simplify]: Simplify 0 into 0 8.643 * [backup-simplify]: Simplify 1 into 1 8.643 * [backup-simplify]: Simplify (* 1 1) into 1 8.643 * [backup-simplify]: Simplify (* 1 1) into 1 8.644 * [backup-simplify]: Simplify (/ -1 1) into -1 8.644 * [backup-simplify]: Simplify -1 into -1 8.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.645 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.645 * [backup-simplify]: Simplify 0 into 0 8.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.647 * [backup-simplify]: Simplify 0 into 0 8.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.649 * [backup-simplify]: Simplify 0 into 0 8.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.651 * [backup-simplify]: Simplify 0 into 0 8.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.653 * [backup-simplify]: Simplify 0 into 0 8.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.655 * [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 8.655 * [backup-simplify]: Simplify 0 into 0 8.655 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 8.655 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.655 * [backup-simplify]: Simplify (* (* (* d1 d1) d1) d1) into (pow d1 4) 8.655 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 8.655 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 8.655 * [taylor]: Taking taylor expansion of d1 in d1 8.655 * [backup-simplify]: Simplify 0 into 0 8.655 * [backup-simplify]: Simplify 1 into 1 8.655 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 8.655 * [taylor]: Taking taylor expansion of d1 in d1 8.655 * [backup-simplify]: Simplify 0 into 0 8.655 * [backup-simplify]: Simplify 1 into 1 8.656 * [backup-simplify]: Simplify (* 1 1) into 1 8.656 * [backup-simplify]: Simplify (* 1 1) into 1 8.656 * [backup-simplify]: Simplify 1 into 1 8.656 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.657 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.657 * [backup-simplify]: Simplify 0 into 0 8.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.658 * [backup-simplify]: Simplify 0 into 0 8.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.659 * [backup-simplify]: Simplify 0 into 0 8.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.661 * [backup-simplify]: Simplify 0 into 0 8.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.662 * [backup-simplify]: Simplify 0 into 0 8.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.664 * [backup-simplify]: Simplify 0 into 0 8.664 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 8.664 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 4)) 8.664 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 8.664 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 8.664 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 8.664 * [taylor]: Taking taylor expansion of d1 in d1 8.664 * [backup-simplify]: Simplify 0 into 0 8.664 * [backup-simplify]: Simplify 1 into 1 8.665 * [backup-simplify]: Simplify (* 1 1) into 1 8.665 * [backup-simplify]: Simplify (* 1 1) into 1 8.665 * [backup-simplify]: Simplify (/ 1 1) into 1 8.665 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 8.665 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 8.665 * [taylor]: Taking taylor expansion of d1 in d1 8.665 * [backup-simplify]: Simplify 0 into 0 8.665 * [backup-simplify]: Simplify 1 into 1 8.666 * [backup-simplify]: Simplify (* 1 1) into 1 8.666 * [backup-simplify]: Simplify (* 1 1) into 1 8.666 * [backup-simplify]: Simplify (/ 1 1) into 1 8.666 * [backup-simplify]: Simplify 1 into 1 8.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.667 * [backup-simplify]: Simplify 0 into 0 8.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.669 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.671 * [backup-simplify]: Simplify 0 into 0 8.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.673 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.675 * [backup-simplify]: Simplify 0 into 0 8.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 8.677 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 8.677 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 8.677 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 8.677 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 8.678 * [taylor]: Taking taylor expansion of d1 in d1 8.678 * [backup-simplify]: Simplify 0 into 0 8.678 * [backup-simplify]: Simplify 1 into 1 8.678 * [backup-simplify]: Simplify (* 1 1) into 1 8.678 * [backup-simplify]: Simplify (* 1 1) into 1 8.678 * [backup-simplify]: Simplify (/ 1 1) into 1 8.678 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 8.678 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 8.678 * [taylor]: Taking taylor expansion of d1 in d1 8.678 * [backup-simplify]: Simplify 0 into 0 8.678 * [backup-simplify]: Simplify 1 into 1 8.679 * [backup-simplify]: Simplify (* 1 1) into 1 8.679 * [backup-simplify]: Simplify (* 1 1) into 1 8.679 * [backup-simplify]: Simplify (/ 1 1) into 1 8.679 * [backup-simplify]: Simplify 1 into 1 8.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.680 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.680 * [backup-simplify]: Simplify 0 into 0 8.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.682 * [backup-simplify]: Simplify 0 into 0 8.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.684 * [backup-simplify]: Simplify 0 into 0 8.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.688 * [backup-simplify]: Simplify 0 into 0 8.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.690 * [backup-simplify]: Simplify 0 into 0 8.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.692 * [backup-simplify]: Simplify 0 into 0 8.692 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 8.693 * * * [progress]: simplifying candidates 8.694 * [simplify]: Simplifying: (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* d1 d1) d1) (* (* d1 d1) d1) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log d1) (log d1)) (log d1)) (+ (log (* d1 d1)) (log 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)) (* d1 (sqrt d1)) (* d1 (sqrt d1)) (* (* d1 d1) (* (cbrt d1) (cbrt d1))) (* (* d1 d1) (sqrt d1)) (* (* d1 d1) 1) (* d1 d1) (+ (+ (+ 1 1) 1) 1) (+ (+ 2 1) 1) (+ (+ (+ 1 1) 1) 1) (+ (+ (* 2 1) 1) 1) (+ 3 1) (+ (+ (+ 1 1) 1) 1) (+ (+ 2 1) 1) (+ (+ (+ 1 1) 1) 1) (+ (+ (* 2 1) 1) 1) (* (* (* d1 d1) d1) d1) (* (* (* d1 d1) d1) d1) (* (* (* d1 d1) d1) d1) (+ (+ (+ 1 1) 1) 1) (+ (+ 2 1) 1) (+ (+ (+ 1 1) 1) 1) (+ (+ (* 2 1) 1) 1) (+ 3 1) (+ (+ (+ 1 1) 1) 1) (+ (+ 2 1) 1) (+ (+ (+ 1 1) 1) 1) (+ (+ (* 2 1) 1) 1) (+ (+ (+ (log d1) (log d1)) (log d1)) (log d1)) (+ (+ (log (* d1 d1)) (log 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) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 4) (pow d1 4) (pow d1 4) 8.695 * * [simplify]: Extracting # 0 : cost 39 inf + 0 8.695 * * [simplify]: Extracting # 1 : cost 54 inf + 0 8.695 * * [simplify]: Extracting # 2 : cost 47 inf + 209 8.695 * * [simplify]: Extracting # 3 : cost 15 inf + 4260 8.696 * * [simplify]: Extracting # 4 : cost 1 inf + 7015 8.696 * * [simplify]: Extracting # 5 : cost 0 inf + 7216 8.697 * * [simplify]: iteration 0 : 56 enodes (cost 9913 ) 8.716 * * [simplify]: Extracting # 0 : cost 0 inf + 7216 8.717 * * [simplify]: Extracting # 1 : cost 24 inf + 5949 8.719 * * [simplify]: Extracting # 2 : cost 2 inf + 9328 8.720 * * [simplify]: Extracting # 3 : cost 1 inf + 8963 8.722 * * [simplify]: Extracting # 4 : cost 0 inf + 9175 8.724 * * [simplify]: iteration 1 : 146 enodes (cost 6174 ) 8.815 * * [simplify]: Extracting # 0 : cost 0 inf + 9175 8.817 * * [simplify]: Extracting # 1 : cost 61 inf + 8272 8.821 * * [simplify]: Extracting # 2 : cost 6 inf + 18771 8.825 * * [simplify]: Extracting # 3 : cost 2 inf + 19063 8.829 * * [simplify]: Extracting # 4 : cost 0 inf + 19677 8.833 * * [simplify]: iteration 2 : 358 enodes (cost 4988 ) 9.047 * * [simplify]: Extracting # 0 : cost 0 inf + 19677 9.063 * * [simplify]: Extracting # 1 : cost 163 inf + 18918 9.087 * * [simplify]: Extracting # 2 : cost 18 inf + 55284 9.116 * * [simplify]: Extracting # 3 : cost 3 inf + 58056 9.145 * * [simplify]: Extracting # 4 : cost 0 inf + 59273 9.174 * * [simplify]: iteration 3 : 1032 enodes (cost 4948 ) 10.995 * * [simplify]: Extracting # 0 : cost 0 inf + 59273 11.032 * * [simplify]: Extracting # 1 : cost 343 inf + 54625 11.081 * * [simplify]: Extracting # 2 : cost 35 inf + 147373 11.154 * * [simplify]: Extracting # 3 : cost 8 inf + 149031 11.223 * * [simplify]: Extracting # 4 : cost 0 inf + 151890 11.289 * * [simplify]: iteration 4 : 3247 enodes (cost 4948 ) 12.473 * * [simplify]: Extracting # 0 : cost 0 inf + 151890 12.529 * * [simplify]: Extracting # 1 : cost 803 inf + 149545 12.615 * * [simplify]: Extracting # 2 : cost 62 inf + 373536 12.713 * * [simplify]: Extracting # 3 : cost 16 inf + 380014 12.820 * * [simplify]: Extracting # 4 : cost 0 inf + 384583 12.929 * * [simplify]: iteration complete: 5003 enodes (cost 4948 ) 12.929 * [simplify]: Simplified to: 3 3 3 3 (* d1 (* d1 d1)) (* d1 (* d1 d1)) 3 3 3 3 (* 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 (cbrt d1)) (* d1 (cbrt d1))) (* (* d1 d1) (sqrt d1)) (* d1 d1) (* d1 d1) 4 4 4 4 4 4 4 4 4 (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) 4 4 4 4 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 (* (* d1 (cbrt d1)) (* d1 (cbrt 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)) 12.931 * * * [progress]: adding candidates to table 13.025 * * [progress]: iteration 2 / 4 13.025 * * * [progress]: picking best candidate 13.028 * * * * [pick]: Picked # 13.028 * * * [progress]: localizing error 13.031 * * * [progress]: generating rewritten candidates 13.031 * * * [progress]: generating series expansions 13.031 * * * [progress]: simplifying candidates 13.032 * [simplify]: Simplifying: 13.032 * * [simplify]: Extracting # 0 : cost 0 inf + 0 13.032 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 13.032 * * [simplify]: Extracting # 0 : cost 0 inf + 0 13.032 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 13.032 * [simplify]: Simplified to: 13.032 * * * [progress]: adding candidates to table 13.032 * [progress]: [Phase 3 of 3] Extracting. 13.035 * [simplify]: Simplifying: (pow d1 4) 13.035 * * [simplify]: Extracting # 0 : cost 1 inf + 0 13.035 * * [simplify]: Extracting # 1 : cost 3 inf + 0 13.035 * * [simplify]: Extracting # 2 : cost 1 inf + 2 13.035 * * [simplify]: Extracting # 3 : cost 0 inf + 214 13.035 * * [simplify]: iteration 0 : 3 enodes (cost 212 ) 13.035 * * [simplify]: Extracting # 0 : cost 0 inf + 214 13.036 * * [simplify]: iteration complete: 3 enodes (cost 212 ) 13.036 * [simplify]: Simplified to: (pow d1 4) 13.872 * [regime-testing]: Baseline error score: 0 13.881 * [regime-testing]: Oracle error score: 0 13.881 * [regime-testing]: End program error score: 0 13.959 * [regime-testing]: Target error score: 0