27.296 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [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.026 * * [simplify]: iteration 3 : 65 enodes (cost 7 ) 0.033 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 0.039 * * [simplify]: iteration 5 : 70 enodes (cost 7 ) 0.046 * * [simplify]: iteration done : 70 enodes (cost 7 ) 0.046 * [simplify]: Simplified to: (* d1 (+ 20.0 (+ 10.0 d2))) 0.049 * * [progress]: iteration 1 / 4 0.049 * * * [progress]: picking best candidate 0.055 * * * * [pick]: Picked # 0.055 * * * [progress]: localizing error 0.060 * * * [progress]: generating rewritten candidates 0.060 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.068 * * * [progress]: generating series expansions 0.068 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.068 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 0.068 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.068 * [taylor]: Taking taylor expansion of d2 in d2 0.068 * [taylor]: Taking taylor expansion of 30.0 in d2 0.068 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.068 * [taylor]: Taking taylor expansion of d2 in d2 0.068 * [taylor]: Taking taylor expansion of 30.0 in d2 0.071 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.071 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.071 * [taylor]: Taking taylor expansion of d2 in d2 0.071 * [taylor]: Taking taylor expansion of 30.0 in d2 0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.071 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.071 * [taylor]: Taking taylor expansion of d2 in d2 0.072 * [taylor]: Taking taylor expansion of 30.0 in d2 0.077 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 0.078 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.078 * [taylor]: Taking taylor expansion of 30.0 in d2 0.078 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.078 * [taylor]: Taking taylor expansion of d2 in d2 0.078 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.078 * [taylor]: Taking taylor expansion of 30.0 in d2 0.078 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.078 * [taylor]: Taking taylor expansion of d2 in d2 0.085 * * * [progress]: simplifying candidates 0.086 * [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.087 * * [simplify]: iteration 0 : 35 enodes (cost 151 ) 0.093 * * [simplify]: iteration 1 : 100 enodes (cost 143 ) 0.109 * * [simplify]: iteration 2 : 275 enodes (cost 133 ) 0.174 * * [simplify]: iteration 3 : 994 enodes (cost 133 ) 0.543 * * [simplify]: iteration 4 : 4876 enodes (cost 133 ) 1.856 * * [simplify]: iteration done : 5000 enodes (cost 133 ) 1.856 * [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.856 * * * [progress]: adding candidates to table 1.901 * * [progress]: iteration 2 / 4 1.901 * * * [progress]: picking best candidate 1.905 * * * * [pick]: Picked # 1.905 * * * [progress]: localizing error 1.911 * * * [progress]: generating rewritten candidates 1.911 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 1.912 * * * [progress]: generating series expansions 1.912 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 1.913 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in (d2) around 0 1.913 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in d2 1.913 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ d2 10.0)) 1.913 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.913 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.913 * [taylor]: Taking taylor expansion of 20.0 in d2 1.914 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.914 * [taylor]: Taking taylor expansion of 20.0 in d2 1.915 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2 1.915 * [taylor]: Taking taylor expansion of d2 in d2 1.915 * [taylor]: Taking taylor expansion of 10.0 in d2 1.915 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in d2 1.915 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ d2 10.0)) 1.915 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.915 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.915 * [taylor]: Taking taylor expansion of 20.0 in d2 1.915 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.915 * [taylor]: Taking taylor expansion of 20.0 in d2 1.916 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2 1.916 * [taylor]: Taking taylor expansion of d2 in d2 1.916 * [taylor]: Taking taylor expansion of 10.0 in d2 1.940 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in (d2) around 0 1.941 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in d2 1.941 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ (/ 1 d2) 10.0)) 1.941 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.941 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.941 * [taylor]: Taking taylor expansion of 20.0 in d2 1.941 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.941 * [taylor]: Taking taylor expansion of 20.0 in d2 1.942 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2 1.942 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.942 * [taylor]: Taking taylor expansion of d2 in d2 1.942 * [taylor]: Taking taylor expansion of 10.0 in d2 1.942 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in d2 1.943 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ (/ 1 d2) 10.0)) 1.943 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.943 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.943 * [taylor]: Taking taylor expansion of 20.0 in d2 1.943 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.943 * [taylor]: Taking taylor expansion of 20.0 in d2 1.944 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2 1.944 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.944 * [taylor]: Taking taylor expansion of d2 in d2 1.944 * [taylor]: Taking taylor expansion of 10.0 in d2 1.967 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in (d2) around 0 1.967 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in d2 1.967 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (- 10.0 (/ 1 d2))) 1.967 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.967 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.967 * [taylor]: Taking taylor expansion of 20.0 in d2 1.967 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.967 * [taylor]: Taking taylor expansion of 20.0 in d2 1.968 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2 1.968 * [taylor]: Taking taylor expansion of 10.0 in d2 1.968 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.968 * [taylor]: Taking taylor expansion of d2 in d2 1.968 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in d2 1.969 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (- 10.0 (/ 1 d2))) 1.969 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2 1.969 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.969 * [taylor]: Taking taylor expansion of 20.0 in d2 1.969 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2 1.969 * [taylor]: Taking taylor expansion of 20.0 in d2 1.970 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2 1.970 * [taylor]: Taking taylor expansion of 10.0 in d2 1.970 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.970 * [taylor]: Taking taylor expansion of d2 in d2 1.993 * * * [progress]: simplifying candidates 1.994 * [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.995 * * [simplify]: iteration 0 : 20 enodes (cost 137 ) 1.998 * * [simplify]: iteration 1 : 28 enodes (cost 88 ) 2.003 * * [simplify]: iteration 2 : 82 enodes (cost 78 ) 2.025 * * [simplify]: iteration 3 : 322 enodes (cost 78 ) 2.146 * * [simplify]: iteration 4 : 1596 enodes (cost 78 ) 2.725 * * [simplify]: iteration done : 5000 enodes (cost 78 ) 2.726 * [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.726 * * * [progress]: adding candidates to table 2.754 * * [progress]: iteration 3 / 4 2.755 * * * [progress]: picking best candidate 2.756 * * * * [pick]: Picked # 2.757 * * * [progress]: localizing error 2.765 * * * [progress]: generating rewritten candidates 2.765 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 2.782 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 2.805 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1) 2.822 * * * [progress]: generating series expansions 2.822 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 2.822 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 2.822 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.822 * [taylor]: Taking taylor expansion of d2 in d2 2.822 * [taylor]: Taking taylor expansion of 30.0 in d2 2.822 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.822 * [taylor]: Taking taylor expansion of d2 in d2 2.822 * [taylor]: Taking taylor expansion of 30.0 in d2 2.825 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 2.825 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.825 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.825 * [taylor]: Taking taylor expansion of d2 in d2 2.825 * [taylor]: Taking taylor expansion of 30.0 in d2 2.825 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.825 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.825 * [taylor]: Taking taylor expansion of d2 in d2 2.825 * [taylor]: Taking taylor expansion of 30.0 in d2 2.831 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 2.831 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.831 * [taylor]: Taking taylor expansion of 30.0 in d2 2.831 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.831 * [taylor]: Taking taylor expansion of d2 in d2 2.831 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.831 * [taylor]: Taking taylor expansion of 30.0 in d2 2.831 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.831 * [taylor]: Taking taylor expansion of d2 in d2 2.839 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 2.839 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 3) in (d2) around 0 2.839 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2 2.839 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.839 * [taylor]: Taking taylor expansion of d2 in d2 2.839 * [taylor]: Taking taylor expansion of 30.0 in d2 2.840 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2 2.840 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.840 * [taylor]: Taking taylor expansion of d2 in d2 2.840 * [taylor]: Taking taylor expansion of 30.0 in d2 2.846 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in (d2) around 0 2.846 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2 2.846 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.846 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.846 * [taylor]: Taking taylor expansion of d2 in d2 2.846 * [taylor]: Taking taylor expansion of 30.0 in d2 2.847 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2 2.847 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.847 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.847 * [taylor]: Taking taylor expansion of d2 in d2 2.847 * [taylor]: Taking taylor expansion of 30.0 in d2 2.855 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in (d2) around 0 2.855 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2 2.855 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.855 * [taylor]: Taking taylor expansion of 30.0 in d2 2.855 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.855 * [taylor]: Taking taylor expansion of d2 in d2 2.856 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2 2.856 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.856 * [taylor]: Taking taylor expansion of 30.0 in d2 2.856 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.856 * [taylor]: Taking taylor expansion of d2 in d2 2.865 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1) 2.865 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 2.866 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.866 * [taylor]: Taking taylor expansion of d2 in d2 2.866 * [taylor]: Taking taylor expansion of 30.0 in d2 2.866 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 2.866 * [taylor]: Taking taylor expansion of d2 in d2 2.866 * [taylor]: Taking taylor expansion of 30.0 in d2 2.868 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 2.868 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.868 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.868 * [taylor]: Taking taylor expansion of d2 in d2 2.868 * [taylor]: Taking taylor expansion of 30.0 in d2 2.868 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 2.868 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.868 * [taylor]: Taking taylor expansion of d2 in d2 2.868 * [taylor]: Taking taylor expansion of 30.0 in d2 2.874 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 2.874 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.874 * [taylor]: Taking taylor expansion of 30.0 in d2 2.874 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.874 * [taylor]: Taking taylor expansion of d2 in d2 2.874 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 2.874 * [taylor]: Taking taylor expansion of 30.0 in d2 2.874 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.874 * [taylor]: Taking taylor expansion of d2 in d2 2.882 * * * [progress]: simplifying candidates 2.885 * [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.888 * * [simplify]: iteration 0 : 97 enodes (cost 997 ) 2.908 * * [simplify]: iteration 1 : 236 enodes (cost 782 ) 2.966 * * [simplify]: iteration 2 : 816 enodes (cost 726 ) 3.269 * * [simplify]: iteration done : 5000 enodes (cost 722 ) 3.270 * [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)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 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 (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 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)) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 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 (+ 2700.0 (* d2 90.0))) 27000.0) (fma d2 2700.0 (fma 90.0 (pow d2 2) (pow d2 3))) (fma d2 2700.0 (fma 90.0 (pow d2 2) (pow d2 3))) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) 3.271 * * * [progress]: adding candidates to table 3.417 * [progress]: [Phase 3 of 3] Extracting. 3.417 * * [regime]: Finding splitpoints for: (# # #) 3.418 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1) 3.418 * * * * [regimes]: Trying to branch on d2 from (# # #) 3.431 * * * * [regimes]: Trying to branch on d1 from (# # #) 3.446 * * * [regime]: Found split indices: #