64.839 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying using # : (+ (* d1 d2) (* d1 d3)) 0.027 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.028 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.029 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 0.031 * * [simplify]: iteration done : 13 enodes (cost 5 ) 0.031 * [simplify]: Simplified to: (* d1 (+ d2 d3)) 0.039 * * [progress]: iteration 1 / 4 0.039 * * * [progress]: picking best candidate 0.045 * * * * [pick]: Picked # 0.045 * * * [progress]: localizing error 0.050 * * * [progress]: generating rewritten candidates 0.050 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.055 * * * [progress]: generating series expansions 0.055 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.055 * [approximate]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0 0.055 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d3 0.055 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.055 * [taylor]: Taking taylor expansion of d1 in d3 0.055 * [taylor]: Taking taylor expansion of d2 in d3 0.055 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.055 * [taylor]: Taking taylor expansion of d1 in d3 0.055 * [taylor]: Taking taylor expansion of d3 in d3 0.055 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d2 0.055 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.055 * [taylor]: Taking taylor expansion of d1 in d2 0.055 * [taylor]: Taking taylor expansion of d2 in d2 0.055 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.055 * [taylor]: Taking taylor expansion of d1 in d2 0.055 * [taylor]: Taking taylor expansion of d3 in d2 0.055 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1 0.055 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.055 * [taylor]: Taking taylor expansion of d1 in d1 0.055 * [taylor]: Taking taylor expansion of d2 in d1 0.055 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.055 * [taylor]: Taking taylor expansion of d1 in d1 0.055 * [taylor]: Taking taylor expansion of d3 in d1 0.055 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1 0.055 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.055 * [taylor]: Taking taylor expansion of d1 in d1 0.055 * [taylor]: Taking taylor expansion of d2 in d1 0.055 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.055 * [taylor]: Taking taylor expansion of d1 in d1 0.055 * [taylor]: Taking taylor expansion of d3 in d1 0.055 * [taylor]: Taking taylor expansion of 0 in d2 0.055 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 0.056 * [taylor]: Taking taylor expansion of d3 in d2 0.056 * [taylor]: Taking taylor expansion of d2 in d2 0.056 * [taylor]: Taking taylor expansion of d3 in d3 0.056 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [taylor]: Taking taylor expansion of 0 in d2 0.056 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [taylor]: Taking taylor expansion of 1 in d3 0.056 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [taylor]: Taking taylor expansion of 0 in d2 0.056 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [taylor]: Taking taylor expansion of 0 in d3 0.056 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in (d1 d2 d3) around 0 0.056 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.057 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.057 * [taylor]: Taking taylor expansion of d1 in d3 0.057 * [taylor]: Taking taylor expansion of d3 in d3 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.057 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.057 * [taylor]: Taking taylor expansion of d1 in d3 0.057 * [taylor]: Taking taylor expansion of d2 in d3 0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.057 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.057 * [taylor]: Taking taylor expansion of d1 in d2 0.057 * [taylor]: Taking taylor expansion of d3 in d2 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.057 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.057 * [taylor]: Taking taylor expansion of d1 in d2 0.057 * [taylor]: Taking taylor expansion of d2 in d2 0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.057 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.057 * [taylor]: Taking taylor expansion of d1 in d1 0.057 * [taylor]: Taking taylor expansion of d3 in d1 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.057 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.057 * [taylor]: Taking taylor expansion of d1 in d1 0.057 * [taylor]: Taking taylor expansion of d2 in d1 0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.057 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.057 * [taylor]: Taking taylor expansion of d1 in d1 0.057 * [taylor]: Taking taylor expansion of d3 in d1 0.057 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.057 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.057 * [taylor]: Taking taylor expansion of d1 in d1 0.057 * [taylor]: Taking taylor expansion of d2 in d1 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2 0.058 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.058 * [taylor]: Taking taylor expansion of d3 in d2 0.058 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.058 * [taylor]: Taking taylor expansion of d2 in d2 0.058 * [taylor]: Taking taylor expansion of 1 in d3 0.058 * [taylor]: Taking taylor expansion of 0 in d2 0.058 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.058 * [taylor]: Taking taylor expansion of d3 in d3 0.058 * [taylor]: Taking taylor expansion of 0 in d2 0.058 * [taylor]: Taking taylor expansion of 0 in d3 0.059 * [taylor]: Taking taylor expansion of 0 in d3 0.059 * [taylor]: Taking taylor expansion of 0 in d2 0.059 * [taylor]: Taking taylor expansion of 0 in d3 0.059 * [taylor]: Taking taylor expansion of 0 in d3 0.059 * [taylor]: Taking taylor expansion of 0 in d3 0.059 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in (d1 d2 d3) around 0 0.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 0.060 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 0.060 * [taylor]: Taking taylor expansion of d1 in d3 0.060 * [taylor]: Taking taylor expansion of d3 in d3 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 0.060 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 0.060 * [taylor]: Taking taylor expansion of d1 in d3 0.060 * [taylor]: Taking taylor expansion of d2 in d3 0.060 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 0.060 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 0.060 * [taylor]: Taking taylor expansion of d1 in d2 0.060 * [taylor]: Taking taylor expansion of d3 in d2 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 0.060 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 0.060 * [taylor]: Taking taylor expansion of d1 in d2 0.060 * [taylor]: Taking taylor expansion of d2 in d2 0.060 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.060 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.060 * [taylor]: Taking taylor expansion of d1 in d1 0.060 * [taylor]: Taking taylor expansion of d3 in d1 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.060 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.060 * [taylor]: Taking taylor expansion of d1 in d1 0.060 * [taylor]: Taking taylor expansion of d2 in d1 0.060 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 0.060 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 0.060 * [taylor]: Taking taylor expansion of d1 in d1 0.060 * [taylor]: Taking taylor expansion of d3 in d1 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 0.060 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 0.060 * [taylor]: Taking taylor expansion of d1 in d1 0.060 * [taylor]: Taking taylor expansion of d2 in d1 0.061 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2 0.061 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.061 * [taylor]: Taking taylor expansion of d3 in d2 0.061 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.061 * [taylor]: Taking taylor expansion of d2 in d2 0.061 * [taylor]: Taking taylor expansion of 1 in d3 0.061 * [taylor]: Taking taylor expansion of 0 in d2 0.061 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.061 * [taylor]: Taking taylor expansion of d3 in d3 0.061 * [taylor]: Taking taylor expansion of 0 in d2 0.061 * [taylor]: Taking taylor expansion of 0 in d3 0.062 * [taylor]: Taking taylor expansion of 0 in d3 0.062 * [taylor]: Taking taylor expansion of 0 in d2 0.062 * [taylor]: Taking taylor expansion of 0 in d3 0.062 * [taylor]: Taking taylor expansion of 0 in d3 0.062 * [taylor]: Taking taylor expansion of 0 in d3 0.063 * * * [progress]: simplifying candidates 0.063 * [simplify]: Simplifying using # : (* (exp (* d1 d2)) (exp (* d1 d3))) (log (+ (* d1 d2) (* d1 d3))) (exp (+ (* d1 d2) (* d1 d3))) (* (cbrt (+ (* d1 d2) (* d1 d3))) (cbrt (+ (* d1 d2) (* d1 d3)))) (cbrt (+ (* d1 d2) (* d1 d3))) (* (* (+ (* d1 d2) (* d1 d3)) (+ (* d1 d2) (* d1 d3))) (+ (* d1 d2) (* d1 d3))) (sqrt (+ (* d1 d2) (* d1 d3))) (sqrt (+ (* d1 d2) (* d1 d3))) (+ (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (- (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))) (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))) (- (* d1 d2) (* d1 d3)) (+ d2 d3) (+ (* d1 d2) (* d1 d3)) (+ (* d1 d2) (* d1 d3)) (+ (* d1 d2) (* d1 d3)) 0.064 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.065 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 0.067 * * [simplify]: iteration 2 : 30 enodes (cost 6 ) 0.071 * * [simplify]: iteration 3 : 60 enodes (cost 6 ) 0.082 * * [simplify]: iteration 4 : 177 enodes (cost 6 ) 0.164 * * [simplify]: iteration 5 : 623 enodes (cost 6 ) 1.005 * * [simplify]: iteration 6 : 2819 enodes (cost 6 ) 2.522 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 2.523 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 2.524 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 2.526 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 2.528 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 2.530 * * [simplify]: iteration done : 18 enodes (cost 6 ) 2.530 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 2.531 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 2.534 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 2.537 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 2.550 * * [simplify]: iteration 4 : 102 enodes (cost 6 ) 2.575 * * [simplify]: iteration 5 : 300 enodes (cost 6 ) 2.770 * * [simplify]: iteration 6 : 1066 enodes (cost 6 ) 4.473 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.474 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 4.475 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 4.477 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 4.479 * * [simplify]: iteration done : 15 enodes (cost 13 ) 4.479 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.480 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 4.482 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 4.483 * * [simplify]: iteration done : 14 enodes (cost 6 ) 4.484 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 4.485 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 4.491 * * [simplify]: iteration 2 : 105 enodes (cost 7 ) 4.537 * * [simplify]: iteration 3 : 431 enodes (cost 7 ) 4.868 * * [simplify]: iteration 4 : 1225 enodes (cost 7 ) 6.363 * * [simplify]: iteration 5 : 3356 enodes (cost 7 ) 8.263 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 8.263 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.264 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 8.266 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 8.267 * * [simplify]: iteration done : 14 enodes (cost 6 ) 8.268 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.269 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 8.270 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 8.272 * * [simplify]: iteration done : 14 enodes (cost 6 ) 8.272 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 8.274 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 8.279 * * [simplify]: iteration 2 : 96 enodes (cost 11 ) 8.303 * * [simplify]: iteration 3 : 244 enodes (cost 11 ) 8.404 * * [simplify]: iteration 4 : 483 enodes (cost 11 ) 8.654 * * [simplify]: iteration 5 : 1232 enodes (cost 11 ) 10.240 * * [simplify]: iteration 6 : 4773 enodes (cost 11 ) 11.904 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 11.905 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 11.906 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 11.913 * * [simplify]: iteration 2 : 105 enodes (cost 17 ) 11.949 * * [simplify]: iteration 3 : 224 enodes (cost 15 ) 12.030 * * [simplify]: iteration 4 : 399 enodes (cost 13 ) 12.166 * * [simplify]: iteration 5 : 594 enodes (cost 13 ) 12.495 * * [simplify]: iteration 6 : 865 enodes (cost 13 ) 12.748 * * [simplify]: iteration 7 : 1083 enodes (cost 13 ) 13.345 * * [simplify]: iteration 8 : 1532 enodes (cost 13 ) 14.582 * * [simplify]: iteration 9 : 2201 enodes (cost 13 ) 15.230 * * [simplify]: iteration 10 : 2232 enodes (cost 13 ) 15.837 * * [simplify]: iteration done : 2232 enodes (cost 13 ) 15.837 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 15.839 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 15.844 * * [simplify]: iteration 2 : 77 enodes (cost 11 ) 15.862 * * [simplify]: iteration 3 : 158 enodes (cost 11 ) 15.905 * * [simplify]: iteration 4 : 271 enodes (cost 11 ) 16.000 * * [simplify]: iteration 5 : 472 enodes (cost 11 ) 16.209 * * [simplify]: iteration 6 : 722 enodes (cost 11 ) 16.601 * * [simplify]: iteration 7 : 1215 enodes (cost 11 ) 18.169 * * [simplify]: iteration 8 : 3266 enodes (cost 11 ) 20.476 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 20.476 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.477 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 20.479 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 20.481 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 20.484 * * [simplify]: iteration done : 22 enodes (cost 5 ) 20.485 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 20.485 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 20.485 * * [simplify]: iteration done : 4 enodes (cost 3 ) 20.486 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.487 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 20.489 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 20.491 * * [simplify]: iteration done : 13 enodes (cost 5 ) 20.491 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.492 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 20.493 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 20.495 * * [simplify]: iteration done : 13 enodes (cost 5 ) 20.496 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 20.497 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 20.498 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 20.500 * * [simplify]: iteration done : 13 enodes (cost 5 ) 20.500 * [simplify]: Simplified to: (exp (* d1 (+ d2 d3))) (log (* d1 (+ d2 d3))) (exp (* d1 (+ d2 d3))) (* (cbrt (* d1 (+ d2 d3))) (cbrt (* d1 (+ d2 d3)))) (cbrt (* d1 (+ d2 d3))) (pow (* d1 (+ d2 d3)) 3) (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))) (+ (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (* (* d1 (+ (* d3 (- d3 d2)) (* d2 d2))) d1) (* (* (* d1 (- d2 d3)) (+ d2 d3)) d1) (* d1 (- d2 d3)) (+ d2 d3) (* d1 (+ d2 d3)) (* d1 (+ d2 d3)) (* d1 (+ d2 d3)) 20.500 * * * [progress]: adding candidates to table 20.515 * * [progress]: iteration 2 / 4 20.515 * * * [progress]: picking best candidate 20.518 * * * * [pick]: Picked # 20.518 * * * [progress]: localizing error 20.522 * * * [progress]: generating rewritten candidates 20.522 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 20.529 * * * [progress]: generating series expansions 20.529 * * * * [progress]: [ 1 / 1 ] generating series at (2) 20.529 * [approximate]: Taking taylor expansion of (* d1 (+ d3 d2)) in (d1 d2 d3) around 0 20.529 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d3 20.529 * [taylor]: Taking taylor expansion of d1 in d3 20.529 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3 20.529 * [taylor]: Taking taylor expansion of d3 in d3 20.529 * [taylor]: Taking taylor expansion of d2 in d3 20.529 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d2 20.529 * [taylor]: Taking taylor expansion of d1 in d2 20.529 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 20.529 * [taylor]: Taking taylor expansion of d3 in d2 20.529 * [taylor]: Taking taylor expansion of d2 in d2 20.530 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d1 20.530 * [taylor]: Taking taylor expansion of d1 in d1 20.530 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 20.530 * [taylor]: Taking taylor expansion of d3 in d1 20.530 * [taylor]: Taking taylor expansion of d2 in d1 20.530 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d1 20.530 * [taylor]: Taking taylor expansion of d1 in d1 20.530 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1 20.530 * [taylor]: Taking taylor expansion of d3 in d1 20.530 * [taylor]: Taking taylor expansion of d2 in d1 20.530 * [taylor]: Taking taylor expansion of 0 in d2 20.530 * [taylor]: Taking taylor expansion of 0 in d3 20.530 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2 20.530 * [taylor]: Taking taylor expansion of d3 in d2 20.530 * [taylor]: Taking taylor expansion of d2 in d2 20.530 * [taylor]: Taking taylor expansion of d3 in d3 20.533 * [taylor]: Taking taylor expansion of 0 in d3 20.533 * [taylor]: Taking taylor expansion of 0 in d2 20.533 * [taylor]: Taking taylor expansion of 0 in d3 20.533 * [taylor]: Taking taylor expansion of 1 in d3 20.534 * [taylor]: Taking taylor expansion of 0 in d3 20.534 * [taylor]: Taking taylor expansion of 0 in d2 20.534 * [taylor]: Taking taylor expansion of 0 in d3 20.534 * [taylor]: Taking taylor expansion of 0 in d3 20.534 * [taylor]: Taking taylor expansion of 0 in d3 20.534 * [taylor]: Taking taylor expansion of 0 in d3 20.534 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in (d1 d2 d3) around 0 20.534 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d3 20.534 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d3 20.534 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 20.534 * [taylor]: Taking taylor expansion of d3 in d3 20.534 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 20.534 * [taylor]: Taking taylor expansion of d2 in d3 20.534 * [taylor]: Taking taylor expansion of d1 in d3 20.534 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d2 20.534 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2 20.534 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 20.534 * [taylor]: Taking taylor expansion of d3 in d2 20.534 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 20.534 * [taylor]: Taking taylor expansion of d2 in d2 20.534 * [taylor]: Taking taylor expansion of d1 in d2 20.534 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d1 20.534 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d1 20.534 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 20.534 * [taylor]: Taking taylor expansion of d3 in d1 20.535 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 20.535 * [taylor]: Taking taylor expansion of d2 in d1 20.535 * [taylor]: Taking taylor expansion of d1 in d1 20.535 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d1 20.535 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d1 20.535 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 20.535 * [taylor]: Taking taylor expansion of d3 in d1 20.535 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 20.535 * [taylor]: Taking taylor expansion of d2 in d1 20.535 * [taylor]: Taking taylor expansion of d1 in d1 20.535 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2 20.535 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 20.535 * [taylor]: Taking taylor expansion of d3 in d2 20.535 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 20.535 * [taylor]: Taking taylor expansion of d2 in d2 20.535 * [taylor]: Taking taylor expansion of 1 in d3 20.535 * [taylor]: Taking taylor expansion of 0 in d2 20.535 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 20.535 * [taylor]: Taking taylor expansion of d3 in d3 20.536 * [taylor]: Taking taylor expansion of 0 in d2 20.536 * [taylor]: Taking taylor expansion of 0 in d3 20.536 * [taylor]: Taking taylor expansion of 0 in d3 20.536 * [taylor]: Taking taylor expansion of 0 in d2 20.536 * [taylor]: Taking taylor expansion of 0 in d3 20.536 * [taylor]: Taking taylor expansion of 0 in d3 20.536 * [taylor]: Taking taylor expansion of 0 in d3 20.537 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in (d1 d2 d3) around 0 20.537 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d3 20.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d3 20.537 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 20.537 * [taylor]: Taking taylor expansion of d3 in d3 20.537 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 20.537 * [taylor]: Taking taylor expansion of d2 in d3 20.537 * [taylor]: Taking taylor expansion of d1 in d3 20.537 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d2 20.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2 20.537 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 20.537 * [taylor]: Taking taylor expansion of d3 in d2 20.537 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 20.537 * [taylor]: Taking taylor expansion of d2 in d2 20.537 * [taylor]: Taking taylor expansion of d1 in d2 20.537 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d1 20.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d1 20.537 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 20.537 * [taylor]: Taking taylor expansion of d3 in d1 20.537 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 20.537 * [taylor]: Taking taylor expansion of d2 in d1 20.537 * [taylor]: Taking taylor expansion of d1 in d1 20.537 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) (/ 1 d2)) d1) in d1 20.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d1 20.538 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 20.538 * [taylor]: Taking taylor expansion of d3 in d1 20.538 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 20.538 * [taylor]: Taking taylor expansion of d2 in d1 20.538 * [taylor]: Taking taylor expansion of d1 in d1 20.538 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2 20.538 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 20.538 * [taylor]: Taking taylor expansion of d3 in d2 20.538 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 20.538 * [taylor]: Taking taylor expansion of d2 in d2 20.538 * [taylor]: Taking taylor expansion of 1 in d3 20.538 * [taylor]: Taking taylor expansion of 0 in d2 20.538 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 20.538 * [taylor]: Taking taylor expansion of d3 in d3 20.539 * [taylor]: Taking taylor expansion of 0 in d2 20.539 * [taylor]: Taking taylor expansion of 0 in d3 20.539 * [taylor]: Taking taylor expansion of 0 in d3 20.539 * [taylor]: Taking taylor expansion of 0 in d2 20.539 * [taylor]: Taking taylor expansion of 0 in d3 20.539 * [taylor]: Taking taylor expansion of 0 in d3 20.539 * [taylor]: Taking taylor expansion of 0 in d3 20.540 * * * [progress]: simplifying candidates 20.540 * [simplify]: Simplifying using # : (* d1 (+ d2 d3)) (+ (log d1) (log (+ d2 d3))) (log (* d1 (+ d2 d3))) (exp (* d1 (+ d2 d3))) (* (* (* d1 d1) d1) (* (* (+ d2 d3) (+ d2 d3)) (+ d2 d3))) (* (cbrt (* d1 (+ d2 d3))) (cbrt (* d1 (+ d2 d3)))) (cbrt (* d1 (+ d2 d3))) (* (* (* d1 (+ d2 d3)) (* d1 (+ d2 d3))) (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))) (* (sqrt d1) (sqrt (+ d2 d3))) (* (sqrt d1) (sqrt (+ d2 d3))) (* d1 d2) (* d1 d3) (* d2 d1) (* d3 d1) (* d1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))) (* d1 (sqrt (+ d2 d3))) (* d1 1) (* d1 1) (* (cbrt d1) (+ d2 d3)) (* (sqrt d1) (+ d2 d3)) (* d1 (+ d2 d3)) (* d1 (+ (pow d2 3) (pow d3 3))) (* d1 (- (* d2 d2) (* d3 d3))) (+ (* d1 d2) (* d1 d3)) (+ (* d1 d2) (* d1 d3)) (+ (* d1 d2) (* d1 d3)) 20.541 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.542 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 20.543 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 20.545 * * [simplify]: iteration done : 14 enodes (cost 5 ) 20.546 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.547 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 20.547 * * [simplify]: iteration done : 9 enodes (cost 7 ) 20.548 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.549 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 20.551 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 20.553 * * [simplify]: iteration done : 19 enodes (cost 6 ) 20.553 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 20.554 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 20.557 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 20.560 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 20.566 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 20.579 * * [simplify]: iteration 5 : 188 enodes (cost 6 ) 20.655 * * [simplify]: iteration 6 : 504 enodes (cost 6 ) 21.046 * * [simplify]: iteration 7 : 1671 enodes (cost 6 ) 22.437 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 22.438 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 22.439 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 22.446 * * [simplify]: iteration 2 : 110 enodes (cost 9 ) 22.482 * * [simplify]: iteration 3 : 373 enodes (cost 9 ) 22.707 * * [simplify]: iteration 4 : 1303 enodes (cost 7 ) 24.211 * * [simplify]: iteration 5 : 4152 enodes (cost 7 ) 25.992 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 25.993 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 25.994 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 25.996 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 25.997 * * [simplify]: iteration done : 16 enodes (cost 13 ) 25.998 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 25.999 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 26.000 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 26.002 * * [simplify]: iteration done : 15 enodes (cost 6 ) 26.003 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 26.004 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 26.009 * * [simplify]: iteration 2 : 97 enodes (cost 7 ) 26.046 * * [simplify]: iteration 3 : 352 enodes (cost 7 ) 26.251 * * [simplify]: iteration 4 : 820 enodes (cost 7 ) 26.962 * * [simplify]: iteration 5 : 2225 enodes (cost 7 ) 29.699 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 29.700 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.701 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 29.703 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 29.704 * * [simplify]: iteration done : 15 enodes (cost 6 ) 29.705 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.706 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 29.708 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 29.710 * * [simplify]: iteration done : 15 enodes (cost 6 ) 29.710 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 29.711 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 29.712 * * [simplify]: iteration done : 9 enodes (cost 7 ) 29.712 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 29.713 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 29.714 * * [simplify]: iteration done : 9 enodes (cost 7 ) 29.714 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.715 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 29.715 * * [simplify]: iteration done : 4 enodes (cost 3 ) 29.716 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.716 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 29.716 * * [simplify]: iteration done : 4 enodes (cost 3 ) 29.717 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.717 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 29.718 * * [simplify]: iteration done : 4 enodes (cost 3 ) 29.718 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.719 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 29.719 * * [simplify]: iteration done : 4 enodes (cost 3 ) 29.720 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 29.720 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 29.722 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 29.723 * * [simplify]: iteration done : 13 enodes (cost 11 ) 29.724 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.724 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 29.725 * * [simplify]: iteration done : 8 enodes (cost 6 ) 29.726 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.726 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 29.727 * * [simplify]: iteration done : 6 enodes (cost 1 ) 29.727 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.728 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 29.728 * * [simplify]: iteration done : 6 enodes (cost 1 ) 29.729 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.729 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 29.731 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 29.733 * * [simplify]: iteration done : 15 enodes (cost 6 ) 29.733 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.734 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 29.736 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 29.738 * * [simplify]: iteration done : 15 enodes (cost 6 ) 29.738 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.739 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 29.741 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 29.742 * * [simplify]: iteration done : 14 enodes (cost 5 ) 29.743 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 29.744 * * [simplify]: iteration 1 : 29 enodes (cost 9 ) 29.752 * * [simplify]: iteration 2 : 63 enodes (cost 9 ) 29.763 * * [simplify]: iteration 3 : 105 enodes (cost 9 ) 29.784 * * [simplify]: iteration 4 : 194 enodes (cost 9 ) 29.849 * * [simplify]: iteration 5 : 477 enodes (cost 9 ) 30.258 * * [simplify]: iteration 6 : 1523 enodes (cost 9 ) 31.885 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 31.886 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 31.887 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 31.889 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 31.898 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 31.914 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 31.954 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 32.031 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 32.214 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 33.862 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 36.017 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 36.018 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.019 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 36.026 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 36.028 * * [simplify]: iteration done : 13 enodes (cost 5 ) 36.029 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.030 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 36.031 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 36.033 * * [simplify]: iteration done : 13 enodes (cost 5 ) 36.033 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.034 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 36.036 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 36.037 * * [simplify]: iteration done : 13 enodes (cost 5 ) 36.037 * [simplify]: Simplified to: (* d1 (+ d2 d3)) (+ (log d1) (log (+ d2 d3))) (log (* d1 (+ d2 d3))) (exp (* d1 (+ d2 d3))) (pow (* d1 (+ d2 d3)) 3) (* (cbrt (* d1 (+ d2 d3))) (cbrt (* d1 (+ d2 d3)))) (cbrt (* d1 (+ d2 d3))) (pow (* d1 (+ d2 d3)) 3) (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))) (* (sqrt d1) (sqrt (+ d2 d3))) (* (sqrt d1) (sqrt (+ d2 d3))) (* d1 d2) (* d1 d3) (* d2 d1) (* d3 d1) (* d1 (* (cbrt (+ d2 d3)) (cbrt (+ d2 d3)))) (* d1 (sqrt (+ d2 d3))) d1 d1 (* (cbrt d1) (+ d2 d3)) (* (sqrt d1) (+ d2 d3)) (* d1 (+ d2 d3)) (* d1 (+ (pow d2 3) (pow d3 3))) (* d1 (* (- d2 d3) (+ d2 d3))) (* d1 (+ d2 d3)) (* d1 (+ d2 d3)) (* d1 (+ d2 d3)) 36.038 * * * [progress]: adding candidates to table 36.059 * [progress]: [Phase 3 of 3] Extracting. 36.059 * * [regime]: Finding splitpoints for: (# #) 36.060 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* d1 d2) (* d1 d3)) d3 d2 d1) 36.060 * * * * [regimes]: Trying to branch on (+ (* d1 d2) (* d1 d3)) from (# #) 36.103 * * * * [regimes]: Trying to branch on d3 from (# #) 36.143 * * * * [regimes]: Trying to branch on d2 from (# #) 36.184 * * * * [regimes]: Trying to branch on d1 from (# #) 36.222 * * * [regime]: Found split indices: #