16.496 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) 0.017 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 0.018 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.021 * * [simplify]: iteration 2 : 43 enodes (cost 7 ) 0.025 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 0.035 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 0.042 * * [simplify]: iteration 5 : 73 enodes (cost 7 ) 0.050 * * [simplify]: iteration done : 73 enodes (cost 7 ) 0.050 * [simplify]: Simplified to: (* d1 (+ 20.0 (+ 10.0 d2))) 0.052 * * [progress]: iteration 1 / 4 0.052 * * * [progress]: picking best candidate 0.054 * * * * [pick]: Picked # 0.054 * * * [progress]: localizing error 0.059 * * * [progress]: generating rewritten candidates 0.059 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.067 * * * [progress]: generating series expansions 0.067 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.067 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 0.067 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.067 * [taylor]: Taking taylor expansion of d2 in d2 0.067 * [taylor]: Taking taylor expansion of 30.0 in d2 0.067 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.067 * [taylor]: Taking taylor expansion of d2 in d2 0.067 * [taylor]: Taking taylor expansion of 30.0 in d2 0.069 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 0.069 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.069 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.070 * [taylor]: Taking taylor expansion of d2 in d2 0.070 * [taylor]: Taking taylor expansion of 30.0 in d2 0.070 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.070 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.070 * [taylor]: Taking taylor expansion of d2 in d2 0.070 * [taylor]: Taking taylor expansion of 30.0 in d2 0.076 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 0.076 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.076 * [taylor]: Taking taylor expansion of 30.0 in d2 0.076 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.076 * [taylor]: Taking taylor expansion of d2 in d2 0.076 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.076 * [taylor]: Taking taylor expansion of 30.0 in d2 0.076 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.076 * [taylor]: Taking taylor expansion of d2 in d2 0.084 * * * [progress]: simplifying candidates 0.084 * [simplify]: Simplifying using # : (expm1 (+ 20.0 (+ 10.0 d2))) (log1p (+ 20.0 (+ 10.0 d2))) (* (exp 20.0) (* (exp 10.0) (exp d2))) (* (exp 20.0) (exp (+ 10.0 d2))) (log (+ 20.0 (+ 10.0 d2))) (exp (+ 20.0 (+ 10.0 d2))) (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2))) (* (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))) (+ 20.0 (+ 10.0 d2))) (sqrt (+ 20.0 (+ 10.0 d2))) (sqrt (+ 20.0 (+ 10.0 d2))) (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2)))) (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))) (- 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2)) (+ 20.0 10.0) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) 0.085 * * [simplify]: iteration 0 : 35 enodes (cost 151 ) 0.091 * * [simplify]: iteration 1 : 100 enodes (cost 143 ) 0.109 * * [simplify]: iteration 2 : 276 enodes (cost 133 ) 0.171 * * [simplify]: iteration 3 : 1006 enodes (cost 133 ) 0.479 * * [simplify]: iteration 4 : 4975 enodes (cost 133 ) 1.609 * * [simplify]: iteration done : 5000 enodes (cost 133 ) 1.610 * [simplify]: Simplified to: (expm1 (+ 20.0 (+ 10.0 d2))) (log1p (+ 20.0 (+ 10.0 d2))) (exp (+ 20.0 (+ 10.0 d2))) (exp (+ 20.0 (+ 10.0 d2))) (log (+ 20.0 (+ 10.0 d2))) (exp (+ 20.0 (+ 10.0 d2))) (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2))) (pow (+ 20.0 (+ 10.0 d2)) 3) (sqrt (+ 20.0 (+ 10.0 d2))) (sqrt (+ 20.0 (+ 10.0 d2))) (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (fma 20.0 20.0 (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))) (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))) (- 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2)) (+ 20.0 10.0) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) 1.610 * * * [progress]: adding candidates to table 1.654 * * [progress]: iteration 2 / 4 1.654 * * * [progress]: picking best candidate 1.657 * * * * [pick]: Picked # 1.657 * * * [progress]: localizing error 1.664 * * * [progress]: generating rewritten candidates 1.664 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 1.665 * * * [progress]: generating series expansions 1.665 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 1.665 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in (d2) around 0 1.666 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in d2 1.666 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ d2 10.0)) 1.666 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.666 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.666 * [taylor]: Taking taylor expansion of 20.0 in d2 1.666 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.667 * [taylor]: Taking taylor expansion of 20.0 in d2 1.667 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2 1.668 * [taylor]: Taking taylor expansion of d2 in d2 1.668 * [taylor]: Taking taylor expansion of 10.0 in d2 1.668 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in d2 1.668 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ d2 10.0)) 1.668 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.668 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.668 * [taylor]: Taking taylor expansion of 20.0 in d2 1.668 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.669 * [taylor]: Taking taylor expansion of 20.0 in d2 1.669 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2 1.669 * [taylor]: Taking taylor expansion of d2 in d2 1.669 * [taylor]: Taking taylor expansion of 10.0 in d2 1.694 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in (d2) around 0 1.694 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in d2 1.695 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ (/ 1 d2) 10.0)) 1.695 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.695 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.695 * [taylor]: Taking taylor expansion of 20.0 in d2 1.695 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.695 * [taylor]: Taking taylor expansion of 20.0 in d2 1.696 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2 1.696 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.696 * [taylor]: Taking taylor expansion of d2 in d2 1.696 * [taylor]: Taking taylor expansion of 10.0 in d2 1.696 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in d2 1.697 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ (/ 1 d2) 10.0)) 1.697 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.697 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.697 * [taylor]: Taking taylor expansion of 20.0 in d2 1.697 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.697 * [taylor]: Taking taylor expansion of 20.0 in d2 1.698 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2 1.698 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.698 * [taylor]: Taking taylor expansion of d2 in d2 1.698 * [taylor]: Taking taylor expansion of 10.0 in d2 1.721 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in (d2) around 0 1.721 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in d2 1.721 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (- 10.0 (/ 1 d2))) 1.721 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.721 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.721 * [taylor]: Taking taylor expansion of 20.0 in d2 1.722 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.722 * [taylor]: Taking taylor expansion of 20.0 in d2 1.722 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2 1.723 * [taylor]: Taking taylor expansion of 10.0 in d2 1.723 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.723 * [taylor]: Taking taylor expansion of d2 in d2 1.723 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in d2 1.723 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (- 10.0 (/ 1 d2))) 1.723 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.723 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.723 * [taylor]: Taking taylor expansion of 20.0 in d2 1.724 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.724 * [taylor]: Taking taylor expansion of 20.0 in d2 1.724 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2 1.724 * [taylor]: Taking taylor expansion of 10.0 in d2 1.724 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.724 * [taylor]: Taking taylor expansion of d2 in d2 1.749 * * * [progress]: simplifying candidates 1.750 * [simplify]: Simplifying using # : (expm1 (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (log1p (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (* (sqrt 20.0) (sqrt 20.0)) (log (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (exp (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (* (cbrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (cbrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))) (cbrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (* (* (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)) (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (sqrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (sqrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (+ (pow (sqrt 20.0) 2) (+ d2 10.0)) (+ (pow (sqrt 20.0) 2) (+ d2 10.0)) (+ (pow (sqrt 20.0) 2) (+ d2 10.0)) 1.751 * * [simplify]: iteration 0 : 20 enodes (cost 137 ) 1.753 * * [simplify]: iteration 1 : 28 enodes (cost 88 ) 1.759 * * [simplify]: iteration 2 : 86 enodes (cost 78 ) 1.785 * * [simplify]: iteration 3 : 338 enodes (cost 78 ) 1.901 * * [simplify]: iteration 4 : 1641 enodes (cost 78 ) 2.427 * * [simplify]: iteration done : 5001 enodes (cost 78 ) 2.428 * [simplify]: Simplified to: (expm1 (+ (+ 10.0 d2) 20.0)) (log1p (+ (+ 10.0 d2) 20.0)) 20.0 (log (+ (+ 10.0 d2) 20.0)) (exp (+ (+ 10.0 d2) 20.0)) (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (+ (+ 10.0 d2) 20.0)) (pow (+ (+ 10.0 d2) 20.0) 3) (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0) 2.428 * * * [progress]: adding candidates to table 2.455 * * [progress]: iteration 3 / 4 2.455 * * * [progress]: picking best candidate 2.457 * * * * [pick]: Picked # 2.457 * * * [progress]: localizing error 2.465 * * * [progress]: generating rewritten candidates 2.465 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 2.481 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 2.503 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1) 2.520 * * * [progress]: generating series expansions 2.520 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 2.520 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 2.520 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.520 * [taylor]: Taking taylor expansion of d2 in d2 2.520 * [taylor]: Taking taylor expansion of 30.0 in d2 2.520 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.520 * [taylor]: Taking taylor expansion of d2 in d2 2.520 * [taylor]: Taking taylor expansion of 30.0 in d2 2.523 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 2.523 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.523 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.523 * [taylor]: Taking taylor expansion of d2 in d2 2.523 * [taylor]: Taking taylor expansion of 30.0 in d2 2.523 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.523 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.523 * [taylor]: Taking taylor expansion of d2 in d2 2.524 * [taylor]: Taking taylor expansion of 30.0 in d2 2.529 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 2.529 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.529 * [taylor]: Taking taylor expansion of 30.0 in d2 2.529 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.529 * [taylor]: Taking taylor expansion of d2 in d2 2.530 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.530 * [taylor]: Taking taylor expansion of 30.0 in d2 2.530 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.530 * [taylor]: Taking taylor expansion of d2 in d2 2.537 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 2.537 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 3) in (d2) around 0 2.537 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2 2.537 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.537 * [taylor]: Taking taylor expansion of d2 in d2 2.537 * [taylor]: Taking taylor expansion of 30.0 in d2 2.538 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2 2.538 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.538 * [taylor]: Taking taylor expansion of d2 in d2 2.538 * [taylor]: Taking taylor expansion of 30.0 in d2 2.544 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in (d2) around 0 2.544 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2 2.544 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.544 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.544 * [taylor]: Taking taylor expansion of d2 in d2 2.544 * [taylor]: Taking taylor expansion of 30.0 in d2 2.545 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2 2.545 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.545 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.545 * [taylor]: Taking taylor expansion of d2 in d2 2.545 * [taylor]: Taking taylor expansion of 30.0 in d2 2.553 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in (d2) around 0 2.553 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2 2.553 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.553 * [taylor]: Taking taylor expansion of 30.0 in d2 2.553 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.553 * [taylor]: Taking taylor expansion of d2 in d2 2.554 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2 2.554 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.554 * [taylor]: Taking taylor expansion of 30.0 in d2 2.554 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.554 * [taylor]: Taking taylor expansion of d2 in d2 2.564 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1) 2.564 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 2.564 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.564 * [taylor]: Taking taylor expansion of d2 in d2 2.564 * [taylor]: Taking taylor expansion of 30.0 in d2 2.564 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.564 * [taylor]: Taking taylor expansion of d2 in d2 2.564 * [taylor]: Taking taylor expansion of 30.0 in d2 2.566 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 2.566 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.566 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.566 * [taylor]: Taking taylor expansion of d2 in d2 2.566 * [taylor]: Taking taylor expansion of 30.0 in d2 2.567 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.567 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.567 * [taylor]: Taking taylor expansion of d2 in d2 2.567 * [taylor]: Taking taylor expansion of 30.0 in d2 2.572 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 2.572 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.572 * [taylor]: Taking taylor expansion of 30.0 in d2 2.572 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.572 * [taylor]: Taking taylor expansion of d2 in d2 2.573 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.573 * [taylor]: Taking taylor expansion of 30.0 in d2 2.573 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.573 * [taylor]: Taking taylor expansion of d2 in d2 2.585 * * * [progress]: simplifying candidates 2.586 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (log1p (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (log (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (exp (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3)) (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3)) (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)) (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0))) (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (* (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))) (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3)) (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3)) (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)) (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0))) (cbrt (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt 1) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) (/ 3 2))) (cbrt (pow (+ (+ 10.0 d2) 20.0) (/ 3 2))) (cbrt (pow (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) 3)) (cbrt (pow (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))) 3)) (cbrt (pow (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) 3)) (cbrt (pow (- (+ 10.0 d2) 20.0) 3)) (* (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))) (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (* (* (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (sqrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (sqrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (expm1 (pow (+ (+ 10.0 d2) 20.0) 3)) (log1p (pow (+ (+ 10.0 d2) 20.0) 3)) (* (log (+ (+ 10.0 d2) 20.0)) 3) (* (log (+ (+ 10.0 d2) 20.0)) 3) (* 1 3) (pow (+ (+ 10.0 d2) 20.0) (* (cbrt 3) (cbrt 3))) (pow (+ (+ 10.0 d2) 20.0) (sqrt 3)) (pow (+ (+ 10.0 d2) 20.0) 1) (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) (pow 1 3) (pow (+ (+ 10.0 d2) 20.0) 3) (pow 1 3) (pow (+ (+ 10.0 d2) 20.0) 3) (pow 1 3) (pow (+ (+ 10.0 d2) 20.0) 3) (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (log (pow (+ (+ 10.0 d2) 20.0) 3)) (exp (pow (+ (+ 10.0 d2) 20.0) 3)) (* (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (* (* (pow (+ (+ 10.0 d2) 20.0) 3) (pow (+ (+ 10.0 d2) 20.0) 3)) (pow (+ (+ 10.0 d2) 20.0) 3)) (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) (pow 1 3) (pow (+ (+ 10.0 d2) 20.0) 3) (pow 1 3) (pow (+ (+ 10.0 d2) 20.0) 3) (pow 1 3) (pow (+ (+ 10.0 d2) 20.0) 3) (pow (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) 3) (pow (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))) 3) (pow (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) 3) (pow (- (+ 10.0 d2) 20.0) 3) (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (sqrt (pow (+ (+ 10.0 d2) 20.0) 3)) (sqrt (pow (+ (+ 10.0 d2) 20.0) 3)) (pow (+ (+ 10.0 d2) 20.0) (/ 3 2)) (pow (+ (+ 10.0 d2) 20.0) (/ 3 2)) (expm1 (+ (+ 10.0 d2) 20.0)) (log1p (+ (+ 10.0 d2) 20.0)) (* (* (exp 10.0) (exp d2)) (exp 20.0)) (* (exp (+ 10.0 d2)) (exp 20.0)) (log (+ (+ 10.0 d2) 20.0)) (exp (+ (+ 10.0 d2) 20.0)) (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (+ (+ 10.0 d2) 20.0)) (* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) (- (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0) (+ d2 20.0) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) (+ 27000.0 (+ (* 2700.0 d2) (* 90.0 (pow d2 2)))) (+ (* 2700.0 d2) (+ (pow d2 3) (* 90.0 (pow d2 2)))) (+ (* 2700.0 d2) (+ (pow d2 3) (* 90.0 (pow d2 2)))) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) 2.589 * * [simplify]: iteration 0 : 97 enodes (cost 997 ) 2.608 * * [simplify]: iteration 1 : 246 enodes (cost 782 ) 2.671 * * [simplify]: iteration 2 : 942 enodes (cost 726 ) 3.003 * * [simplify]: iteration done : 5000 enodes (cost 720 ) 3.004 * [simplify]: Simplified to: (expm1 (+ (+ 10.0 d2) 20.0)) (log1p (+ (+ 10.0 d2) 20.0)) (log (+ (+ 10.0 d2) 20.0)) (exp (+ (+ 10.0 d2) 20.0)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 2)) (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) 1 (+ (+ 10.0 d2) 20.0) 1 (+ (+ 10.0 d2) 20.0) 1 (+ (+ 10.0 d2) 20.0) (cbrt (pow (+ (+ 10.0 d2) 20.0) 2)) (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 2)) (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 2)) (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) 1 (+ (+ 10.0 d2) 20.0) 1 (+ (+ 10.0 d2) 20.0) 1 (+ (+ 10.0 d2) 20.0) (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 2)) (cbrt (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))) 1 (+ (+ 10.0 d2) 20.0) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3/2)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3/2)) (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) (- (+ 10.0 d2) 20.0) (cbrt (pow (+ (+ 10.0 d2) 20.0) 2)) (cbrt (+ (+ 10.0 d2) 20.0)) (pow (+ (+ 10.0 d2) 20.0) 3) (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) (expm1 (pow (+ (+ 10.0 d2) 20.0) 3)) (log1p (pow (+ (+ 10.0 d2) 20.0) 3)) (log (pow (+ (+ 10.0 d2) 20.0) 3)) (log (pow (+ (+ 10.0 d2) 20.0) 3)) 3 (pow (+ (+ 10.0 d2) 20.0) (* (cbrt 3) (cbrt 3))) (pow (+ (+ 10.0 d2) 20.0) (sqrt 3)) (+ (+ 10.0 d2) 20.0) (pow (+ (+ 10.0 d2) 20.0) 2) (+ (+ 10.0 d2) 20.0) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) 1 (pow (+ (+ 10.0 d2) 20.0) 3) 1 (pow (+ (+ 10.0 d2) 20.0) 3) 1 (pow (+ (+ 10.0 d2) 20.0) 3) (pow (+ (+ 10.0 d2) 20.0) 2) (log (pow (+ (+ 10.0 d2) 20.0) 3)) (exp (pow (+ (+ 10.0 d2) 20.0) 3)) (pow (+ (+ 10.0 d2) 20.0) 2) (+ (+ 10.0 d2) 20.0) (pow (pow (+ (+ 10.0 d2) 20.0) 3) 3) (pow (+ (+ 10.0 d2) 20.0) 2) (+ (+ 10.0 d2) 20.0) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3) 1 (pow (+ (+ 10.0 d2) 20.0) 3) 1 (pow (+ (+ 10.0 d2) 20.0) 3) 1 (pow (+ (+ 10.0 d2) 20.0) 3) (pow (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) 3) (pow (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))) 3) (pow (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) 3) (pow (- (+ 10.0 d2) 20.0) 3) (pow (+ (+ 10.0 d2) 20.0) 2) (sqrt (pow (+ (+ 10.0 d2) 20.0) 3)) (sqrt (pow (+ (+ 10.0 d2) 20.0) 3)) (pow (+ (+ 10.0 d2) 20.0) 3/2) (pow (+ (+ 10.0 d2) 20.0) 3/2) (expm1 (+ (+ 10.0 d2) 20.0)) (log1p (+ (+ 10.0 d2) 20.0)) (exp (+ (+ 10.0 d2) 20.0)) (exp (+ (+ 10.0 d2) 20.0)) (log (+ (+ 10.0 d2) 20.0)) (exp (+ (+ 10.0 d2) 20.0)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 2)) (cbrt (+ (+ 10.0 d2) 20.0)) (pow (+ (+ 10.0 d2) 20.0) 3) (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt (+ (+ 10.0 d2) 20.0)) (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) (- (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0) (+ d2 20.0) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) (+ (* d2 (+ (* 90.0 d2) 2700.0)) 27000.0) (fma d2 2700.0 (* (pow d2 2) (+ d2 90.0))) (fma d2 2700.0 (* (pow d2 2) (+ d2 90.0))) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) 3.005 * * * [progress]: adding candidates to table 3.151 * [progress]: [Phase 3 of 3] Extracting. 3.151 * * [regime]: Finding splitpoints for: (# # #) 3.151 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1) 3.151 * * * * [regimes]: Trying to branch on d2 from (# # #) 3.165 * * * * [regimes]: Trying to branch on d1 from (# # #) 3.178 * * * [regime]: Found split indices: #