282.827 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) 0.028 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 0.030 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 0.032 * * [simplify]: iteration 2 : 32 enodes (cost 7 ) 0.038 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 0.045 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 0.052 * * [simplify]: iteration done : 48 enodes (cost 7 ) 0.052 * [simplify]: Simplified to: (* d1 (+ (+ 10.0 d2) 20.0)) 0.056 * * [progress]: iteration 1 / 4 0.056 * * * [progress]: picking best candidate 0.060 * * * * [pick]: Picked # 0.060 * * * [progress]: localizing error 0.065 * * * [progress]: generating rewritten candidates 0.065 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.073 * * * [progress]: generating series expansions 0.073 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.073 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 0.073 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.073 * [taylor]: Taking taylor expansion of d2 in d2 0.073 * [taylor]: Taking taylor expansion of 30.0 in d2 0.073 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 0.073 * [taylor]: Taking taylor expansion of d2 in d2 0.073 * [taylor]: Taking taylor expansion of 30.0 in d2 0.073 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 0.073 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.073 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.073 * [taylor]: Taking taylor expansion of d2 in d2 0.073 * [taylor]: Taking taylor expansion of 30.0 in d2 0.073 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 0.073 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.073 * [taylor]: Taking taylor expansion of d2 in d2 0.073 * [taylor]: Taking taylor expansion of 30.0 in d2 0.074 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 0.074 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.074 * [taylor]: Taking taylor expansion of 30.0 in d2 0.074 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.074 * [taylor]: Taking taylor expansion of d2 in d2 0.074 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 0.074 * [taylor]: Taking taylor expansion of 30.0 in d2 0.074 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.074 * [taylor]: Taking taylor expansion of d2 in d2 0.075 * * * [progress]: simplifying candidates 0.076 * [simplify]: Simplifying using # : (* (* (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) 0.076 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.077 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 0.079 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 0.083 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 0.087 * * [simplify]: iteration done : 36 enodes (cost 6 ) 0.088 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.089 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 0.094 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.097 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 0.102 * * [simplify]: iteration done : 36 enodes (cost 6 ) 0.102 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.103 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.104 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 0.106 * * [simplify]: iteration done : 16 enodes (cost 6 ) 0.106 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.107 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 0.109 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 0.112 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 0.117 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 0.122 * * [simplify]: iteration done : 40 enodes (cost 6 ) 0.122 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 0.123 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 0.124 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 0.126 * * [simplify]: iteration done : 17 enodes (cost 13 ) 0.127 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.127 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.129 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 0.130 * * [simplify]: iteration done : 16 enodes (cost 6 ) 0.131 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 0.132 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 0.137 * * [simplify]: iteration 2 : 98 enodes (cost 7 ) 0.171 * * [simplify]: iteration 3 : 426 enodes (cost 7 ) 0.519 * * [simplify]: iteration 4 : 2183 enodes (cost 7 ) 1.657 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 1.657 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 1.658 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 1.659 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 1.661 * * [simplify]: iteration done : 16 enodes (cost 6 ) 1.661 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 1.662 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 1.663 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 1.665 * * [simplify]: iteration done : 16 enodes (cost 6 ) 1.666 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 1.667 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 1.670 * * [simplify]: iteration 2 : 48 enodes (cost 9 ) 1.678 * * [simplify]: iteration 3 : 105 enodes (cost 9 ) 1.704 * * [simplify]: iteration 4 : 242 enodes (cost 9 ) 1.798 * * [simplify]: iteration 5 : 711 enodes (cost 9 ) 2.518 * * [simplify]: iteration 6 : 2658 enodes (cost 9 ) 4.051 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 4.052 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 4.053 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 4.057 * * [simplify]: iteration 2 : 70 enodes (cost 15 ) 4.076 * * [simplify]: iteration 3 : 182 enodes (cost 13 ) 4.153 * * [simplify]: iteration 4 : 725 enodes (cost 13 ) 4.829 * * [simplify]: iteration 5 : 2301 enodes (cost 13 ) 6.681 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 6.682 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 6.683 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 6.686 * * [simplify]: iteration 2 : 51 enodes (cost 11 ) 6.695 * * [simplify]: iteration 3 : 135 enodes (cost 11 ) 6.738 * * [simplify]: iteration 4 : 442 enodes (cost 11 ) 7.053 * * [simplify]: iteration 5 : 1286 enodes (cost 11 ) 8.362 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 8.363 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.363 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 8.365 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 8.367 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 8.370 * * [simplify]: iteration 4 : 29 enodes (cost 5 ) 8.374 * * [simplify]: iteration 5 : 38 enodes (cost 5 ) 8.379 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 8.391 * * [simplify]: iteration 7 : 64 enodes (cost 5 ) 8.398 * * [simplify]: iteration 8 : 73 enodes (cost 5 ) 8.406 * * [simplify]: iteration 9 : 82 enodes (cost 5 ) 8.416 * * [simplify]: iteration 10 : 97 enodes (cost 5 ) 8.425 * * [simplify]: iteration 11 : 102 enodes (cost 5 ) 8.437 * * [simplify]: iteration 12 : 106 enodes (cost 5 ) 8.452 * * [simplify]: iteration 13 : 107 enodes (cost 5 ) 8.462 * * [simplify]: iteration done : 107 enodes (cost 5 ) 8.463 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.463 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 8.464 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 8.466 * * [simplify]: iteration done : 15 enodes (cost 5 ) 8.467 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.467 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 8.468 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 8.470 * * [simplify]: iteration done : 15 enodes (cost 5 ) 8.471 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.471 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.472 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.472 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.472 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.473 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.473 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.474 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.474 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.475 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.475 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.476 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.476 * [simplify]: Simplified to: (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 (+ (+ 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)) (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (- (* 20.0 20.0) (* (+ 10.0 d2) (- 20.0 (+ 10.0 d2)))) (- (* (+ 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) 8.476 * * * [progress]: adding candidates to table 8.498 * * [progress]: iteration 2 / 4 8.498 * * * [progress]: picking best candidate 8.509 * * * * [pick]: Picked # 8.509 * * * [progress]: localizing error 8.513 * * * [progress]: generating rewritten candidates 8.513 * * * [progress]: generating series expansions 8.513 * * * [progress]: simplifying candidates 8.513 * [simplify]: Simplifying using # : 8.513 * [simplify]: Simplified to: 8.513 * * * [progress]: adding candidates to table 8.513 * * [progress]: iteration 3 / 4 8.513 * * * [progress]: picking best candidate 8.519 * * * * [pick]: Picked # 8.519 * * * [progress]: localizing error 8.528 * * * [progress]: generating rewritten candidates 8.528 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 8.536 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 8.548 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1) 8.557 * * * [progress]: generating series expansions 8.557 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 8.557 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 8.557 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 8.558 * [taylor]: Taking taylor expansion of d2 in d2 8.558 * [taylor]: Taking taylor expansion of 30.0 in d2 8.558 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 8.558 * [taylor]: Taking taylor expansion of d2 in d2 8.558 * [taylor]: Taking taylor expansion of 30.0 in d2 8.558 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 8.558 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 8.558 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.558 * [taylor]: Taking taylor expansion of d2 in d2 8.558 * [taylor]: Taking taylor expansion of 30.0 in d2 8.558 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 8.558 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.558 * [taylor]: Taking taylor expansion of d2 in d2 8.558 * [taylor]: Taking taylor expansion of 30.0 in d2 8.559 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 8.559 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 8.559 * [taylor]: Taking taylor expansion of 30.0 in d2 8.559 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.559 * [taylor]: Taking taylor expansion of d2 in d2 8.559 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 8.559 * [taylor]: Taking taylor expansion of 30.0 in d2 8.559 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.559 * [taylor]: Taking taylor expansion of d2 in d2 8.560 * * * * [progress]: [ 2 / 3 ] generating series at (2) 8.560 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30.0)) in (d1 d2) around 0 8.560 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2 8.560 * [taylor]: Taking taylor expansion of d1 in d2 8.560 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 8.560 * [taylor]: Taking taylor expansion of d2 in d2 8.560 * [taylor]: Taking taylor expansion of 30.0 in d2 8.560 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1 8.560 * [taylor]: Taking taylor expansion of d1 in d1 8.560 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 8.560 * [taylor]: Taking taylor expansion of d2 in d1 8.560 * [taylor]: Taking taylor expansion of 30.0 in d1 8.560 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1 8.560 * [taylor]: Taking taylor expansion of d1 in d1 8.560 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 8.560 * [taylor]: Taking taylor expansion of d2 in d1 8.560 * [taylor]: Taking taylor expansion of 30.0 in d1 8.560 * [taylor]: Taking taylor expansion of 0 in d2 8.561 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 8.561 * [taylor]: Taking taylor expansion of d2 in d2 8.561 * [taylor]: Taking taylor expansion of 30.0 in d2 8.561 * [taylor]: Taking taylor expansion of 0 in d2 8.561 * [taylor]: Taking taylor expansion of 0 in d2 8.561 * [taylor]: Taking taylor expansion of 0 in d2 8.561 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in (d1 d2) around 0 8.561 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2 8.561 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 8.561 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.561 * [taylor]: Taking taylor expansion of d2 in d2 8.561 * [taylor]: Taking taylor expansion of 30.0 in d2 8.561 * [taylor]: Taking taylor expansion of d1 in d2 8.561 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1 8.562 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 8.562 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.562 * [taylor]: Taking taylor expansion of d2 in d1 8.562 * [taylor]: Taking taylor expansion of 30.0 in d1 8.562 * [taylor]: Taking taylor expansion of d1 in d1 8.562 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1 8.562 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 8.562 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.562 * [taylor]: Taking taylor expansion of d2 in d1 8.562 * [taylor]: Taking taylor expansion of 30.0 in d1 8.562 * [taylor]: Taking taylor expansion of d1 in d1 8.562 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 8.562 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.562 * [taylor]: Taking taylor expansion of d2 in d2 8.562 * [taylor]: Taking taylor expansion of 30.0 in d2 8.562 * [taylor]: Taking taylor expansion of 0 in d2 8.562 * [taylor]: Taking taylor expansion of 0 in d2 8.563 * [taylor]: Taking taylor expansion of 0 in d2 8.563 * [taylor]: Taking taylor expansion of 0 in d2 8.563 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in (d1 d2) around 0 8.564 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2 8.564 * [taylor]: Taking taylor expansion of -1 in d2 8.564 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2 8.564 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 8.564 * [taylor]: Taking taylor expansion of 30.0 in d2 8.564 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.564 * [taylor]: Taking taylor expansion of d2 in d2 8.564 * [taylor]: Taking taylor expansion of d1 in d2 8.564 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1 8.564 * [taylor]: Taking taylor expansion of -1 in d1 8.564 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1 8.564 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 8.564 * [taylor]: Taking taylor expansion of 30.0 in d1 8.564 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.564 * [taylor]: Taking taylor expansion of d2 in d1 8.564 * [taylor]: Taking taylor expansion of d1 in d1 8.564 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1 8.564 * [taylor]: Taking taylor expansion of -1 in d1 8.564 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1 8.564 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 8.564 * [taylor]: Taking taylor expansion of 30.0 in d1 8.564 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 8.564 * [taylor]: Taking taylor expansion of d2 in d1 8.564 * [taylor]: Taking taylor expansion of d1 in d1 8.564 * [taylor]: Taking taylor expansion of (* -1 (- 30.0 (/ 1 d2))) in d2 8.564 * [taylor]: Taking taylor expansion of -1 in d2 8.564 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 8.564 * [taylor]: Taking taylor expansion of 30.0 in d2 8.564 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.564 * [taylor]: Taking taylor expansion of d2 in d2 8.565 * [taylor]: Taking taylor expansion of 0 in d2 8.565 * [taylor]: Taking taylor expansion of 0 in d2 8.565 * [taylor]: Taking taylor expansion of 0 in d2 8.566 * [taylor]: Taking taylor expansion of 0 in d2 8.566 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1) 8.566 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 8.566 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 8.566 * [taylor]: Taking taylor expansion of d2 in d2 8.566 * [taylor]: Taking taylor expansion of 30.0 in d2 8.566 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 8.566 * [taylor]: Taking taylor expansion of d2 in d2 8.566 * [taylor]: Taking taylor expansion of 30.0 in d2 8.566 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 8.567 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 8.567 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.567 * [taylor]: Taking taylor expansion of d2 in d2 8.567 * [taylor]: Taking taylor expansion of 30.0 in d2 8.567 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 8.567 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.567 * [taylor]: Taking taylor expansion of d2 in d2 8.567 * [taylor]: Taking taylor expansion of 30.0 in d2 8.567 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 8.567 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 8.567 * [taylor]: Taking taylor expansion of 30.0 in d2 8.567 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.568 * [taylor]: Taking taylor expansion of d2 in d2 8.568 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 8.568 * [taylor]: Taking taylor expansion of 30.0 in d2 8.568 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 8.568 * [taylor]: Taking taylor expansion of d2 in d2 8.568 * * * [progress]: simplifying candidates 8.569 * [simplify]: Simplifying using # : (exp 1) (exp (* (cbrt (log (+ (+ 10.0 d2) 20.0))) (cbrt (log (+ (+ 10.0 d2) 20.0))))) (exp (sqrt (log (+ (+ 10.0 d2) 20.0)))) (exp 1) (exp (log (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))))) (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))) (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))) (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))) (exp (log 1)) (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log 1)) (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log 1)) (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))) (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))) (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))) (exp (log (- (+ 10.0 d2) 20.0))) (log (exp (log (+ (+ 10.0 d2) 20.0)))) (exp (exp (log (+ (+ 10.0 d2) 20.0)))) (* (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (* (* (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log (+ (+ 10.0 d2) 20.0)))) (exp (log (+ (+ 10.0 d2) 20.0)))) (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))) (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))) (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))) (+ (log d1) (log (+ (+ 10.0 d2) 20.0))) (log (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (exp (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* d1 d1) d1) (* (* (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log (+ (+ 10.0 d2) 20.0)))) (exp (log (+ (+ 10.0 d2) 20.0))))) (* (cbrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (cbrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))) (cbrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))) (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (sqrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (sqrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (* (sqrt d1) (exp (log (sqrt (+ (+ 10.0 d2) 20.0))))) (* (sqrt d1) (exp (log (sqrt (+ (+ 10.0 d2) 20.0))))) (* (sqrt d1) (sqrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (sqrt d1) (sqrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* d1 (exp (log (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0)))))) (* d1 (exp (log (sqrt (+ (+ 10.0 d2) 20.0))))) (* d1 (exp (log 1))) (* d1 (exp (log 1))) (* d1 (exp (log 1))) (* d1 (* (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (* d1 (sqrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* d1 1) (* (cbrt d1) (exp (log (+ (+ 10.0 d2) 20.0)))) (* (sqrt d1) (exp (log (+ (+ 10.0 d2) 20.0)))) (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))) (* d1 (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))))) (* d1 (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 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) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) 8.570 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 8.570 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 8.571 * * [simplify]: iteration done : 5 enodes (cost 1 ) 8.571 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 8.572 * * [simplify]: iteration 1 : 15 enodes (cost 16 ) 8.574 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 8.577 * * [simplify]: iteration 3 : 30 enodes (cost 16 ) 8.581 * * [simplify]: iteration 4 : 48 enodes (cost 16 ) 8.588 * * [simplify]: iteration 5 : 88 enodes (cost 16 ) 8.617 * * [simplify]: iteration 6 : 201 enodes (cost 16 ) 8.718 * * [simplify]: iteration 7 : 577 enodes (cost 16 ) 9.589 * * [simplify]: iteration 8 : 2252 enodes (cost 16 ) 11.973 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 11.974 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 11.975 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 11.977 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 11.979 * * [simplify]: iteration done : 18 enodes (cost 8 ) 11.980 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 11.980 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 11.980 * * [simplify]: iteration done : 5 enodes (cost 1 ) 11.981 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 11.982 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 11.984 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 11.987 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 11.990 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 11.994 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 12.004 * * [simplify]: iteration 6 : 77 enodes (cost 8 ) 12.016 * * [simplify]: iteration 7 : 162 enodes (cost 8 ) 12.085 * * [simplify]: iteration 8 : 442 enodes (cost 8 ) 12.567 * * [simplify]: iteration 9 : 1782 enodes (cost 8 ) 14.057 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 14.058 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 14.059 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 14.061 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 14.062 * * [simplify]: iteration done : 18 enodes (cost 6 ) 14.063 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 14.064 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 14.065 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 14.067 * * [simplify]: iteration done : 18 enodes (cost 6 ) 14.068 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 14.069 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 14.070 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 14.072 * * [simplify]: iteration done : 18 enodes (cost 6 ) 14.073 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.073 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 14.074 * * [simplify]: iteration done : 5 enodes (cost 1 ) 14.074 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 14.075 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 14.076 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 14.078 * * [simplify]: iteration done : 17 enodes (cost 5 ) 14.079 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.079 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 14.079 * * [simplify]: iteration done : 5 enodes (cost 1 ) 14.080 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 14.081 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 14.082 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 14.084 * * [simplify]: iteration done : 17 enodes (cost 5 ) 14.084 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.085 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 14.085 * * [simplify]: iteration done : 5 enodes (cost 1 ) 14.085 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 14.086 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 14.087 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 14.089 * * [simplify]: iteration done : 17 enodes (cost 5 ) 14.090 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 14.091 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 14.095 * * [simplify]: iteration 2 : 50 enodes (cost 9 ) 14.107 * * [simplify]: iteration 3 : 107 enodes (cost 9 ) 14.131 * * [simplify]: iteration 4 : 244 enodes (cost 9 ) 14.227 * * [simplify]: iteration 5 : 701 enodes (cost 9 ) 14.961 * * [simplify]: iteration 6 : 2664 enodes (cost 9 ) 16.617 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 16.617 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 16.619 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 16.623 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 16.640 * * [simplify]: iteration 3 : 184 enodes (cost 13 ) 16.718 * * [simplify]: iteration 4 : 731 enodes (cost 13 ) 17.392 * * [simplify]: iteration 5 : 2294 enodes (cost 13 ) 19.148 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 19.149 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 19.150 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 19.153 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 19.163 * * [simplify]: iteration 3 : 144 enodes (cost 11 ) 19.209 * * [simplify]: iteration 4 : 456 enodes (cost 11 ) 19.530 * * [simplify]: iteration 5 : 1301 enodes (cost 11 ) 20.874 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 20.875 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.876 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 20.877 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 20.880 * * [simplify]: iteration 3 : 25 enodes (cost 5 ) 20.883 * * [simplify]: iteration 4 : 31 enodes (cost 5 ) 20.887 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 20.893 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 20.900 * * [simplify]: iteration 7 : 66 enodes (cost 5 ) 20.911 * * [simplify]: iteration 8 : 75 enodes (cost 5 ) 20.919 * * [simplify]: iteration 9 : 84 enodes (cost 5 ) 20.929 * * [simplify]: iteration 10 : 99 enodes (cost 5 ) 20.939 * * [simplify]: iteration 11 : 104 enodes (cost 5 ) 20.950 * * [simplify]: iteration 12 : 108 enodes (cost 5 ) 20.966 * * [simplify]: iteration 13 : 112 enodes (cost 5 ) 20.977 * * [simplify]: iteration done : 112 enodes (cost 5 ) 20.978 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.978 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 20.980 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 20.982 * * [simplify]: iteration done : 18 enodes (cost 6 ) 20.983 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.984 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 20.985 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 20.988 * * [simplify]: iteration 3 : 34 enodes (cost 6 ) 20.993 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 20.998 * * [simplify]: iteration done : 40 enodes (cost 6 ) 20.999 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 21.000 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 21.001 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 21.003 * * [simplify]: iteration done : 19 enodes (cost 13 ) 21.004 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 21.004 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 21.006 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 21.008 * * [simplify]: iteration done : 18 enodes (cost 6 ) 21.008 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 21.009 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 21.012 * * [simplify]: iteration 2 : 58 enodes (cost 7 ) 21.028 * * [simplify]: iteration 3 : 246 enodes (cost 7 ) 21.170 * * [simplify]: iteration 4 : 1098 enodes (cost 7 ) 22.751 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 22.752 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 22.753 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 22.758 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 22.760 * * [simplify]: iteration done : 18 enodes (cost 6 ) 22.760 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 22.761 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 22.763 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 22.764 * * [simplify]: iteration done : 18 enodes (cost 6 ) 22.765 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.766 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 22.768 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 22.773 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 22.781 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 22.787 * * [simplify]: iteration done : 59 enodes (cost 7 ) 22.788 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 22.789 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 22.791 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 22.793 * * [simplify]: iteration done : 20 enodes (cost 9 ) 22.793 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 22.795 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 22.797 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 22.802 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 22.811 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 22.820 * * [simplify]: iteration done : 63 enodes (cost 8 ) 22.821 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 22.822 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 22.824 * * [simplify]: iteration 2 : 43 enodes (cost 8 ) 22.830 * * [simplify]: iteration 3 : 89 enodes (cost 8 ) 22.845 * * [simplify]: iteration 4 : 141 enodes (cost 8 ) 22.868 * * [simplify]: iteration 5 : 253 enodes (cost 8 ) 22.949 * * [simplify]: iteration 6 : 561 enodes (cost 8 ) 23.324 * * [simplify]: iteration 7 : 1815 enodes (cost 8 ) 24.563 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 24.564 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 24.566 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 24.571 * * [simplify]: iteration 2 : 105 enodes (cost 11 ) 24.606 * * [simplify]: iteration 3 : 577 enodes (cost 11 ) 25.112 * * [simplify]: iteration 4 : 3398 enodes (cost 9 ) 26.557 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 26.558 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 26.559 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 26.561 * * [simplify]: iteration 2 : 36 enodes (cost 17 ) 26.566 * * [simplify]: iteration 3 : 55 enodes (cost 17 ) 26.574 * * [simplify]: iteration 4 : 61 enodes (cost 17 ) 26.583 * * [simplify]: iteration done : 61 enodes (cost 17 ) 26.584 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 26.585 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 26.587 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 26.592 * * [simplify]: iteration 3 : 54 enodes (cost 8 ) 26.600 * * [simplify]: iteration 4 : 60 enodes (cost 8 ) 26.607 * * [simplify]: iteration done : 60 enodes (cost 8 ) 26.608 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 26.610 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 26.615 * * [simplify]: iteration 2 : 119 enodes (cost 9 ) 26.661 * * [simplify]: iteration 3 : 588 enodes (cost 9 ) 27.239 * * [simplify]: iteration 4 : 2991 enodes (cost 9 ) 29.362 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 29.363 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 29.364 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 29.366 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 29.372 * * [simplify]: iteration 3 : 54 enodes (cost 8 ) 29.379 * * [simplify]: iteration 4 : 60 enodes (cost 8 ) 29.386 * * [simplify]: iteration done : 60 enodes (cost 8 ) 29.387 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 29.388 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 29.390 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 29.395 * * [simplify]: iteration 3 : 54 enodes (cost 8 ) 29.403 * * [simplify]: iteration 4 : 60 enodes (cost 8 ) 29.410 * * [simplify]: iteration done : 60 enodes (cost 8 ) 29.411 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 29.415 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 29.416 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 29.419 * * [simplify]: iteration done : 22 enodes (cost 9 ) 29.419 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 29.420 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 29.422 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 29.425 * * [simplify]: iteration done : 22 enodes (cost 9 ) 29.425 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 29.426 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 29.428 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 29.430 * * [simplify]: iteration done : 22 enodes (cost 9 ) 29.431 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 29.432 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 29.434 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 29.437 * * [simplify]: iteration done : 22 enodes (cost 9 ) 29.437 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 29.438 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 29.441 * * [simplify]: iteration 2 : 32 enodes (cost 12 ) 29.444 * * [simplify]: iteration 3 : 39 enodes (cost 12 ) 29.449 * * [simplify]: iteration 4 : 45 enodes (cost 10 ) 29.454 * * [simplify]: iteration 5 : 61 enodes (cost 10 ) 29.463 * * [simplify]: iteration 6 : 104 enodes (cost 10 ) 29.483 * * [simplify]: iteration 7 : 226 enodes (cost 10 ) 29.583 * * [simplify]: iteration 8 : 619 enodes (cost 10 ) 30.307 * * [simplify]: iteration 9 : 2539 enodes (cost 10 ) 31.907 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 31.908 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 31.909 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 31.911 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 31.913 * * [simplify]: iteration done : 21 enodes (cost 8 ) 31.916 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 31.917 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 31.918 * * [simplify]: iteration done : 8 enodes (cost 1 ) 31.918 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 31.919 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 31.919 * * [simplify]: iteration done : 8 enodes (cost 1 ) 31.920 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 31.921 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 31.921 * * [simplify]: iteration done : 8 enodes (cost 1 ) 31.922 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 31.923 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 31.925 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 31.928 * * [simplify]: iteration done : 26 enodes (cost 15 ) 31.929 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 31.930 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 31.931 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 31.934 * * [simplify]: iteration done : 21 enodes (cost 8 ) 31.934 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 31.935 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 31.935 * * [simplify]: iteration done : 6 enodes (cost 1 ) 31.936 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 31.937 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 31.938 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 31.943 * * [simplify]: iteration 3 : 52 enodes (cost 8 ) 31.952 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 31.958 * * [simplify]: iteration done : 58 enodes (cost 8 ) 31.959 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 31.960 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 31.962 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 31.967 * * [simplify]: iteration 3 : 52 enodes (cost 8 ) 31.977 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 31.984 * * [simplify]: iteration done : 58 enodes (cost 8 ) 31.985 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 31.986 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 31.988 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 31.992 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 32.000 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 32.007 * * [simplify]: iteration done : 59 enodes (cost 7 ) 32.008 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 32.010 * * [simplify]: iteration 1 : 28 enodes (cost 11 ) 32.014 * * [simplify]: iteration 2 : 61 enodes (cost 11 ) 32.024 * * [simplify]: iteration 3 : 150 enodes (cost 11 ) 32.061 * * [simplify]: iteration 4 : 398 enodes (cost 11 ) 32.231 * * [simplify]: iteration 5 : 1262 enodes (cost 11 ) 33.606 * * [simplify]: iteration 6 : 4706 enodes (cost 11 ) 35.078 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 35.079 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 35.080 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 35.084 * * [simplify]: iteration 2 : 69 enodes (cost 13 ) 35.097 * * [simplify]: iteration 3 : 224 enodes (cost 13 ) 35.184 * * [simplify]: iteration 4 : 847 enodes (cost 13 ) 35.805 * * [simplify]: iteration 5 : 2314 enodes (cost 13 ) 36.837 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 36.838 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 36.839 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 36.840 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 36.845 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 36.849 * * [simplify]: iteration done : 36 enodes (cost 6 ) 36.850 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 36.851 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 36.852 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 36.855 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 36.864 * * [simplify]: iteration done : 36 enodes (cost 6 ) 36.864 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 36.865 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 36.866 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 36.868 * * [simplify]: iteration done : 16 enodes (cost 6 ) 36.868 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 36.869 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 36.871 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 36.874 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 36.879 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 36.883 * * [simplify]: iteration done : 40 enodes (cost 6 ) 36.884 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 36.885 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 36.886 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 36.888 * * [simplify]: iteration done : 17 enodes (cost 13 ) 36.888 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 36.889 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 36.890 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 36.892 * * [simplify]: iteration done : 16 enodes (cost 6 ) 36.893 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 36.894 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 36.899 * * [simplify]: iteration 2 : 98 enodes (cost 7 ) 36.931 * * [simplify]: iteration 3 : 426 enodes (cost 7 ) 37.273 * * [simplify]: iteration 4 : 2183 enodes (cost 7 ) 38.405 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 38.405 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.406 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 38.407 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 38.409 * * [simplify]: iteration done : 16 enodes (cost 6 ) 38.410 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.410 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 38.411 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 38.413 * * [simplify]: iteration done : 16 enodes (cost 6 ) 38.414 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.415 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 38.418 * * [simplify]: iteration 2 : 48 enodes (cost 9 ) 38.427 * * [simplify]: iteration 3 : 105 enodes (cost 9 ) 38.449 * * [simplify]: iteration 4 : 242 enodes (cost 9 ) 38.545 * * [simplify]: iteration 5 : 711 enodes (cost 9 ) 39.256 * * [simplify]: iteration 6 : 2658 enodes (cost 9 ) 40.756 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 40.757 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 40.758 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 40.762 * * [simplify]: iteration 2 : 70 enodes (cost 15 ) 40.779 * * [simplify]: iteration 3 : 182 enodes (cost 13 ) 40.854 * * [simplify]: iteration 4 : 725 enodes (cost 13 ) 41.518 * * [simplify]: iteration 5 : 2301 enodes (cost 13 ) 43.338 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 43.339 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 43.340 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 43.343 * * [simplify]: iteration 2 : 51 enodes (cost 11 ) 43.352 * * [simplify]: iteration 3 : 135 enodes (cost 11 ) 43.396 * * [simplify]: iteration 4 : 442 enodes (cost 11 ) 43.714 * * [simplify]: iteration 5 : 1286 enodes (cost 11 ) 45.013 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 45.013 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.014 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 45.015 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 45.018 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 45.021 * * [simplify]: iteration 4 : 29 enodes (cost 5 ) 45.024 * * [simplify]: iteration 5 : 38 enodes (cost 5 ) 45.030 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 45.040 * * [simplify]: iteration 7 : 64 enodes (cost 5 ) 45.047 * * [simplify]: iteration 8 : 73 enodes (cost 5 ) 45.055 * * [simplify]: iteration 9 : 82 enodes (cost 5 ) 45.066 * * [simplify]: iteration 10 : 97 enodes (cost 5 ) 45.075 * * [simplify]: iteration 11 : 102 enodes (cost 5 ) 45.086 * * [simplify]: iteration 12 : 106 enodes (cost 5 ) 45.100 * * [simplify]: iteration 13 : 107 enodes (cost 5 ) 45.112 * * [simplify]: iteration done : 107 enodes (cost 5 ) 45.113 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.113 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 45.114 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 45.116 * * [simplify]: iteration done : 15 enodes (cost 5 ) 45.116 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.117 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 45.118 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 45.120 * * [simplify]: iteration done : 15 enodes (cost 5 ) 45.120 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.121 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 45.121 * * [simplify]: iteration done : 4 enodes (cost 3 ) 45.122 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.122 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 45.122 * * [simplify]: iteration done : 4 enodes (cost 3 ) 45.123 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.123 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 45.124 * * [simplify]: iteration done : 4 enodes (cost 3 ) 45.124 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.124 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 45.125 * * [simplify]: iteration done : 4 enodes (cost 3 ) 45.126 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 45.127 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 45.128 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 45.129 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 45.131 * * [simplify]: iteration done : 15 enodes (cost 5 ) 45.132 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 45.132 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 45.134 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 45.136 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 45.137 * * [simplify]: iteration done : 15 enodes (cost 5 ) 45.138 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 45.138 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 45.140 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 45.141 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 45.143 * * [simplify]: iteration done : 15 enodes (cost 5 ) 45.143 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.144 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 45.144 * * [simplify]: iteration done : 4 enodes (cost 3 ) 45.145 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.145 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 45.145 * * [simplify]: iteration done : 4 enodes (cost 3 ) 45.146 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 45.146 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 45.147 * * [simplify]: iteration done : 4 enodes (cost 3 ) 45.147 * [simplify]: Simplified to: E (exp (* (cbrt (log (+ (+ 10.0 d2) 20.0))) (cbrt (log (+ (+ 10.0 d2) 20.0))))) (exp (sqrt (log (+ (+ 10.0 d2) 20.0)))) E (pow (cbrt (+ (+ 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) (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (- (* 20.0 20.0) (* (+ 10.0 d2) (- 20.0 (+ 10.0 d2)))) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) (- (+ 10.0 d2) 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)) (* (+ 20.0 (+ 10.0 d2)) d1) (+ (log d1) (log (+ (+ 10.0 d2) 20.0))) (log (* (+ 20.0 (+ 10.0 d2)) d1)) (exp (* (+ 20.0 (+ 10.0 d2)) d1)) (pow (* d1 (+ 20.0 (+ 10.0 d2))) 3) (* (cbrt (* (+ 20.0 (+ 10.0 d2)) d1)) (cbrt (* (+ 20.0 (+ 10.0 d2)) d1))) (cbrt (* (+ 20.0 (+ 10.0 d2)) d1)) (pow (* (+ 20.0 (+ 10.0 d2)) d1) 3) (sqrt (* (+ 20.0 (+ 10.0 d2)) d1)) (sqrt (* (+ 20.0 (+ 10.0 d2)) d1)) (* (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt d1)) (* (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt d1)) (* (sqrt (+ 20.0 (+ 10.0 d2))) (sqrt d1)) (* (sqrt (+ 20.0 (+ 10.0 d2))) (sqrt d1)) (* (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2) d1) (* d1 (sqrt (+ (+ 10.0 d2) 20.0))) d1 d1 d1 (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* d1 (sqrt (+ 20.0 (+ 10.0 d2)))) d1 (* (+ 20.0 (+ 10.0 d2)) (cbrt d1)) (* (+ 20.0 (+ 10.0 d2)) (sqrt d1)) (* (+ 20.0 (+ 10.0 d2)) d1) (* d1 (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (* (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) d1) (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 (+ (+ 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)) (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) (- (* 20.0 20.0) (* (+ 10.0 d2) (- 20.0 (+ 10.0 d2)))) (- (* (+ 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) (* d1 (+ 30.0 d2)) (* d1 (+ 30.0 d2)) (* d1 (+ 30.0 d2)) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) 45.148 * * * [progress]: adding candidates to table 45.238 * * [progress]: iteration 4 / 4 45.238 * * * [progress]: picking best candidate 45.245 * * * * [pick]: Picked # 45.245 * * * [progress]: localizing error 45.261 * * * [progress]: generating rewritten candidates 45.261 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 45.269 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 45.287 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 45.317 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 45.334 * * * [progress]: generating series expansions 45.334 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 45.335 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0 45.335 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.335 * [taylor]: Taking taylor expansion of d2 in d2 45.335 * [taylor]: Taking taylor expansion of 30.0 in d2 45.335 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.335 * [taylor]: Taking taylor expansion of d2 in d2 45.335 * [taylor]: Taking taylor expansion of 30.0 in d2 45.335 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0 45.335 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.335 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.335 * [taylor]: Taking taylor expansion of d2 in d2 45.335 * [taylor]: Taking taylor expansion of 30.0 in d2 45.335 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.335 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.335 * [taylor]: Taking taylor expansion of d2 in d2 45.335 * [taylor]: Taking taylor expansion of 30.0 in d2 45.337 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0 45.337 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.337 * [taylor]: Taking taylor expansion of 30.0 in d2 45.337 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.337 * [taylor]: Taking taylor expansion of d2 in d2 45.337 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.337 * [taylor]: Taking taylor expansion of 30.0 in d2 45.337 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.337 * [taylor]: Taking taylor expansion of d2 in d2 45.338 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 45.338 * [approximate]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in (d2 d1) around 0 45.338 * [taylor]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in d1 45.338 * [taylor]: Taking taylor expansion of d1 in d1 45.338 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d1 45.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d1 45.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d1 45.338 * [taylor]: Taking taylor expansion of 1/3 in d1 45.338 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d1 45.338 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d1 45.338 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 45.338 * [taylor]: Taking taylor expansion of d2 in d1 45.338 * [taylor]: Taking taylor expansion of 30.0 in d1 45.338 * [taylor]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in d2 45.338 * [taylor]: Taking taylor expansion of d1 in d2 45.338 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d2 45.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d2 45.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d2 45.338 * [taylor]: Taking taylor expansion of 1/3 in d2 45.338 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d2 45.338 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d2 45.338 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.338 * [taylor]: Taking taylor expansion of d2 in d2 45.339 * [taylor]: Taking taylor expansion of 30.0 in d2 45.339 * [taylor]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in d2 45.339 * [taylor]: Taking taylor expansion of d1 in d2 45.339 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d2 45.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d2 45.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d2 45.339 * [taylor]: Taking taylor expansion of 1/3 in d2 45.339 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d2 45.339 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d2 45.339 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.339 * [taylor]: Taking taylor expansion of d2 in d2 45.339 * [taylor]: Taking taylor expansion of 30.0 in d2 45.339 * [taylor]: Taking taylor expansion of (* d1 (pow 900.0 1/3)) in d1 45.339 * [taylor]: Taking taylor expansion of d1 in d1 45.339 * [taylor]: Taking taylor expansion of (pow 900.0 1/3) in d1 45.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 900.0))) in d1 45.339 * [taylor]: Taking taylor expansion of (* 1/3 (log 900.0)) in d1 45.339 * [taylor]: Taking taylor expansion of 1/3 in d1 45.339 * [taylor]: Taking taylor expansion of (log 900.0) in d1 45.339 * [taylor]: Taking taylor expansion of 900.0 in d1 45.340 * [taylor]: Taking taylor expansion of (* 0.02222222222222222 (* d1 (pow 900.0 1/3))) in d1 45.340 * [taylor]: Taking taylor expansion of 0.02222222222222222 in d1 45.340 * [taylor]: Taking taylor expansion of (* d1 (pow 900.0 1/3)) in d1 45.340 * [taylor]: Taking taylor expansion of d1 in d1 45.340 * [taylor]: Taking taylor expansion of (pow 900.0 1/3) in d1 45.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 900.0))) in d1 45.340 * [taylor]: Taking taylor expansion of (* 1/3 (log 900.0)) in d1 45.340 * [taylor]: Taking taylor expansion of 1/3 in d1 45.340 * [taylor]: Taking taylor expansion of (log 900.0) in d1 45.340 * [taylor]: Taking taylor expansion of 900.0 in d1 45.341 * [taylor]: Taking taylor expansion of (- (* 0.0006172839506172838 (* d1 (pow 900.0 1/3))) (* 600.0 (* d1 (pow (/ 1 (pow 900.0 5)) 1/3)))) in d1 45.342 * [taylor]: Taking taylor expansion of (* 0.0006172839506172838 (* d1 (pow 900.0 1/3))) in d1 45.342 * [taylor]: Taking taylor expansion of 0.0006172839506172838 in d1 45.342 * [taylor]: Taking taylor expansion of (* d1 (pow 900.0 1/3)) in d1 45.342 * [taylor]: Taking taylor expansion of d1 in d1 45.342 * [taylor]: Taking taylor expansion of (pow 900.0 1/3) in d1 45.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 900.0))) in d1 45.342 * [taylor]: Taking taylor expansion of (* 1/3 (log 900.0)) in d1 45.342 * [taylor]: Taking taylor expansion of 1/3 in d1 45.342 * [taylor]: Taking taylor expansion of (log 900.0) in d1 45.342 * [taylor]: Taking taylor expansion of 900.0 in d1 45.342 * [taylor]: Taking taylor expansion of (* 600.0 (* d1 (pow (/ 1 (pow 900.0 5)) 1/3))) in d1 45.342 * [taylor]: Taking taylor expansion of 600.0 in d1 45.342 * [taylor]: Taking taylor expansion of (* d1 (pow (/ 1 (pow 900.0 5)) 1/3)) in d1 45.342 * [taylor]: Taking taylor expansion of d1 in d1 45.342 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow 900.0 5)) 1/3) in d1 45.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow 900.0 5))))) in d1 45.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow 900.0 5)))) in d1 45.342 * [taylor]: Taking taylor expansion of 1/3 in d1 45.342 * [taylor]: Taking taylor expansion of (log (/ 1 (pow 900.0 5))) in d1 45.342 * [taylor]: Taking taylor expansion of (/ 1 (pow 900.0 5)) in d1 45.342 * [taylor]: Taking taylor expansion of (pow 900.0 5) in d1 45.342 * [taylor]: Taking taylor expansion of 900.0 in d1 45.345 * [taylor]: Taking taylor expansion of (- (+ (* 1.005944215820759e-05 (* d1 (pow 900.0 1/3))) (* 24000.0 (* d1 (pow (/ 1 (pow 900.0 8)) 1/3)))) (* 33.33333333333333 (* d1 (pow (/ 1 (pow 900.0 5)) 1/3)))) in d1 45.345 * [taylor]: Taking taylor expansion of (+ (* 1.005944215820759e-05 (* d1 (pow 900.0 1/3))) (* 24000.0 (* d1 (pow (/ 1 (pow 900.0 8)) 1/3)))) in d1 45.345 * [taylor]: Taking taylor expansion of (* 1.005944215820759e-05 (* d1 (pow 900.0 1/3))) in d1 45.345 * [taylor]: Taking taylor expansion of 1.005944215820759e-05 in d1 45.345 * [taylor]: Taking taylor expansion of (* d1 (pow 900.0 1/3)) in d1 45.345 * [taylor]: Taking taylor expansion of d1 in d1 45.345 * [taylor]: Taking taylor expansion of (pow 900.0 1/3) in d1 45.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 900.0))) in d1 45.345 * [taylor]: Taking taylor expansion of (* 1/3 (log 900.0)) in d1 45.345 * [taylor]: Taking taylor expansion of 1/3 in d1 45.346 * [taylor]: Taking taylor expansion of (log 900.0) in d1 45.346 * [taylor]: Taking taylor expansion of 900.0 in d1 45.346 * [taylor]: Taking taylor expansion of (* 24000.0 (* d1 (pow (/ 1 (pow 900.0 8)) 1/3))) in d1 45.346 * [taylor]: Taking taylor expansion of 24000.0 in d1 45.346 * [taylor]: Taking taylor expansion of (* d1 (pow (/ 1 (pow 900.0 8)) 1/3)) in d1 45.346 * [taylor]: Taking taylor expansion of d1 in d1 45.346 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow 900.0 8)) 1/3) in d1 45.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow 900.0 8))))) in d1 45.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow 900.0 8)))) in d1 45.346 * [taylor]: Taking taylor expansion of 1/3 in d1 45.346 * [taylor]: Taking taylor expansion of (log (/ 1 (pow 900.0 8))) in d1 45.346 * [taylor]: Taking taylor expansion of (/ 1 (pow 900.0 8)) in d1 45.346 * [taylor]: Taking taylor expansion of (pow 900.0 8) in d1 45.346 * [taylor]: Taking taylor expansion of 900.0 in d1 45.346 * [taylor]: Taking taylor expansion of (* 33.33333333333333 (* d1 (pow (/ 1 (pow 900.0 5)) 1/3))) in d1 45.346 * [taylor]: Taking taylor expansion of 33.33333333333333 in d1 45.346 * [taylor]: Taking taylor expansion of (* d1 (pow (/ 1 (pow 900.0 5)) 1/3)) in d1 45.346 * [taylor]: Taking taylor expansion of d1 in d1 45.346 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow 900.0 5)) 1/3) in d1 45.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow 900.0 5))))) in d1 45.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow 900.0 5)))) in d1 45.346 * [taylor]: Taking taylor expansion of 1/3 in d1 45.346 * [taylor]: Taking taylor expansion of (log (/ 1 (pow 900.0 5))) in d1 45.346 * [taylor]: Taking taylor expansion of (/ 1 (pow 900.0 5)) in d1 45.346 * [taylor]: Taking taylor expansion of (pow 900.0 5) in d1 45.346 * [taylor]: Taking taylor expansion of 900.0 in d1 45.348 * [approximate]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in (d2 d1) around 0 45.348 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d1 45.348 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 45.348 * [taylor]: Taking taylor expansion of d1 in d1 45.348 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d1 45.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d1 45.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d1 45.348 * [taylor]: Taking taylor expansion of 1/3 in d1 45.348 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d1 45.348 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d1 45.348 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 45.348 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 45.348 * [taylor]: Taking taylor expansion of d2 in d1 45.349 * [taylor]: Taking taylor expansion of 30.0 in d1 45.349 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d2 45.349 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 45.349 * [taylor]: Taking taylor expansion of d1 in d2 45.349 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d2 45.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d2 45.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d2 45.349 * [taylor]: Taking taylor expansion of 1/3 in d2 45.349 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d2 45.349 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d2 45.349 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.349 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.349 * [taylor]: Taking taylor expansion of d2 in d2 45.349 * [taylor]: Taking taylor expansion of 30.0 in d2 45.349 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d2 45.349 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 45.349 * [taylor]: Taking taylor expansion of d1 in d2 45.349 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d2 45.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d2 45.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d2 45.350 * [taylor]: Taking taylor expansion of 1/3 in d2 45.350 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d2 45.350 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d2 45.350 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.350 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.350 * [taylor]: Taking taylor expansion of d2 in d2 45.350 * [taylor]: Taking taylor expansion of 30.0 in d2 45.350 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1) in d1 45.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log d2))))) in d1 45.350 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log d2)))) in d1 45.350 * [taylor]: Taking taylor expansion of 1/3 in d1 45.350 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log d2))) in d1 45.350 * [taylor]: Taking taylor expansion of (log 1) in d1 45.350 * [taylor]: Taking taylor expansion of 1 in d1 45.350 * [taylor]: Taking taylor expansion of (* 2 (log d2)) in d1 45.350 * [taylor]: Taking taylor expansion of 2 in d1 45.350 * [taylor]: Taking taylor expansion of (log d2) in d1 45.350 * [taylor]: Taking taylor expansion of d2 in d1 45.350 * [taylor]: Taking taylor expansion of d1 in d1 45.351 * [taylor]: Taking taylor expansion of (* 20.0 (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1)) in d1 45.351 * [taylor]: Taking taylor expansion of 20.0 in d1 45.351 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1) in d1 45.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log d2))))) in d1 45.351 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log d2)))) in d1 45.351 * [taylor]: Taking taylor expansion of 1/3 in d1 45.351 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log d2))) in d1 45.351 * [taylor]: Taking taylor expansion of (log 1) in d1 45.351 * [taylor]: Taking taylor expansion of 1 in d1 45.351 * [taylor]: Taking taylor expansion of (* 2 (log d2)) in d1 45.351 * [taylor]: Taking taylor expansion of 2 in d1 45.351 * [taylor]: Taking taylor expansion of (log d2) in d1 45.351 * [taylor]: Taking taylor expansion of d2 in d1 45.352 * [taylor]: Taking taylor expansion of d1 in d1 45.353 * [taylor]: Taking taylor expansion of (neg (* 100.0 (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1))) in d1 45.354 * [taylor]: Taking taylor expansion of (* 100.0 (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1)) in d1 45.354 * [taylor]: Taking taylor expansion of 100.0 in d1 45.354 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1) in d1 45.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log d2))))) in d1 45.354 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log d2)))) in d1 45.354 * [taylor]: Taking taylor expansion of 1/3 in d1 45.354 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log d2))) in d1 45.354 * [taylor]: Taking taylor expansion of (log 1) in d1 45.354 * [taylor]: Taking taylor expansion of 1 in d1 45.354 * [taylor]: Taking taylor expansion of (* 2 (log d2)) in d1 45.354 * [taylor]: Taking taylor expansion of 2 in d1 45.354 * [taylor]: Taking taylor expansion of (log d2) in d1 45.354 * [taylor]: Taking taylor expansion of d2 in d1 45.354 * [taylor]: Taking taylor expansion of d1 in d1 45.355 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (/ 1 d1))) in (d2 d1) around 0 45.355 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (/ 1 d1))) in d1 45.355 * [taylor]: Taking taylor expansion of -1 in d1 45.355 * [taylor]: Taking taylor expansion of (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (/ 1 d1)) in d1 45.355 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d1 45.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d1 45.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d1 45.355 * [taylor]: Taking taylor expansion of 1/3 in d1 45.355 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d1 45.355 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d1 45.355 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 45.355 * [taylor]: Taking taylor expansion of 30.0 in d1 45.355 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 45.355 * [taylor]: Taking taylor expansion of d2 in d1 45.356 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 45.356 * [taylor]: Taking taylor expansion of d1 in d1 45.356 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (/ 1 d1))) in d2 45.356 * [taylor]: Taking taylor expansion of -1 in d2 45.356 * [taylor]: Taking taylor expansion of (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (/ 1 d1)) in d2 45.356 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d2 45.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d2 45.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d2 45.356 * [taylor]: Taking taylor expansion of 1/3 in d2 45.356 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d2 45.356 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d2 45.356 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.356 * [taylor]: Taking taylor expansion of 30.0 in d2 45.356 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.356 * [taylor]: Taking taylor expansion of d2 in d2 45.356 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 45.356 * [taylor]: Taking taylor expansion of d1 in d2 45.356 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (/ 1 d1))) in d2 45.356 * [taylor]: Taking taylor expansion of -1 in d2 45.356 * [taylor]: Taking taylor expansion of (* (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) (/ 1 d1)) in d2 45.357 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d2 45.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d2 45.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d2 45.357 * [taylor]: Taking taylor expansion of 1/3 in d2 45.357 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d2 45.357 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d2 45.357 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.357 * [taylor]: Taking taylor expansion of 30.0 in d2 45.357 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.357 * [taylor]: Taking taylor expansion of d2 in d2 45.357 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 45.357 * [taylor]: Taking taylor expansion of d1 in d2 45.357 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1)) in d1 45.357 * [taylor]: Taking taylor expansion of -1 in d1 45.357 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1) in d1 45.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log d2))))) in d1 45.357 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log d2)))) in d1 45.357 * [taylor]: Taking taylor expansion of 1/3 in d1 45.357 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log d2))) in d1 45.357 * [taylor]: Taking taylor expansion of (log 1) in d1 45.357 * [taylor]: Taking taylor expansion of 1 in d1 45.357 * [taylor]: Taking taylor expansion of (* 2 (log d2)) in d1 45.357 * [taylor]: Taking taylor expansion of 2 in d1 45.357 * [taylor]: Taking taylor expansion of (log d2) in d1 45.357 * [taylor]: Taking taylor expansion of d2 in d1 45.358 * [taylor]: Taking taylor expansion of d1 in d1 45.359 * [taylor]: Taking taylor expansion of (* 20.0 (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1)) in d1 45.359 * [taylor]: Taking taylor expansion of 20.0 in d1 45.359 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1) in d1 45.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log d2))))) in d1 45.359 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log d2)))) in d1 45.359 * [taylor]: Taking taylor expansion of 1/3 in d1 45.359 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log d2))) in d1 45.359 * [taylor]: Taking taylor expansion of (log 1) in d1 45.359 * [taylor]: Taking taylor expansion of 1 in d1 45.359 * [taylor]: Taking taylor expansion of (* 2 (log d2)) in d1 45.359 * [taylor]: Taking taylor expansion of 2 in d1 45.359 * [taylor]: Taking taylor expansion of (log d2) in d1 45.359 * [taylor]: Taking taylor expansion of d2 in d1 45.359 * [taylor]: Taking taylor expansion of d1 in d1 45.361 * [taylor]: Taking taylor expansion of (* 100.0 (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1)) in d1 45.361 * [taylor]: Taking taylor expansion of 100.0 in d1 45.361 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log d2))))) d1) in d1 45.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log d2))))) in d1 45.362 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log d2)))) in d1 45.362 * [taylor]: Taking taylor expansion of 1/3 in d1 45.362 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log d2))) in d1 45.362 * [taylor]: Taking taylor expansion of (log 1) in d1 45.362 * [taylor]: Taking taylor expansion of 1 in d1 45.362 * [taylor]: Taking taylor expansion of (* 2 (log d2)) in d1 45.362 * [taylor]: Taking taylor expansion of 2 in d1 45.362 * [taylor]: Taking taylor expansion of (log d2) in d1 45.362 * [taylor]: Taking taylor expansion of d2 in d1 45.362 * [taylor]: Taking taylor expansion of d1 in d1 45.363 * * * * [progress]: [ 3 / 4 ] generating series at (2) 45.363 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30.0)) in (d2 d1) around 0 45.363 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1 45.363 * [taylor]: Taking taylor expansion of d1 in d1 45.363 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1 45.363 * [taylor]: Taking taylor expansion of d2 in d1 45.363 * [taylor]: Taking taylor expansion of 30.0 in d1 45.363 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2 45.363 * [taylor]: Taking taylor expansion of d1 in d2 45.363 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.363 * [taylor]: Taking taylor expansion of d2 in d2 45.363 * [taylor]: Taking taylor expansion of 30.0 in d2 45.363 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2 45.363 * [taylor]: Taking taylor expansion of d1 in d2 45.363 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.363 * [taylor]: Taking taylor expansion of d2 in d2 45.363 * [taylor]: Taking taylor expansion of 30.0 in d2 45.363 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d1 45.363 * [taylor]: Taking taylor expansion of 30.0 in d1 45.363 * [taylor]: Taking taylor expansion of d1 in d1 45.364 * [taylor]: Taking taylor expansion of d1 in d1 45.364 * [taylor]: Taking taylor expansion of 0 in d1 45.364 * [taylor]: Taking taylor expansion of 0 in d1 45.364 * [taylor]: Taking taylor expansion of 0 in d1 45.364 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in (d2 d1) around 0 45.364 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1 45.364 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1 45.364 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 45.364 * [taylor]: Taking taylor expansion of d2 in d1 45.364 * [taylor]: Taking taylor expansion of 30.0 in d1 45.365 * [taylor]: Taking taylor expansion of d1 in d1 45.365 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2 45.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.365 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.365 * [taylor]: Taking taylor expansion of d2 in d2 45.365 * [taylor]: Taking taylor expansion of 30.0 in d2 45.365 * [taylor]: Taking taylor expansion of d1 in d2 45.365 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2 45.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.365 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.365 * [taylor]: Taking taylor expansion of d2 in d2 45.365 * [taylor]: Taking taylor expansion of 30.0 in d2 45.365 * [taylor]: Taking taylor expansion of d1 in d2 45.365 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 45.365 * [taylor]: Taking taylor expansion of d1 in d1 45.365 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1 45.365 * [taylor]: Taking taylor expansion of 30.0 in d1 45.365 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 45.365 * [taylor]: Taking taylor expansion of d1 in d1 45.365 * [taylor]: Taking taylor expansion of 0 in d1 45.366 * [taylor]: Taking taylor expansion of 0 in d1 45.366 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in (d2 d1) around 0 45.366 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1 45.366 * [taylor]: Taking taylor expansion of -1 in d1 45.366 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1 45.366 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1 45.366 * [taylor]: Taking taylor expansion of 30.0 in d1 45.366 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 45.366 * [taylor]: Taking taylor expansion of d2 in d1 45.367 * [taylor]: Taking taylor expansion of d1 in d1 45.367 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2 45.367 * [taylor]: Taking taylor expansion of -1 in d2 45.367 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2 45.367 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.367 * [taylor]: Taking taylor expansion of 30.0 in d2 45.367 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.367 * [taylor]: Taking taylor expansion of d2 in d2 45.367 * [taylor]: Taking taylor expansion of d1 in d2 45.367 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2 45.367 * [taylor]: Taking taylor expansion of -1 in d2 45.367 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2 45.367 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.367 * [taylor]: Taking taylor expansion of 30.0 in d2 45.367 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.367 * [taylor]: Taking taylor expansion of d2 in d2 45.367 * [taylor]: Taking taylor expansion of d1 in d2 45.367 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 45.367 * [taylor]: Taking taylor expansion of d1 in d1 45.368 * [taylor]: Taking taylor expansion of (neg (* 30.0 (/ 1 d1))) in d1 45.368 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1 45.368 * [taylor]: Taking taylor expansion of 30.0 in d1 45.368 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 45.368 * [taylor]: Taking taylor expansion of d1 in d1 45.368 * [taylor]: Taking taylor expansion of 0 in d1 45.369 * [taylor]: Taking taylor expansion of 0 in d1 45.369 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 45.369 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in (d2) around 0 45.369 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2 45.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2 45.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2 45.369 * [taylor]: Taking taylor expansion of 1/3 in d2 45.369 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2 45.369 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.369 * [taylor]: Taking taylor expansion of d2 in d2 45.369 * [taylor]: Taking taylor expansion of 30.0 in d2 45.369 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2 45.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2 45.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2 45.369 * [taylor]: Taking taylor expansion of 1/3 in d2 45.369 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2 45.369 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2 45.370 * [taylor]: Taking taylor expansion of d2 in d2 45.370 * [taylor]: Taking taylor expansion of 30.0 in d2 45.371 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in (d2) around 0 45.371 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2 45.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2 45.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2 45.371 * [taylor]: Taking taylor expansion of 1/3 in d2 45.371 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2 45.371 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.371 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.371 * [taylor]: Taking taylor expansion of d2 in d2 45.371 * [taylor]: Taking taylor expansion of 30.0 in d2 45.372 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2 45.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2 45.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2 45.372 * [taylor]: Taking taylor expansion of 1/3 in d2 45.372 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2 45.372 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2 45.372 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.372 * [taylor]: Taking taylor expansion of d2 in d2 45.372 * [taylor]: Taking taylor expansion of 30.0 in d2 45.373 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in (d2) around 0 45.373 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2 45.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2 45.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2 45.374 * [taylor]: Taking taylor expansion of 1/3 in d2 45.374 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2 45.374 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.374 * [taylor]: Taking taylor expansion of 30.0 in d2 45.374 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.374 * [taylor]: Taking taylor expansion of d2 in d2 45.374 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2 45.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2 45.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2 45.374 * [taylor]: Taking taylor expansion of 1/3 in d2 45.374 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2 45.374 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2 45.374 * [taylor]: Taking taylor expansion of 30.0 in d2 45.374 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 45.374 * [taylor]: Taking taylor expansion of d2 in d2 45.376 * * * [progress]: simplifying candidates 45.378 * [simplify]: Simplifying using # : (exp 1) (exp (* (cbrt (log (+ (+ 10.0 d2) 20.0))) (cbrt (log (+ (+ 10.0 d2) 20.0))))) (exp (sqrt (log (+ (+ 10.0 d2) 20.0)))) (exp 1) (exp (log (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))))) (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))) (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))) (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))) (exp (log 1)) (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log 1)) (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log 1)) (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))) (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))) (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))) (exp (log (- (+ 10.0 d2) 20.0))) (log (exp (log (+ (+ 10.0 d2) 20.0)))) (exp (exp (log (+ (+ 10.0 d2) 20.0)))) (* (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (* (* (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log (+ (+ 10.0 d2) 20.0)))) (exp (log (+ (+ 10.0 d2) 20.0)))) (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))) (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (+ (+ (log (cbrt (+ 20.0 (+ 10.0 d2)))) (log (cbrt (+ 20.0 (+ 10.0 d2))))) (log d1)) (+ (log (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (log d1)) (log (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (exp (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))) (* (* d1 d1) d1)) (* (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (* (* d1 d1) d1)) (* (cbrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (cbrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1))) (cbrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (sqrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (sqrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (sqrt d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (sqrt d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (* (cbrt d1) (cbrt d1))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (sqrt d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) 1) (* (cbrt (+ 20.0 (+ 10.0 d2))) d1) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (+ (+ (+ (log (cbrt (+ 20.0 (+ 10.0 d2)))) (log (cbrt (+ 20.0 (+ 10.0 d2))))) (log d1)) (log (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (+ (+ (log (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (log d1)) (log (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (+ (log (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (log (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (log (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (exp (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (* (* (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))) (* (* d1 d1) d1)) (exp (log (+ (+ 10.0 d2) 20.0)))) (* (* (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (* (* d1 d1) d1)) (exp (log (+ (+ 10.0 d2) 20.0)))) (* (* (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (exp (log (+ (+ 10.0 d2) 20.0)))) (* (cbrt (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (cbrt (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))))) (cbrt (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (* (* (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (sqrt (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (sqrt (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2)))))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2)))))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (- 20.0 (+ 10.0 d2)))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (- 20.0 (+ 10.0 d2)))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2)))))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2)))))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (- 20.0 (+ 10.0 d2)))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (- 20.0 (+ 10.0 d2)))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (exp (log (- (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log 1)))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log 1)))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log 1)))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (* (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt 1)) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (cbrt (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (cbrt (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (sqrt (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) 1) (* d1 (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))) (log (cbrt (+ 20.0 (+ 10.0 d2)))) (exp (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (cbrt (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (sqrt (+ 20.0 (+ 10.0 d2)))) (cbrt (sqrt (+ 20.0 (+ 10.0 d2)))) (cbrt 1) (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt 1) (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt 1) (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- 20.0 (+ 10.0 d2))) (* (cbrt (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (cbrt (+ 20.0 (+ 10.0 d2))))) (cbrt (cbrt (+ 20.0 (+ 10.0 d2)))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) (sqrt (cbrt (+ 20.0 (+ 10.0 d2)))) (sqrt (cbrt (+ 20.0 (+ 10.0 d2)))) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) (- (+ (* d1 (pow 900.0 1/3)) (+ (* 0.0006172839506172838 (* (* d1 (pow d2 2)) (pow 900.0 1/3))) (* 0.02222222222222222 (* (* d1 d2) (pow 900.0 1/3))))) (* 600.0 (* (* d1 (pow d2 2)) (pow 1.6935087808430286e-15 1/3)))) (- (+ (* d1 (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d2))))))) (* 20.0 (/ (* d1 (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d2))))))) d2))) (* 100.0 (/ (* d1 (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d2))))))) (pow d2 2)))) (- (+ (* 20.0 (/ (* d1 (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d2))))))) d2)) (* d1 (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d2)))))))) (* 100.0 (/ (* d1 (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d2))))))) (pow d2 2)))) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (+ (* 30.0 d1) (* d1 d2)) (- (+ (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))) (+ (pow 30.0 1/3) (* 0.01111111111111111 (* d2 (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 1) (log (/ 1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log 1) (log (/ 1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log 1) (log (/ 1 d2))))) (pow d2 2)))) (- (+ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 d2))))) (pow d2 2)))) 45.379 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 45.379 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 45.380 * * [simplify]: iteration done : 5 enodes (cost 1 ) 45.380 * * [simplify]: iteration 0 : 9 enodes (cost 16 ) 45.381 * * [simplify]: iteration 1 : 15 enodes (cost 16 ) 45.383 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 45.386 * * [simplify]: iteration 3 : 30 enodes (cost 16 ) 45.390 * * [simplify]: iteration 4 : 48 enodes (cost 16 ) 45.397 * * [simplify]: iteration 5 : 88 enodes (cost 16 ) 45.423 * * [simplify]: iteration 6 : 201 enodes (cost 16 ) 45.522 * * [simplify]: iteration 7 : 577 enodes (cost 16 ) 46.590 * * [simplify]: iteration 8 : 2252 enodes (cost 16 ) 48.814 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 48.815 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 48.816 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 48.817 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 48.819 * * [simplify]: iteration done : 18 enodes (cost 8 ) 48.820 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 48.820 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 48.820 * * [simplify]: iteration done : 5 enodes (cost 1 ) 48.821 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 48.822 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 48.824 * * [simplify]: iteration 2 : 25 enodes (cost 10 ) 48.827 * * [simplify]: iteration 3 : 28 enodes (cost 10 ) 48.830 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 48.834 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 48.840 * * [simplify]: iteration 6 : 77 enodes (cost 8 ) 48.857 * * [simplify]: iteration 7 : 162 enodes (cost 8 ) 48.927 * * [simplify]: iteration 8 : 442 enodes (cost 8 ) 49.410 * * [simplify]: iteration 9 : 1782 enodes (cost 8 ) 50.905 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 50.905 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 50.906 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 50.907 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 50.909 * * [simplify]: iteration done : 18 enodes (cost 6 ) 50.910 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 50.911 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 50.912 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 50.914 * * [simplify]: iteration done : 18 enodes (cost 6 ) 50.915 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 50.916 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 50.917 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 50.919 * * [simplify]: iteration done : 18 enodes (cost 6 ) 50.920 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.920 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 50.920 * * [simplify]: iteration done : 5 enodes (cost 1 ) 50.921 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.922 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 50.923 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 50.925 * * [simplify]: iteration done : 17 enodes (cost 5 ) 50.925 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.925 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 50.926 * * [simplify]: iteration done : 5 enodes (cost 1 ) 50.926 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.927 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 50.928 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 50.930 * * [simplify]: iteration done : 17 enodes (cost 5 ) 50.931 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.931 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 50.931 * * [simplify]: iteration done : 5 enodes (cost 1 ) 50.932 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.933 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 50.934 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 50.936 * * [simplify]: iteration done : 17 enodes (cost 5 ) 50.936 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 50.937 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 50.941 * * [simplify]: iteration 2 : 50 enodes (cost 9 ) 50.949 * * [simplify]: iteration 3 : 107 enodes (cost 9 ) 50.976 * * [simplify]: iteration 4 : 244 enodes (cost 9 ) 51.074 * * [simplify]: iteration 5 : 701 enodes (cost 9 ) 51.838 * * [simplify]: iteration 6 : 2664 enodes (cost 9 ) 53.524 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 53.524 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 53.526 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 53.530 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 53.550 * * [simplify]: iteration 3 : 184 enodes (cost 13 ) 53.630 * * [simplify]: iteration 4 : 731 enodes (cost 13 ) 54.326 * * [simplify]: iteration 5 : 2294 enodes (cost 13 ) 56.118 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 56.118 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 56.120 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 56.123 * * [simplify]: iteration 2 : 56 enodes (cost 11 ) 56.132 * * [simplify]: iteration 3 : 144 enodes (cost 11 ) 56.181 * * [simplify]: iteration 4 : 456 enodes (cost 11 ) 56.511 * * [simplify]: iteration 5 : 1301 enodes (cost 11 ) 57.870 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 57.871 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 57.872 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 57.873 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 57.876 * * [simplify]: iteration 3 : 25 enodes (cost 5 ) 57.879 * * [simplify]: iteration 4 : 31 enodes (cost 5 ) 57.883 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 57.889 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 57.896 * * [simplify]: iteration 7 : 66 enodes (cost 5 ) 57.907 * * [simplify]: iteration 8 : 75 enodes (cost 5 ) 57.915 * * [simplify]: iteration 9 : 84 enodes (cost 5 ) 57.926 * * [simplify]: iteration 10 : 99 enodes (cost 5 ) 57.936 * * [simplify]: iteration 11 : 104 enodes (cost 5 ) 57.947 * * [simplify]: iteration 12 : 108 enodes (cost 5 ) 57.960 * * [simplify]: iteration 13 : 112 enodes (cost 5 ) 57.974 * * [simplify]: iteration done : 112 enodes (cost 5 ) 57.975 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 57.976 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 57.977 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 57.979 * * [simplify]: iteration done : 18 enodes (cost 6 ) 57.979 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 57.980 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 57.982 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 57.985 * * [simplify]: iteration 3 : 34 enodes (cost 6 ) 57.990 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 57.994 * * [simplify]: iteration done : 40 enodes (cost 6 ) 57.995 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 57.996 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 57.997 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 57.999 * * [simplify]: iteration done : 19 enodes (cost 13 ) 58.000 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 58.001 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 58.002 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 58.004 * * [simplify]: iteration done : 18 enodes (cost 6 ) 58.005 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 58.006 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 58.008 * * [simplify]: iteration 2 : 58 enodes (cost 7 ) 58.024 * * [simplify]: iteration 3 : 246 enodes (cost 7 ) 58.165 * * [simplify]: iteration 4 : 1098 enodes (cost 7 ) 59.778 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 59.779 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 59.780 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 59.781 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 59.783 * * [simplify]: iteration done : 18 enodes (cost 6 ) 59.783 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 59.784 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 59.785 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 59.791 * * [simplify]: iteration done : 18 enodes (cost 6 ) 59.792 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 59.793 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 59.795 * * [simplify]: iteration 2 : 24 enodes (cost 15 ) 59.798 * * [simplify]: iteration done : 24 enodes (cost 15 ) 59.799 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 59.800 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 59.802 * * [simplify]: iteration 2 : 24 enodes (cost 15 ) 59.805 * * [simplify]: iteration done : 24 enodes (cost 15 ) 59.805 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 59.807 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 59.809 * * [simplify]: iteration 2 : 29 enodes (cost 12 ) 59.812 * * [simplify]: iteration done : 29 enodes (cost 12 ) 59.812 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 59.814 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 59.816 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 59.819 * * [simplify]: iteration 3 : 33 enodes (cost 12 ) 59.822 * * [simplify]: iteration done : 33 enodes (cost 12 ) 59.823 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 59.824 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 59.827 * * [simplify]: iteration 2 : 33 enodes (cost 16 ) 59.830 * * [simplify]: iteration 3 : 40 enodes (cost 12 ) 59.834 * * [simplify]: iteration 4 : 41 enodes (cost 12 ) 59.839 * * [simplify]: iteration done : 41 enodes (cost 12 ) 59.839 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 59.840 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 59.843 * * [simplify]: iteration 2 : 36 enodes (cost 16 ) 59.847 * * [simplify]: iteration 3 : 52 enodes (cost 16 ) 59.857 * * [simplify]: iteration 4 : 94 enodes (cost 16 ) 59.872 * * [simplify]: iteration 5 : 201 enodes (cost 16 ) 59.951 * * [simplify]: iteration 6 : 462 enodes (cost 16 ) 60.250 * * [simplify]: iteration 7 : 1219 enodes (cost 16 ) 62.429 * * [simplify]: iteration 8 : 4697 enodes (cost 16 ) 63.924 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 63.924 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 63.926 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 63.931 * * [simplify]: iteration 2 : 92 enodes (cost 15 ) 63.955 * * [simplify]: iteration 3 : 366 enodes (cost 15 ) 64.208 * * [simplify]: iteration 4 : 1744 enodes (cost 15 ) 65.361 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 65.362 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 65.364 * * [simplify]: iteration 1 : 31 enodes (cost 47 ) 65.370 * * [simplify]: iteration 2 : 89 enodes (cost 19 ) 65.401 * * [simplify]: iteration 3 : 230 enodes (cost 12 ) 65.531 * * [simplify]: iteration 4 : 741 enodes (cost 12 ) 66.556 * * [simplify]: iteration 5 : 3665 enodes (cost 12 ) 68.197 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 68.198 * * [simplify]: iteration 0 : 11 enodes (cost 33 ) 68.199 * * [simplify]: iteration 1 : 18 enodes (cost 33 ) 68.201 * * [simplify]: iteration 2 : 26 enodes (cost 33 ) 68.204 * * [simplify]: iteration done : 26 enodes (cost 33 ) 68.205 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 68.206 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 68.208 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 68.211 * * [simplify]: iteration done : 25 enodes (cost 16 ) 68.212 * * [simplify]: iteration 0 : 11 enodes (cost 47 ) 68.217 * * [simplify]: iteration 1 : 28 enodes (cost 47 ) 68.223 * * [simplify]: iteration 2 : 85 enodes (cost 17 ) 68.252 * * [simplify]: iteration 3 : 242 enodes (cost 17 ) 68.407 * * [simplify]: iteration 4 : 364 enodes (cost 15 ) 68.641 * * [simplify]: iteration 5 : 890 enodes (cost 12 ) 69.897 * * [simplify]: iteration 6 : 3771 enodes (cost 12 ) 71.680 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 71.681 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 71.682 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 71.684 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 71.687 * * [simplify]: iteration done : 25 enodes (cost 16 ) 71.687 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 71.688 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 71.690 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 71.693 * * [simplify]: iteration done : 25 enodes (cost 16 ) 71.694 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 71.695 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 71.696 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 71.699 * * [simplify]: iteration done : 20 enodes (cost 9 ) 71.699 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 71.700 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 71.702 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 71.704 * * [simplify]: iteration done : 20 enodes (cost 9 ) 71.705 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 71.706 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 71.709 * * [simplify]: iteration 2 : 39 enodes (cost 19 ) 71.715 * * [simplify]: iteration done : 39 enodes (cost 19 ) 71.715 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 71.717 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 71.719 * * [simplify]: iteration 2 : 25 enodes (cost 16 ) 71.721 * * [simplify]: iteration done : 25 enodes (cost 16 ) 71.722 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 71.723 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 71.725 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 71.729 * * [simplify]: iteration done : 32 enodes (cost 13 ) 71.729 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 71.730 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 71.731 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 71.734 * * [simplify]: iteration done : 19 enodes (cost 8 ) 71.734 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 71.736 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 71.744 * * [simplify]: iteration 2 : 57 enodes (cost 23 ) 71.753 * * [simplify]: iteration 3 : 114 enodes (cost 23 ) 71.777 * * [simplify]: iteration 4 : 253 enodes (cost 23 ) 71.875 * * [simplify]: iteration 5 : 700 enodes (cost 23 ) 72.581 * * [simplify]: iteration 6 : 2668 enodes (cost 23 ) 74.069 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 74.070 * * [simplify]: iteration 0 : 16 enodes (cost 25 ) 74.072 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 74.079 * * [simplify]: iteration 2 : 106 enodes (cost 25 ) 74.102 * * [simplify]: iteration 3 : 262 enodes (cost 25 ) 74.176 * * [simplify]: iteration 4 : 736 enodes (cost 25 ) 74.678 * * [simplify]: iteration 5 : 2283 enodes (cost 25 ) 75.806 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 75.807 * * [simplify]: iteration 0 : 16 enodes (cost 25 ) 75.809 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 75.816 * * [simplify]: iteration 2 : 106 enodes (cost 25 ) 75.842 * * [simplify]: iteration 3 : 262 enodes (cost 25 ) 75.915 * * [simplify]: iteration 4 : 739 enodes (cost 25 ) 76.411 * * [simplify]: iteration 5 : 2288 enodes (cost 25 ) 77.560 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 77.561 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 77.562 * * [simplify]: iteration 1 : 26 enodes (cost 27 ) 77.566 * * [simplify]: iteration 2 : 61 enodes (cost 27 ) 77.576 * * [simplify]: iteration 3 : 151 enodes (cost 27 ) 77.619 * * [simplify]: iteration 4 : 450 enodes (cost 27 ) 77.909 * * [simplify]: iteration 5 : 1324 enodes (cost 27 ) 79.177 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 79.178 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 79.179 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 79.184 * * [simplify]: iteration 2 : 73 enodes (cost 19 ) 79.197 * * [simplify]: iteration 3 : 130 enodes (cost 19 ) 79.226 * * [simplify]: iteration 4 : 273 enodes (cost 19 ) 79.329 * * [simplify]: iteration 5 : 732 enodes (cost 19 ) 80.046 * * [simplify]: iteration 6 : 2651 enodes (cost 19 ) 81.735 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 81.736 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 81.738 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 81.742 * * [simplify]: iteration 2 : 71 enodes (cost 21 ) 81.754 * * [simplify]: iteration 3 : 161 enodes (cost 21 ) 81.799 * * [simplify]: iteration 4 : 463 enodes (cost 21 ) 82.093 * * [simplify]: iteration 5 : 1334 enodes (cost 21 ) 83.536 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 83.537 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 83.539 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 83.544 * * [simplify]: iteration 2 : 73 enodes (cost 19 ) 83.556 * * [simplify]: iteration 3 : 132 enodes (cost 19 ) 83.587 * * [simplify]: iteration 4 : 271 enodes (cost 19 ) 83.692 * * [simplify]: iteration 5 : 734 enodes (cost 19 ) 84.439 * * [simplify]: iteration 6 : 2690 enodes (cost 19 ) 85.954 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 85.955 * * [simplify]: iteration 0 : 13 enodes (cost 21 ) 85.956 * * [simplify]: iteration 1 : 31 enodes (cost 21 ) 85.965 * * [simplify]: iteration 2 : 71 enodes (cost 21 ) 85.977 * * [simplify]: iteration 3 : 161 enodes (cost 21 ) 86.023 * * [simplify]: iteration 4 : 461 enodes (cost 21 ) 86.315 * * [simplify]: iteration 5 : 1333 enodes (cost 21 ) 87.550 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 87.551 * * [simplify]: iteration 0 : 14 enodes (cost 24 ) 87.553 * * [simplify]: iteration 1 : 25 enodes (cost 22 ) 87.556 * * [simplify]: iteration 2 : 35 enodes (cost 22 ) 87.560 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 87.565 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 87.572 * * [simplify]: iteration 5 : 85 enodes (cost 7 ) 87.591 * * [simplify]: iteration 6 : 123 enodes (cost 7 ) 87.616 * * [simplify]: iteration 7 : 211 enodes (cost 7 ) 87.686 * * [simplify]: iteration 8 : 470 enodes (cost 7 ) 88.076 * * [simplify]: iteration 9 : 1442 enodes (cost 7 ) 91.049 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 91.050 * * [simplify]: iteration 0 : 14 enodes (cost 24 ) 91.051 * * [simplify]: iteration 1 : 25 enodes (cost 22 ) 91.054 * * [simplify]: iteration 2 : 35 enodes (cost 22 ) 91.059 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 91.064 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 91.071 * * [simplify]: iteration 5 : 85 enodes (cost 7 ) 91.084 * * [simplify]: iteration 6 : 123 enodes (cost 7 ) 91.114 * * [simplify]: iteration 7 : 211 enodes (cost 7 ) 91.185 * * [simplify]: iteration 8 : 470 enodes (cost 7 ) 91.578 * * [simplify]: iteration 9 : 1442 enodes (cost 7 ) 94.507 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 94.508 * * [simplify]: iteration 0 : 14 enodes (cost 24 ) 94.510 * * [simplify]: iteration 1 : 25 enodes (cost 22 ) 94.513 * * [simplify]: iteration 2 : 35 enodes (cost 22 ) 94.517 * * [simplify]: iteration 3 : 39 enodes (cost 10 ) 94.522 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 94.530 * * [simplify]: iteration 5 : 85 enodes (cost 7 ) 94.544 * * [simplify]: iteration 6 : 123 enodes (cost 7 ) 94.573 * * [simplify]: iteration 7 : 211 enodes (cost 7 ) 94.645 * * [simplify]: iteration 8 : 470 enodes (cost 7 ) 95.023 * * [simplify]: iteration 9 : 1442 enodes (cost 7 ) 97.937 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 97.938 * * [simplify]: iteration 0 : 17 enodes (cost 28 ) 97.940 * * [simplify]: iteration 1 : 30 enodes (cost 20 ) 97.943 * * [simplify]: iteration 2 : 41 enodes (cost 20 ) 97.953 * * [simplify]: iteration 3 : 45 enodes (cost 12 ) 97.958 * * [simplify]: iteration 4 : 48 enodes (cost 12 ) 97.963 * * [simplify]: iteration done : 48 enodes (cost 12 ) 97.964 * * [simplify]: iteration 0 : 17 enodes (cost 27 ) 97.965 * * [simplify]: iteration 1 : 27 enodes (cost 25 ) 97.968 * * [simplify]: iteration 2 : 42 enodes (cost 20 ) 97.974 * * [simplify]: iteration 3 : 49 enodes (cost 12 ) 97.979 * * [simplify]: iteration 4 : 52 enodes (cost 12 ) 97.984 * * [simplify]: iteration done : 52 enodes (cost 12 ) 97.985 * * [simplify]: iteration 0 : 16 enodes (cost 26 ) 97.987 * * [simplify]: iteration 1 : 28 enodes (cost 24 ) 97.990 * * [simplify]: iteration 2 : 42 enodes (cost 24 ) 97.995 * * [simplify]: iteration 3 : 52 enodes (cost 19 ) 98.001 * * [simplify]: iteration 4 : 57 enodes (cost 12 ) 98.011 * * [simplify]: iteration 5 : 60 enodes (cost 12 ) 98.017 * * [simplify]: iteration done : 60 enodes (cost 12 ) 98.018 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 98.020 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 98.023 * * [simplify]: iteration 2 : 47 enodes (cost 23 ) 98.029 * * [simplify]: iteration 3 : 66 enodes (cost 11 ) 98.037 * * [simplify]: iteration 4 : 73 enodes (cost 8 ) 98.048 * * [simplify]: iteration 5 : 120 enodes (cost 8 ) 98.072 * * [simplify]: iteration 6 : 175 enodes (cost 8 ) 98.105 * * [simplify]: iteration 7 : 283 enodes (cost 8 ) 98.205 * * [simplify]: iteration 8 : 664 enodes (cost 8 ) 98.715 * * [simplify]: iteration 9 : 2040 enodes (cost 8 ) 100.194 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 100.195 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 100.197 * * [simplify]: iteration 1 : 28 enodes (cost 23 ) 100.201 * * [simplify]: iteration 2 : 50 enodes (cost 23 ) 100.207 * * [simplify]: iteration 3 : 80 enodes (cost 11 ) 100.219 * * [simplify]: iteration 4 : 151 enodes (cost 8 ) 100.250 * * [simplify]: iteration 5 : 377 enodes (cost 8 ) 100.406 * * [simplify]: iteration 6 : 862 enodes (cost 8 ) 101.107 * * [simplify]: iteration 7 : 2293 enodes (cost 8 ) 102.369 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 102.369 * * [simplify]: iteration 0 : 14 enodes (cost 25 ) 102.371 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 102.379 * * [simplify]: iteration 2 : 167 enodes (cost 21 ) 102.444 * * [simplify]: iteration 3 : 774 enodes (cost 11 ) 103.235 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 103.236 * * [simplify]: iteration 0 : 17 enodes (cost 55 ) 103.238 * * [simplify]: iteration 1 : 39 enodes (cost 53 ) 103.246 * * [simplify]: iteration 2 : 157 enodes (cost 25 ) 103.355 * * [simplify]: iteration 3 : 967 enodes (cost 18 ) 105.163 * * [simplify]: iteration done : 5002 enodes (cost 18 ) 105.164 * * [simplify]: iteration 0 : 15 enodes (cost 55 ) 105.166 * * [simplify]: iteration 1 : 36 enodes (cost 53 ) 105.174 * * [simplify]: iteration 2 : 154 enodes (cost 23 ) 105.265 * * [simplify]: iteration 3 : 931 enodes (cost 23 ) 107.241 * * [simplify]: iteration 4 : 4561 enodes (cost 21 ) 109.275 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 109.276 * * [simplify]: iteration 0 : 16 enodes (cost 51 ) 109.278 * * [simplify]: iteration 1 : 27 enodes (cost 47 ) 109.281 * * [simplify]: iteration 2 : 37 enodes (cost 47 ) 109.286 * * [simplify]: iteration 3 : 41 enodes (cost 23 ) 109.291 * * [simplify]: iteration 4 : 46 enodes (cost 17 ) 109.298 * * [simplify]: iteration 5 : 87 enodes (cost 17 ) 109.312 * * [simplify]: iteration 6 : 127 enodes (cost 17 ) 109.343 * * [simplify]: iteration 7 : 218 enodes (cost 17 ) 109.416 * * [simplify]: iteration 8 : 482 enodes (cost 17 ) 109.793 * * [simplify]: iteration 9 : 1447 enodes (cost 17 ) 112.822 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 112.823 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 112.825 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 112.828 * * [simplify]: iteration 2 : 36 enodes (cost 23 ) 112.833 * * [simplify]: iteration 3 : 38 enodes (cost 11 ) 112.838 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 112.846 * * [simplify]: iteration 5 : 84 enodes (cost 8 ) 112.864 * * [simplify]: iteration 6 : 122 enodes (cost 8 ) 112.891 * * [simplify]: iteration 7 : 215 enodes (cost 8 ) 112.968 * * [simplify]: iteration 8 : 479 enodes (cost 8 ) 113.346 * * [simplify]: iteration 9 : 1451 enodes (cost 8 ) 116.265 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 116.266 * * [simplify]: iteration 0 : 16 enodes (cost 74 ) 116.269 * * [simplify]: iteration 1 : 37 enodes (cost 68 ) 116.279 * * [simplify]: iteration 2 : 116 enodes (cost 24 ) 116.339 * * [simplify]: iteration 3 : 371 enodes (cost 12 ) 116.737 * * [simplify]: iteration 4 : 702 enodes (cost 9 ) 117.638 * * [simplify]: iteration 5 : 1796 enodes (cost 9 ) 119.007 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 119.008 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 119.010 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 119.013 * * [simplify]: iteration 2 : 36 enodes (cost 23 ) 119.018 * * [simplify]: iteration 3 : 38 enodes (cost 11 ) 119.023 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 119.034 * * [simplify]: iteration 5 : 84 enodes (cost 8 ) 119.049 * * [simplify]: iteration 6 : 122 enodes (cost 8 ) 119.075 * * [simplify]: iteration 7 : 215 enodes (cost 8 ) 119.150 * * [simplify]: iteration 8 : 479 enodes (cost 8 ) 119.534 * * [simplify]: iteration 9 : 1451 enodes (cost 8 ) 122.428 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 122.429 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 122.434 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 122.437 * * [simplify]: iteration 2 : 36 enodes (cost 23 ) 122.441 * * [simplify]: iteration 3 : 38 enodes (cost 11 ) 122.447 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 122.454 * * [simplify]: iteration 5 : 84 enodes (cost 8 ) 122.468 * * [simplify]: iteration 6 : 122 enodes (cost 8 ) 122.498 * * [simplify]: iteration 7 : 215 enodes (cost 8 ) 122.569 * * [simplify]: iteration 8 : 479 enodes (cost 8 ) 122.945 * * [simplify]: iteration 9 : 1451 enodes (cost 8 ) 125.847 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 125.847 * * [simplify]: iteration 0 : 17 enodes (cost 36 ) 125.850 * * [simplify]: iteration 1 : 37 enodes (cost 34 ) 125.855 * * [simplify]: iteration 2 : 68 enodes (cost 34 ) 125.866 * * [simplify]: iteration 3 : 128 enodes (cost 14 ) 125.905 * * [simplify]: iteration 4 : 271 enodes (cost 11 ) 126.013 * * [simplify]: iteration 5 : 789 enodes (cost 11 ) 126.815 * * [simplify]: iteration 6 : 3193 enodes (cost 11 ) 128.139 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 128.140 * * [simplify]: iteration 0 : 18 enodes (cost 58 ) 128.142 * * [simplify]: iteration 1 : 47 enodes (cost 46 ) 128.150 * * [simplify]: iteration 2 : 109 enodes (cost 44 ) 128.177 * * [simplify]: iteration 3 : 305 enodes (cost 16 ) 128.339 * * [simplify]: iteration 4 : 1105 enodes (cost 13 ) 130.354 * * [simplify]: iteration 5 : 3534 enodes (cost 13 ) 131.942 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 131.943 * * [simplify]: iteration 0 : 19 enodes (cost 38 ) 131.946 * * [simplify]: iteration 1 : 49 enodes (cost 36 ) 131.953 * * [simplify]: iteration 2 : 121 enodes (cost 36 ) 131.980 * * [simplify]: iteration 3 : 283 enodes (cost 36 ) 132.064 * * [simplify]: iteration 4 : 772 enodes (cost 36 ) 132.611 * * [simplify]: iteration 5 : 2275 enodes (cost 36 ) 133.675 * * [simplify]: iteration done : 5000 enodes (cost 36 ) 133.676 * * [simplify]: iteration 0 : 16 enodes (cost 46 ) 133.679 * * [simplify]: iteration 1 : 43 enodes (cost 36 ) 133.686 * * [simplify]: iteration 2 : 98 enodes (cost 36 ) 133.713 * * [simplify]: iteration 3 : 254 enodes (cost 36 ) 133.833 * * [simplify]: iteration 4 : 852 enodes (cost 36 ) 135.118 * * [simplify]: iteration 5 : 2678 enodes (cost 36 ) 137.259 * * [simplify]: iteration done : 5000 enodes (cost 36 ) 137.260 * * [simplify]: iteration 0 : 21 enodes (cost 38 ) 137.264 * * [simplify]: iteration 1 : 51 enodes (cost 36 ) 137.272 * * [simplify]: iteration 2 : 121 enodes (cost 36 ) 137.301 * * [simplify]: iteration 3 : 282 enodes (cost 36 ) 137.382 * * [simplify]: iteration 4 : 763 enodes (cost 36 ) 137.899 * * [simplify]: iteration 5 : 2301 enodes (cost 36 ) 139.030 * * [simplify]: iteration done : 5001 enodes (cost 36 ) 139.036 * * [simplify]: iteration 0 : 20 enodes (cost 46 ) 139.039 * * [simplify]: iteration 1 : 53 enodes (cost 38 ) 139.049 * * [simplify]: iteration 2 : 123 enodes (cost 36 ) 139.075 * * [simplify]: iteration 3 : 325 enodes (cost 36 ) 139.239 * * [simplify]: iteration 4 : 1120 enodes (cost 36 ) 141.314 * * [simplify]: iteration 5 : 3611 enodes (cost 36 ) 142.806 * * [simplify]: iteration done : 5000 enodes (cost 36 ) 142.807 * * [simplify]: iteration 0 : 21 enodes (cost 40 ) 142.810 * * [simplify]: iteration 1 : 57 enodes (cost 38 ) 142.820 * * [simplify]: iteration 2 : 153 enodes (cost 38 ) 142.856 * * [simplify]: iteration 3 : 402 enodes (cost 38 ) 142.985 * * [simplify]: iteration 4 : 1154 enodes (cost 38 ) 143.858 * * [simplify]: iteration 5 : 3468 enodes (cost 38 ) 145.395 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 145.396 * * [simplify]: iteration 0 : 18 enodes (cost 34 ) 145.399 * * [simplify]: iteration 1 : 50 enodes (cost 28 ) 145.407 * * [simplify]: iteration 2 : 117 enodes (cost 28 ) 145.435 * * [simplify]: iteration 3 : 281 enodes (cost 28 ) 145.560 * * [simplify]: iteration 4 : 885 enodes (cost 28 ) 146.923 * * [simplify]: iteration 5 : 2718 enodes (cost 28 ) 148.998 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 148.999 * * [simplify]: iteration 0 : 21 enodes (cost 38 ) 149.002 * * [simplify]: iteration 1 : 51 enodes (cost 36 ) 149.016 * * [simplify]: iteration 2 : 121 enodes (cost 36 ) 149.038 * * [simplify]: iteration 3 : 286 enodes (cost 36 ) 149.117 * * [simplify]: iteration 4 : 764 enodes (cost 36 ) 149.626 * * [simplify]: iteration 5 : 2292 enodes (cost 36 ) 150.778 * * [simplify]: iteration done : 5000 enodes (cost 36 ) 150.779 * * [simplify]: iteration 0 : 20 enodes (cost 46 ) 150.783 * * [simplify]: iteration 1 : 53 enodes (cost 38 ) 150.791 * * [simplify]: iteration 2 : 120 enodes (cost 36 ) 150.822 * * [simplify]: iteration 3 : 322 enodes (cost 36 ) 150.984 * * [simplify]: iteration 4 : 1107 enodes (cost 36 ) 153.048 * * [simplify]: iteration 5 : 3614 enodes (cost 36 ) 154.588 * * [simplify]: iteration done : 5001 enodes (cost 36 ) 154.589 * * [simplify]: iteration 0 : 21 enodes (cost 40 ) 154.592 * * [simplify]: iteration 1 : 57 enodes (cost 38 ) 154.606 * * [simplify]: iteration 2 : 153 enodes (cost 38 ) 154.637 * * [simplify]: iteration 3 : 407 enodes (cost 38 ) 154.768 * * [simplify]: iteration 4 : 1152 enodes (cost 38 ) 155.649 * * [simplify]: iteration 5 : 3472 enodes (cost 38 ) 156.946 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 156.947 * * [simplify]: iteration 0 : 18 enodes (cost 34 ) 156.950 * * [simplify]: iteration 1 : 50 enodes (cost 28 ) 156.957 * * [simplify]: iteration 2 : 117 enodes (cost 28 ) 156.981 * * [simplify]: iteration 3 : 281 enodes (cost 28 ) 157.099 * * [simplify]: iteration 4 : 872 enodes (cost 28 ) 158.430 * * [simplify]: iteration 5 : 2724 enodes (cost 28 ) 160.469 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 160.470 * * [simplify]: iteration 0 : 19 enodes (cost 40 ) 160.473 * * [simplify]: iteration 1 : 49 enodes (cost 38 ) 160.487 * * [simplify]: iteration 2 : 119 enodes (cost 38 ) 160.509 * * [simplify]: iteration 3 : 283 enodes (cost 38 ) 160.588 * * [simplify]: iteration 4 : 761 enodes (cost 38 ) 161.113 * * [simplify]: iteration 5 : 2292 enodes (cost 38 ) 162.252 * * [simplify]: iteration done : 5001 enodes (cost 38 ) 162.253 * * [simplify]: iteration 0 : 16 enodes (cost 34 ) 162.255 * * [simplify]: iteration 1 : 37 enodes (cost 30 ) 162.261 * * [simplify]: iteration 2 : 90 enodes (cost 30 ) 162.279 * * [simplify]: iteration 3 : 215 enodes (cost 28 ) 162.378 * * [simplify]: iteration 4 : 816 enodes (cost 28 ) 163.167 * * [simplify]: iteration 5 : 2462 enodes (cost 28 ) 165.215 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 165.216 * * [simplify]: iteration 0 : 16 enodes (cost 42 ) 165.218 * * [simplify]: iteration 1 : 39 enodes (cost 40 ) 165.224 * * [simplify]: iteration 2 : 106 enodes (cost 40 ) 165.244 * * [simplify]: iteration 3 : 282 enodes (cost 40 ) 165.333 * * [simplify]: iteration 4 : 849 enodes (cost 40 ) 165.964 * * [simplify]: iteration 5 : 2489 enodes (cost 40 ) 167.406 * * [simplify]: iteration done : 5000 enodes (cost 40 ) 167.407 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 167.409 * * [simplify]: iteration 1 : 24 enodes (cost 20 ) 167.412 * * [simplify]: iteration 2 : 42 enodes (cost 20 ) 167.417 * * [simplify]: iteration 3 : 57 enodes (cost 20 ) 167.428 * * [simplify]: iteration 4 : 70 enodes (cost 20 ) 167.441 * * [simplify]: iteration 5 : 100 enodes (cost 20 ) 167.463 * * [simplify]: iteration 6 : 128 enodes (cost 20 ) 167.487 * * [simplify]: iteration 7 : 144 enodes (cost 20 ) 167.500 * * [simplify]: iteration 8 : 146 enodes (cost 20 ) 167.514 * * [simplify]: iteration 9 : 148 enodes (cost 20 ) 167.527 * * [simplify]: iteration done : 148 enodes (cost 20 ) 167.528 * * [simplify]: iteration 0 : 19 enodes (cost 32 ) 167.530 * * [simplify]: iteration 1 : 43 enodes (cost 30 ) 167.537 * * [simplify]: iteration 2 : 88 enodes (cost 30 ) 167.555 * * [simplify]: iteration 3 : 153 enodes (cost 30 ) 167.585 * * [simplify]: iteration 4 : 296 enodes (cost 30 ) 167.694 * * [simplify]: iteration 5 : 779 enodes (cost 30 ) 168.429 * * [simplify]: iteration 6 : 2717 enodes (cost 30 ) 169.951 * * [simplify]: iteration done : 5000 enodes (cost 30 ) 169.952 * * [simplify]: iteration 0 : 17 enodes (cost 39 ) 169.954 * * [simplify]: iteration 1 : 44 enodes (cost 31 ) 169.965 * * [simplify]: iteration 2 : 104 enodes (cost 29 ) 169.989 * * [simplify]: iteration 3 : 298 enodes (cost 29 ) 170.143 * * [simplify]: iteration 4 : 1080 enodes (cost 29 ) 172.115 * * [simplify]: iteration 5 : 3531 enodes (cost 29 ) 173.634 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 173.635 * * [simplify]: iteration 0 : 21 enodes (cost 34 ) 173.638 * * [simplify]: iteration 1 : 54 enodes (cost 32 ) 173.646 * * [simplify]: iteration 2 : 133 enodes (cost 32 ) 173.672 * * [simplify]: iteration 3 : 310 enodes (cost 32 ) 173.766 * * [simplify]: iteration 4 : 810 enodes (cost 32 ) 174.321 * * [simplify]: iteration 5 : 2333 enodes (cost 32 ) 175.330 * * [simplify]: iteration done : 5001 enodes (cost 32 ) 175.331 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 175.333 * * [simplify]: iteration 1 : 40 enodes (cost 21 ) 175.339 * * [simplify]: iteration 2 : 93 enodes (cost 21 ) 175.361 * * [simplify]: iteration 3 : 249 enodes (cost 21 ) 175.477 * * [simplify]: iteration 4 : 849 enodes (cost 21 ) 176.752 * * [simplify]: iteration 5 : 2679 enodes (cost 21 ) 178.857 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 178.858 * * [simplify]: iteration 0 : 21 enodes (cost 34 ) 178.861 * * [simplify]: iteration 1 : 54 enodes (cost 32 ) 178.869 * * [simplify]: iteration 2 : 131 enodes (cost 32 ) 178.899 * * [simplify]: iteration 3 : 314 enodes (cost 32 ) 178.983 * * [simplify]: iteration 4 : 795 enodes (cost 32 ) 179.504 * * [simplify]: iteration 5 : 2349 enodes (cost 32 ) 180.636 * * [simplify]: iteration done : 5001 enodes (cost 32 ) 180.637 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 180.639 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 180.645 * * [simplify]: iteration 2 : 85 enodes (cost 23 ) 180.661 * * [simplify]: iteration 3 : 210 enodes (cost 21 ) 180.760 * * [simplify]: iteration 4 : 814 enodes (cost 21 ) 181.560 * * [simplify]: iteration 5 : 2478 enodes (cost 21 ) 183.579 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 183.580 * * [simplify]: iteration 0 : 18 enodes (cost 36 ) 183.582 * * [simplify]: iteration 1 : 43 enodes (cost 34 ) 183.588 * * [simplify]: iteration 2 : 114 enodes (cost 34 ) 183.614 * * [simplify]: iteration 3 : 303 enodes (cost 34 ) 183.713 * * [simplify]: iteration 4 : 877 enodes (cost 34 ) 184.371 * * [simplify]: iteration 5 : 2526 enodes (cost 34 ) 185.828 * * [simplify]: iteration done : 5000 enodes (cost 34 ) 185.829 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 185.830 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 185.833 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 185.837 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 185.844 * * [simplify]: iteration 4 : 65 enodes (cost 13 ) 185.857 * * [simplify]: iteration 5 : 95 enodes (cost 13 ) 185.883 * * [simplify]: iteration 6 : 123 enodes (cost 13 ) 185.903 * * [simplify]: iteration 7 : 139 enodes (cost 13 ) 185.916 * * [simplify]: iteration 8 : 141 enodes (cost 13 ) 185.932 * * [simplify]: iteration 9 : 145 enodes (cost 13 ) 185.945 * * [simplify]: iteration done : 145 enodes (cost 13 ) 185.945 * * [simplify]: iteration 0 : 19 enodes (cost 32 ) 185.948 * * [simplify]: iteration 1 : 43 enodes (cost 30 ) 185.954 * * [simplify]: iteration 2 : 88 enodes (cost 30 ) 185.969 * * [simplify]: iteration 3 : 153 enodes (cost 30 ) 186.003 * * [simplify]: iteration 4 : 293 enodes (cost 30 ) 186.113 * * [simplify]: iteration 5 : 758 enodes (cost 30 ) 186.893 * * [simplify]: iteration 6 : 2762 enodes (cost 30 ) 188.543 * * [simplify]: iteration done : 5000 enodes (cost 30 ) 188.544 * * [simplify]: iteration 0 : 17 enodes (cost 39 ) 188.547 * * [simplify]: iteration 1 : 44 enodes (cost 31 ) 188.555 * * [simplify]: iteration 2 : 104 enodes (cost 29 ) 188.583 * * [simplify]: iteration 3 : 298 enodes (cost 29 ) 188.742 * * [simplify]: iteration 4 : 1080 enodes (cost 29 ) 190.727 * * [simplify]: iteration 5 : 3531 enodes (cost 29 ) 192.250 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 192.257 * * [simplify]: iteration 0 : 21 enodes (cost 34 ) 192.260 * * [simplify]: iteration 1 : 54 enodes (cost 32 ) 192.269 * * [simplify]: iteration 2 : 133 enodes (cost 32 ) 192.294 * * [simplify]: iteration 3 : 310 enodes (cost 32 ) 192.390 * * [simplify]: iteration 4 : 808 enodes (cost 32 ) 192.956 * * [simplify]: iteration 5 : 2320 enodes (cost 32 ) 194.055 * * [simplify]: iteration done : 5000 enodes (cost 32 ) 194.056 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 194.058 * * [simplify]: iteration 1 : 40 enodes (cost 21 ) 194.064 * * [simplify]: iteration 2 : 93 enodes (cost 21 ) 194.085 * * [simplify]: iteration 3 : 249 enodes (cost 21 ) 194.204 * * [simplify]: iteration 4 : 849 enodes (cost 21 ) 195.502 * * [simplify]: iteration 5 : 2679 enodes (cost 21 ) 197.604 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 197.605 * * [simplify]: iteration 0 : 21 enodes (cost 34 ) 197.608 * * [simplify]: iteration 1 : 54 enodes (cost 32 ) 197.618 * * [simplify]: iteration 2 : 131 enodes (cost 32 ) 197.643 * * [simplify]: iteration 3 : 310 enodes (cost 32 ) 197.735 * * [simplify]: iteration 4 : 792 enodes (cost 32 ) 198.263 * * [simplify]: iteration 5 : 2351 enodes (cost 32 ) 199.372 * * [simplify]: iteration done : 5001 enodes (cost 32 ) 199.372 * * [simplify]: iteration 0 : 15 enodes (cost 27 ) 199.374 * * [simplify]: iteration 1 : 34 enodes (cost 23 ) 199.379 * * [simplify]: iteration 2 : 85 enodes (cost 23 ) 199.401 * * [simplify]: iteration 3 : 210 enodes (cost 21 ) 199.497 * * [simplify]: iteration 4 : 814 enodes (cost 21 ) 200.306 * * [simplify]: iteration 5 : 2478 enodes (cost 21 ) 202.325 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 202.326 * * [simplify]: iteration 0 : 18 enodes (cost 36 ) 202.329 * * [simplify]: iteration 1 : 43 enodes (cost 34 ) 202.336 * * [simplify]: iteration 2 : 114 enodes (cost 34 ) 202.361 * * [simplify]: iteration 3 : 305 enodes (cost 34 ) 202.457 * * [simplify]: iteration 4 : 875 enodes (cost 34 ) 203.117 * * [simplify]: iteration 5 : 2520 enodes (cost 34 ) 204.554 * * [simplify]: iteration done : 5000 enodes (cost 34 ) 204.555 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 204.556 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 204.559 * * [simplify]: iteration 2 : 37 enodes (cost 13 ) 204.563 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 204.570 * * [simplify]: iteration 4 : 65 enodes (cost 13 ) 204.582 * * [simplify]: iteration 5 : 95 enodes (cost 13 ) 204.606 * * [simplify]: iteration 6 : 123 enodes (cost 13 ) 204.626 * * [simplify]: iteration 7 : 139 enodes (cost 13 ) 204.638 * * [simplify]: iteration 8 : 141 enodes (cost 13 ) 204.651 * * [simplify]: iteration 9 : 145 enodes (cost 13 ) 204.666 * * [simplify]: iteration done : 145 enodes (cost 13 ) 204.666 * * [simplify]: iteration 0 : 16 enodes (cost 32 ) 204.669 * * [simplify]: iteration 1 : 29 enodes (cost 30 ) 204.673 * * [simplify]: iteration 2 : 51 enodes (cost 24 ) 204.681 * * [simplify]: iteration 3 : 80 enodes (cost 24 ) 204.692 * * [simplify]: iteration 4 : 86 enodes (cost 20 ) 204.703 * * [simplify]: iteration 5 : 110 enodes (cost 20 ) 204.725 * * [simplify]: iteration 6 : 189 enodes (cost 20 ) 204.774 * * [simplify]: iteration 7 : 406 enodes (cost 20 ) 205.061 * * [simplify]: iteration 8 : 1148 enodes (cost 20 ) 207.113 * * [simplify]: iteration 9 : 4695 enodes (cost 20 ) 209.104 * * [simplify]: iteration done : 5001 enodes (cost 20 ) 209.105 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 209.107 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 209.110 * * [simplify]: iteration 2 : 44 enodes (cost 23 ) 209.116 * * [simplify]: iteration 3 : 54 enodes (cost 23 ) 209.124 * * [simplify]: iteration done : 54 enodes (cost 23 ) 209.125 * * [simplify]: iteration 0 : 14 enodes (cost 20 ) 209.127 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 209.130 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 209.137 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 209.148 * * [simplify]: iteration 4 : 68 enodes (cost 15 ) 209.154 * * [simplify]: iteration done : 68 enodes (cost 15 ) 209.155 * * [simplify]: iteration 0 : 14 enodes (cost 20 ) 209.156 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 209.159 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 209.166 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 209.172 * * [simplify]: iteration 4 : 68 enodes (cost 15 ) 209.178 * * [simplify]: iteration done : 68 enodes (cost 15 ) 209.179 * * [simplify]: iteration 0 : 14 enodes (cost 20 ) 209.180 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 209.183 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 209.192 * * [simplify]: iteration 3 : 59 enodes (cost 15 ) 209.198 * * [simplify]: iteration 4 : 68 enodes (cost 15 ) 209.207 * * [simplify]: iteration done : 68 enodes (cost 15 ) 209.208 * * [simplify]: iteration 0 : 16 enodes (cost 34 ) 209.210 * * [simplify]: iteration 1 : 27 enodes (cost 30 ) 209.213 * * [simplify]: iteration 2 : 45 enodes (cost 30 ) 209.219 * * [simplify]: iteration 3 : 55 enodes (cost 30 ) 209.227 * * [simplify]: iteration done : 55 enodes (cost 30 ) 209.228 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 209.229 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 209.233 * * [simplify]: iteration 2 : 44 enodes (cost 23 ) 209.239 * * [simplify]: iteration 3 : 54 enodes (cost 23 ) 209.247 * * [simplify]: iteration done : 54 enodes (cost 23 ) 209.248 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 209.250 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 209.253 * * [simplify]: iteration 2 : 44 enodes (cost 17 ) 209.263 * * [simplify]: iteration 3 : 54 enodes (cost 15 ) 209.270 * * [simplify]: iteration 4 : 63 enodes (cost 15 ) 209.275 * * [simplify]: iteration done : 63 enodes (cost 15 ) 209.276 * * [simplify]: iteration 0 : 16 enodes (cost 35 ) 209.278 * * [simplify]: iteration 1 : 29 enodes (cost 31 ) 209.282 * * [simplify]: iteration 2 : 56 enodes (cost 31 ) 209.291 * * [simplify]: iteration 3 : 93 enodes (cost 31 ) 209.312 * * [simplify]: iteration 4 : 102 enodes (cost 31 ) 209.337 * * [simplify]: iteration done : 102 enodes (cost 31 ) 209.338 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 209.339 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 209.343 * * [simplify]: iteration 2 : 44 enodes (cost 23 ) 209.349 * * [simplify]: iteration 3 : 54 enodes (cost 23 ) 209.357 * * [simplify]: iteration done : 54 enodes (cost 23 ) 209.358 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 209.359 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 209.364 * * [simplify]: iteration 2 : 49 enodes (cost 15 ) 209.373 * * [simplify]: iteration 3 : 65 enodes (cost 15 ) 209.380 * * [simplify]: iteration done : 65 enodes (cost 15 ) 209.380 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 209.381 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 209.383 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 209.385 * * [simplify]: iteration done : 21 enodes (cost 8 ) 209.386 * * [simplify]: iteration 0 : 17 enodes (cost 28 ) 209.388 * * [simplify]: iteration 1 : 41 enodes (cost 26 ) 209.394 * * [simplify]: iteration 2 : 86 enodes (cost 26 ) 209.408 * * [simplify]: iteration 3 : 155 enodes (cost 26 ) 209.441 * * [simplify]: iteration 4 : 290 enodes (cost 26 ) 209.545 * * [simplify]: iteration 5 : 743 enodes (cost 26 ) 210.280 * * [simplify]: iteration 6 : 2657 enodes (cost 26 ) 211.929 * * [simplify]: iteration done : 5000 enodes (cost 26 ) 211.930 * * [simplify]: iteration 0 : 16 enodes (cost 30 ) 211.933 * * [simplify]: iteration 1 : 36 enodes (cost 28 ) 211.938 * * [simplify]: iteration 2 : 86 enodes (cost 28 ) 211.954 * * [simplify]: iteration 3 : 186 enodes (cost 28 ) 212.009 * * [simplify]: iteration 4 : 500 enodes (cost 28 ) 212.347 * * [simplify]: iteration 5 : 1349 enodes (cost 28 ) 213.705 * * [simplify]: iteration done : 5001 enodes (cost 28 ) 213.706 * * [simplify]: iteration 0 : 17 enodes (cost 32 ) 213.708 * * [simplify]: iteration 1 : 41 enodes (cost 30 ) 213.714 * * [simplify]: iteration 2 : 86 enodes (cost 30 ) 213.728 * * [simplify]: iteration 3 : 155 enodes (cost 30 ) 213.762 * * [simplify]: iteration 4 : 294 enodes (cost 30 ) 213.868 * * [simplify]: iteration 5 : 769 enodes (cost 30 ) 214.607 * * [simplify]: iteration 6 : 2711 enodes (cost 30 ) 216.111 * * [simplify]: iteration done : 5000 enodes (cost 30 ) 216.112 * * [simplify]: iteration 0 : 21 enodes (cost 34 ) 216.115 * * [simplify]: iteration 1 : 54 enodes (cost 32 ) 216.123 * * [simplify]: iteration 2 : 131 enodes (cost 32 ) 216.153 * * [simplify]: iteration 3 : 309 enodes (cost 32 ) 216.242 * * [simplify]: iteration 4 : 791 enodes (cost 32 ) 216.745 * * [simplify]: iteration 5 : 2331 enodes (cost 32 ) 217.881 * * [simplify]: iteration done : 5000 enodes (cost 32 ) 217.882 * * [simplify]: iteration 0 : 21 enodes (cost 34 ) 217.885 * * [simplify]: iteration 1 : 54 enodes (cost 32 ) 217.893 * * [simplify]: iteration 2 : 131 enodes (cost 32 ) 217.922 * * [simplify]: iteration 3 : 309 enodes (cost 32 ) 218.008 * * [simplify]: iteration 4 : 791 enodes (cost 32 ) 218.523 * * [simplify]: iteration 5 : 2334 enodes (cost 32 ) 219.650 * * [simplify]: iteration done : 5000 enodes (cost 32 ) 219.651 * * [simplify]: iteration 0 : 16 enodes (cost 36 ) 219.653 * * [simplify]: iteration 1 : 36 enodes (cost 34 ) 219.658 * * [simplify]: iteration 2 : 84 enodes (cost 34 ) 219.673 * * [simplify]: iteration 3 : 186 enodes (cost 34 ) 219.721 * * [simplify]: iteration 4 : 483 enodes (cost 34 ) 220.015 * * [simplify]: iteration 5 : 1365 enodes (cost 34 ) 221.462 * * [simplify]: iteration done : 5001 enodes (cost 34 ) 221.463 * * [simplify]: iteration 0 : 19 enodes (cost 28 ) 221.465 * * [simplify]: iteration 1 : 45 enodes (cost 26 ) 221.472 * * [simplify]: iteration 2 : 88 enodes (cost 26 ) 221.486 * * [simplify]: iteration 3 : 151 enodes (cost 26 ) 221.520 * * [simplify]: iteration 4 : 293 enodes (cost 26 ) 221.624 * * [simplify]: iteration 5 : 750 enodes (cost 26 ) 222.360 * * [simplify]: iteration 6 : 2727 enodes (cost 26 ) 224.056 * * [simplify]: iteration done : 5000 enodes (cost 26 ) 224.057 * * [simplify]: iteration 0 : 18 enodes (cost 30 ) 224.065 * * [simplify]: iteration 1 : 40 enodes (cost 28 ) 224.070 * * [simplify]: iteration 2 : 86 enodes (cost 28 ) 224.085 * * [simplify]: iteration 3 : 183 enodes (cost 28 ) 224.135 * * [simplify]: iteration 4 : 480 enodes (cost 28 ) 224.434 * * [simplify]: iteration 5 : 1354 enodes (cost 28 ) 225.670 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 225.671 * * [simplify]: iteration 0 : 19 enodes (cost 28 ) 225.674 * * [simplify]: iteration 1 : 45 enodes (cost 26 ) 225.680 * * [simplify]: iteration 2 : 88 enodes (cost 26 ) 225.700 * * [simplify]: iteration 3 : 153 enodes (cost 26 ) 225.730 * * [simplify]: iteration 4 : 290 enodes (cost 26 ) 225.834 * * [simplify]: iteration 5 : 745 enodes (cost 26 ) 226.554 * * [simplify]: iteration 6 : 2722 enodes (cost 26 ) 228.238 * * [simplify]: iteration done : 5001 enodes (cost 26 ) 228.238 * * [simplify]: iteration 0 : 18 enodes (cost 30 ) 228.241 * * [simplify]: iteration 1 : 40 enodes (cost 28 ) 228.247 * * [simplify]: iteration 2 : 86 enodes (cost 28 ) 228.266 * * [simplify]: iteration 3 : 187 enodes (cost 28 ) 228.314 * * [simplify]: iteration 4 : 485 enodes (cost 28 ) 228.608 * * [simplify]: iteration 5 : 1367 enodes (cost 28 ) 229.870 * * [simplify]: iteration done : 5000 enodes (cost 28 ) 229.871 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 229.872 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 229.873 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 229.875 * * [simplify]: iteration done : 17 enodes (cost 7 ) 229.875 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 229.876 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 229.877 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 229.879 * * [simplify]: iteration done : 17 enodes (cost 7 ) 229.880 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 229.881 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 229.882 * * [simplify]: iteration 2 : 18 enodes (cost 14 ) 229.884 * * [simplify]: iteration done : 18 enodes (cost 14 ) 229.885 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 229.886 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 229.887 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 229.889 * * [simplify]: iteration done : 17 enodes (cost 7 ) 229.889 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 229.890 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 229.891 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 229.893 * * [simplify]: iteration done : 17 enodes (cost 7 ) 229.894 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 229.895 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 229.896 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 229.898 * * [simplify]: iteration done : 17 enodes (cost 7 ) 229.899 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 229.899 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 229.899 * * [simplify]: iteration done : 4 enodes (cost 1 ) 229.900 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 229.900 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 229.901 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 229.903 * * [simplify]: iteration done : 16 enodes (cost 6 ) 229.904 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 229.904 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 229.904 * * [simplify]: iteration done : 4 enodes (cost 1 ) 229.905 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 229.905 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 229.907 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 229.911 * * [simplify]: iteration done : 16 enodes (cost 6 ) 229.912 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 229.912 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 229.912 * * [simplify]: iteration done : 4 enodes (cost 1 ) 229.913 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 229.913 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 229.914 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 229.916 * * [simplify]: iteration done : 16 enodes (cost 6 ) 229.917 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 229.918 * * [simplify]: iteration 1 : 24 enodes (cost 10 ) 229.921 * * [simplify]: iteration 2 : 49 enodes (cost 10 ) 229.930 * * [simplify]: iteration 3 : 106 enodes (cost 10 ) 229.953 * * [simplify]: iteration 4 : 247 enodes (cost 10 ) 230.051 * * [simplify]: iteration 5 : 705 enodes (cost 10 ) 230.788 * * [simplify]: iteration 6 : 2671 enodes (cost 10 ) 232.521 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 232.522 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 232.523 * * [simplify]: iteration 1 : 31 enodes (cost 14 ) 232.528 * * [simplify]: iteration 2 : 77 enodes (cost 14 ) 232.545 * * [simplify]: iteration 3 : 219 enodes (cost 14 ) 232.653 * * [simplify]: iteration 4 : 799 enodes (cost 14 ) 233.943 * * [simplify]: iteration 5 : 2702 enodes (cost 14 ) 236.013 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 236.014 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 236.015 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 236.018 * * [simplify]: iteration 2 : 53 enodes (cost 12 ) 236.028 * * [simplify]: iteration 3 : 143 enodes (cost 12 ) 236.070 * * [simplify]: iteration 4 : 442 enodes (cost 12 ) 236.360 * * [simplify]: iteration 5 : 1316 enodes (cost 12 ) 237.662 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 237.662 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 237.663 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 237.664 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 237.667 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 237.671 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 237.678 * * [simplify]: iteration 5 : 56 enodes (cost 6 ) 237.687 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 237.698 * * [simplify]: iteration 7 : 84 enodes (cost 6 ) 237.707 * * [simplify]: iteration 8 : 91 enodes (cost 6 ) 237.722 * * [simplify]: iteration 9 : 99 enodes (cost 6 ) 237.734 * * [simplify]: iteration 10 : 104 enodes (cost 6 ) 237.745 * * [simplify]: iteration 11 : 106 enodes (cost 6 ) 237.757 * * [simplify]: iteration 12 : 110 enodes (cost 6 ) 237.769 * * [simplify]: iteration done : 110 enodes (cost 6 ) 237.770 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 237.773 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 237.774 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 237.776 * * [simplify]: iteration done : 18 enodes (cost 15 ) 237.777 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 237.778 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 237.779 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 237.781 * * [simplify]: iteration done : 17 enodes (cost 7 ) 237.782 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 237.783 * * [simplify]: iteration 1 : 13 enodes (cost 20 ) 237.784 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 237.787 * * [simplify]: iteration 3 : 26 enodes (cost 5 ) 237.791 * * [simplify]: iteration 4 : 32 enodes (cost 5 ) 237.795 * * [simplify]: iteration 5 : 42 enodes (cost 5 ) 237.801 * * [simplify]: iteration 6 : 63 enodes (cost 5 ) 237.813 * * [simplify]: iteration 7 : 124 enodes (cost 5 ) 237.866 * * [simplify]: iteration 8 : 339 enodes (cost 5 ) 238.346 * * [simplify]: iteration 9 : 1278 enodes (cost 5 ) 240.660 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 240.661 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 240.662 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 240.663 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 240.665 * * [simplify]: iteration done : 17 enodes (cost 7 ) 240.665 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 240.666 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 240.667 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 240.669 * * [simplify]: iteration done : 17 enodes (cost 7 ) 240.670 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 240.670 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 240.671 * * [simplify]: iteration done : 4 enodes (cost 3 ) 240.671 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 240.672 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 240.672 * * [simplify]: iteration done : 4 enodes (cost 3 ) 240.673 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 240.673 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 240.673 * * [simplify]: iteration done : 4 enodes (cost 3 ) 240.675 * * [simplify]: iteration 0 : 24 enodes (cost 39 ) 240.682 * * [simplify]: iteration 1 : 66 enodes (cost 35 ) 240.695 * * [simplify]: iteration 2 : 220 enodes (cost 32 ) 240.760 * * [simplify]: iteration 3 : 741 enodes (cost 26 ) 241.403 * * [simplify]: iteration 4 : 2734 enodes (cost 24 ) 243.446 * * [simplify]: iteration done : 5001 enodes (cost 24 ) 243.448 * * [simplify]: iteration 0 : 22 enodes (cost 54 ) 243.452 * * [simplify]: iteration 1 : 53 enodes (cost 48 ) 243.466 * * [simplify]: iteration 2 : 146 enodes (cost 42 ) 243.500 * * [simplify]: iteration 3 : 519 enodes (cost 23 ) 243.980 * * [simplify]: iteration 4 : 2209 enodes (cost 19 ) 244.875 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 244.876 * * [simplify]: iteration 0 : 23 enodes (cost 54 ) 244.879 * * [simplify]: iteration 1 : 54 enodes (cost 51 ) 244.888 * * [simplify]: iteration 2 : 144 enodes (cost 45 ) 244.924 * * [simplify]: iteration 3 : 515 enodes (cost 25 ) 245.385 * * [simplify]: iteration 4 : 2265 enodes (cost 23 ) 246.364 * * [simplify]: iteration done : 5001 enodes (cost 23 ) 246.365 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 246.365 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 246.366 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 246.368 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 246.370 * * [simplify]: iteration done : 15 enodes (cost 5 ) 246.370 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 246.371 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 246.372 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 246.374 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 246.376 * * [simplify]: iteration done : 15 enodes (cost 5 ) 246.376 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 246.377 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 246.378 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 246.380 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 246.381 * * [simplify]: iteration done : 15 enodes (cost 5 ) 246.382 * * [simplify]: iteration 0 : 23 enodes (cost 35 ) 246.392 * * [simplify]: iteration 1 : 60 enodes (cost 31 ) 246.402 * * [simplify]: iteration 2 : 190 enodes (cost 30 ) 246.462 * * [simplify]: iteration 3 : 649 enodes (cost 26 ) 247.158 * * [simplify]: iteration 4 : 2568 enodes (cost 25 ) 248.570 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 248.571 * * [simplify]: iteration 0 : 19 enodes (cost 42 ) 248.574 * * [simplify]: iteration 1 : 44 enodes (cost 36 ) 248.580 * * [simplify]: iteration 2 : 97 enodes (cost 27 ) 248.600 * * [simplify]: iteration 3 : 255 enodes (cost 13 ) 248.710 * * [simplify]: iteration 4 : 904 enodes (cost 13 ) 250.215 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 250.216 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 250.219 * * [simplify]: iteration 1 : 46 enodes (cost 42 ) 250.225 * * [simplify]: iteration 2 : 100 enodes (cost 42 ) 250.241 * * [simplify]: iteration 3 : 263 enodes (cost 21 ) 250.364 * * [simplify]: iteration 4 : 942 enodes (cost 13 ) 251.283 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 251.285 * [simplify]: Simplified to: E (exp (* (cbrt (log (+ (+ 10.0 d2) 20.0))) (cbrt (log (+ (+ 10.0 d2) 20.0))))) (exp (sqrt (log (+ (+ 10.0 d2) 20.0)))) E (pow (cbrt (+ (+ 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) (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) (- (* 20.0 20.0) (* (+ 10.0 d2) (- 20.0 (+ 10.0 d2)))) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) (- (+ 10.0 d2) 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)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (+ (log d1) (* 2 (log (cbrt (+ 20.0 (+ 10.0 d2)))))) (+ (log d1) (* 2 (log (cbrt (+ 20.0 (+ 10.0 d2)))))) (+ (log d1) (* 2 (log (cbrt (+ 20.0 (+ 10.0 d2)))))) (exp (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))) (pow d1 3)) (* (pow (cbrt (+ 20.0 (+ 10.0 d2))) 6) (pow d1 3)) (* (cbrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (cbrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1))) (cbrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (pow d1 3) (pow (cbrt (+ 20.0 (+ 10.0 d2))) 6)) (sqrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (sqrt (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (sqrt d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (sqrt d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (* (cbrt d1) (cbrt d1))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (sqrt d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) (* (cbrt (+ 20.0 (+ 10.0 d2))) d1) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (+ 20.0 (+ 10.0 d2)) d1) (* (+ 20.0 (+ 10.0 d2)) d1) (* (+ 20.0 (+ 10.0 d2)) d1) (+ (log d1) (* 3 (log (cbrt (+ 20.0 (+ 10.0 d2)))))) (+ (log d1) (* 3 (log (cbrt (+ 20.0 (+ 10.0 d2)))))) (+ (* 3 (log (cbrt (+ 20.0 (+ 10.0 d2))))) (log d1)) (log (* d1 (+ 20.0 (+ 10.0 d2)))) (pow (exp (+ 20.0 (+ 10.0 d2))) d1) (* (pow (+ 20.0 (+ 10.0 d2)) 3) (pow d1 3)) (* (pow (cbrt (+ 20.0 (+ 10.0 d2))) 6) (* (pow d1 3) (+ 20.0 (+ 10.0 d2)))) (* (+ 20.0 (+ 10.0 d2)) (* (pow d1 3) (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))))) (* (cbrt (* d1 (+ 20.0 (+ 10.0 d2)))) (cbrt (* d1 (+ 20.0 (+ 10.0 d2))))) (cbrt (* (+ 20.0 (+ 10.0 d2)) d1)) (pow (* d1 (+ 20.0 (+ 10.0 d2))) 3) (sqrt (* (+ 20.0 (+ 10.0 d2)) d1)) (sqrt (* (+ 20.0 (+ 10.0 d2)) d1)) (* (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) d1) (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (* (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))) (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))) (cbrt (- (+ 10.0 d2) 20.0))) (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1)) (* (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))) (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1)) (* (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))) (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (- (+ 10.0 d2) 20.0)))) (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (* (cbrt (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))) (cbrt (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))))) (cbrt (- 20.0 (+ 10.0 d2)))) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (cbrt (- 20.0 (+ 10.0 d2))) (* (cbrt (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))) (cbrt (- (+ 10.0 d2) 20.0)))) (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1)) (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (- 20.0 (+ 10.0 d2))))) (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (- 20.0 (+ 10.0 d2))))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))) (* (cbrt (- (+ 10.0 d2) 20.0)) (* (cbrt (- 20.0 (+ 10.0 d2))) (cbrt (- 20.0 (+ 10.0 d2))))) (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))) (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))) (cbrt (- (+ 10.0 d2) 20.0))) (* (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))) (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (- 20.0 (+ 10.0 d2))))) (cbrt (- 20.0 (+ 10.0 d2)))) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1)) (* (cbrt (- (+ 10.0 d2) 20.0)) (cbrt (- 20.0 (+ 10.0 d2)))) (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))) (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))) (cbrt (- (+ 10.0 d2) 20.0))) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))) (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (- 20.0 (+ 10.0 d2))))) (cbrt (- 20.0 (+ 10.0 d2)))) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (- (+ 10.0 d2) 20.0)) (cbrt (- 20.0 (+ 10.0 d2)))) (* d1 (* (cbrt (pow (cbrt (+ 20.0 (+ 10.0 d2))) 2)) (pow (cbrt (+ 20.0 (+ 10.0 d2))) 2))) (* (cbrt (sqrt (+ (+ 10.0 d2) 20.0))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (cbrt (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (sqrt (+ 20.0 (+ 10.0 d2)))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* (* (cbrt (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (cbrt (+ 20.0 (+ 10.0 d2))))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (sqrt (cbrt (+ 20.0 (+ 10.0 d2)))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1) (* d1 (cbrt (+ 20.0 (+ 10.0 d2)))) (* (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (+ (+ 10.0 d2) 20.0)) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (cbrt (+ (+ 10.0 d2) 20.0)) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1)) (* (cbrt (+ (+ 10.0 d2) 20.0)) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1) (cbrt (+ (+ 10.0 d2) 20.0))) (* (cbrt (+ 20.0 (+ 10.0 d2))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)))) d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (* (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))) d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (* (* (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (* (cbrt (+ 20.0 (+ 10.0 d2))) (* (* (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (+ 20.0 (+ 10.0 d2)))) d1)) (log (cbrt (+ 20.0 (+ 10.0 d2)))) (exp (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))) (cbrt (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (sqrt (+ 20.0 (+ 10.0 d2)))) (cbrt (sqrt (+ 20.0 (+ 10.0 d2)))) 1 (cbrt (+ 20.0 (+ 10.0 d2))) 1 (cbrt (+ 20.0 (+ 10.0 d2))) 1 (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))) (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))) (cbrt (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (cbrt (- 20.0 (+ 10.0 d2))) (* (cbrt (cbrt (+ 20.0 (+ 10.0 d2)))) (cbrt (cbrt (+ 20.0 (+ 10.0 d2))))) (cbrt (cbrt (+ 20.0 (+ 10.0 d2)))) (+ 20.0 (+ 10.0 d2)) (sqrt (cbrt (+ 20.0 (+ 10.0 d2)))) (sqrt (cbrt (+ 20.0 (+ 10.0 d2)))) (+ d2 30.0) (+ d2 30.0) (+ d2 30.0) (* d1 (+ (* (cbrt 900.0) (* d2 (+ (* 0.0006172839506172838 d2) 0.02222222222222222))) (- (cbrt 900.0) (* (* (pow d2 2) (cbrt 1.6935087808430286e-15)) 600.0)))) (+ (* (pow d2 2/3) d1) (* (- 20.0 (/ 100.0 d2)) (/ (pow d2 2/3) (/ d2 d1)))) (- (* (pow (/ -1 d2) -2/3) d1) (* (/ (* (pow (/ -1 d2) -2/3) d1) d2) (- (/ 100.0 d2) 20.0))) (* d1 (+ 30.0 d2)) (* d1 (+ 30.0 d2)) (* d1 (+ 30.0 d2)) (+ (* (* (pow d2 2) (cbrt (/ 1 (pow 30.0 5)))) -1/6) (* (cbrt 30.0) (+ 1 (* d2 (+ (* 6.172839506172838e-05 d2) 0.01111111111111111))))) (+ (cbrt d2) (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2)))) (+ (cbrt d2) (* (- 10.0 (/ 100.0 d2)) (/ (cbrt d2) d2))) 251.286 * * * [progress]: adding candidates to table 251.663 * [progress]: [Phase 3 of 3] Extracting. 251.663 * * [regime]: Finding splitpoints for: (# # # #) 251.664 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1) 251.664 * * * * [regimes]: Trying to branch on d2 from (# # # #) 251.707 * * * * [regimes]: Trying to branch on d1 from (# # # #) 251.750 * * * [regime]: Found split indices: #