270.746 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (/ (* 4.0 (- (- x y) (* z 0.5))) z) 0.030 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.031 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.034 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 0.050 * * [simplify]: iteration 3 : 129 enodes (cost 11 ) 0.078 * * [simplify]: iteration 4 : 270 enodes (cost 11 ) 0.174 * * [simplify]: iteration 5 : 501 enodes (cost 11 ) 0.329 * * [simplify]: iteration 6 : 764 enodes (cost 11 ) 0.783 * * [simplify]: iteration 7 : 1120 enodes (cost 9 ) 2.612 * * [simplify]: iteration 8 : 2853 enodes (cost 9 ) 5.233 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 5.234 * [simplify]: Simplified to: (* 4.0 (- (/ (- x y) z) 0.5)) 5.238 * * [progress]: iteration 1 / 4 5.238 * * * [progress]: picking best candidate 5.241 * * * * [pick]: Picked # 5.241 * * * [progress]: localizing error 5.248 * * * [progress]: generating rewritten candidates 5.248 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 5.256 * * * [progress]: generating series expansions 5.256 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 5.256 * [approximate]: Taking taylor expansion of (/ (- x y) z) in (x y z) around 0 5.256 * [taylor]: Taking taylor expansion of (/ (- x y) z) in z 5.256 * [taylor]: Taking taylor expansion of (- x y) in z 5.256 * [taylor]: Taking taylor expansion of x in z 5.256 * [taylor]: Taking taylor expansion of y in z 5.256 * [taylor]: Taking taylor expansion of z in z 5.257 * [taylor]: Taking taylor expansion of (/ (- x y) z) in y 5.257 * [taylor]: Taking taylor expansion of (- x y) in y 5.257 * [taylor]: Taking taylor expansion of x in y 5.257 * [taylor]: Taking taylor expansion of y in y 5.257 * [taylor]: Taking taylor expansion of z in y 5.257 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x 5.257 * [taylor]: Taking taylor expansion of (- x y) in x 5.257 * [taylor]: Taking taylor expansion of x in x 5.257 * [taylor]: Taking taylor expansion of y in x 5.257 * [taylor]: Taking taylor expansion of z in x 5.257 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x 5.257 * [taylor]: Taking taylor expansion of (- x y) in x 5.257 * [taylor]: Taking taylor expansion of x in x 5.257 * [taylor]: Taking taylor expansion of y in x 5.257 * [taylor]: Taking taylor expansion of z in x 5.257 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y 5.257 * [taylor]: Taking taylor expansion of -1 in y 5.257 * [taylor]: Taking taylor expansion of (/ y z) in y 5.257 * [taylor]: Taking taylor expansion of y in y 5.257 * [taylor]: Taking taylor expansion of z in y 5.257 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.257 * [taylor]: Taking taylor expansion of z in y 5.257 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.257 * [taylor]: Taking taylor expansion of z in z 5.257 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.257 * [taylor]: Taking taylor expansion of -1 in z 5.257 * [taylor]: Taking taylor expansion of z in z 5.258 * [taylor]: Taking taylor expansion of 0 in y 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [taylor]: Taking taylor expansion of 0 in y 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.259 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in (x y z) around 0 5.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in z 5.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 5.259 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.259 * [taylor]: Taking taylor expansion of x in z 5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.259 * [taylor]: Taking taylor expansion of y in z 5.259 * [taylor]: Taking taylor expansion of z in z 5.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in y 5.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 5.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.259 * [taylor]: Taking taylor expansion of x in y 5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.259 * [taylor]: Taking taylor expansion of y in y 5.259 * [taylor]: Taking taylor expansion of z in y 5.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in x 5.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 5.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.259 * [taylor]: Taking taylor expansion of x in x 5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.259 * [taylor]: Taking taylor expansion of y in x 5.259 * [taylor]: Taking taylor expansion of z in x 5.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) z) in x 5.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 5.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.259 * [taylor]: Taking taylor expansion of x in x 5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.259 * [taylor]: Taking taylor expansion of y in x 5.259 * [taylor]: Taking taylor expansion of z in x 5.259 * [taylor]: Taking taylor expansion of z in y 5.260 * [taylor]: Taking taylor expansion of (neg (/ z y)) in y 5.260 * [taylor]: Taking taylor expansion of (/ z y) in y 5.260 * [taylor]: Taking taylor expansion of z in y 5.260 * [taylor]: Taking taylor expansion of y in y 5.260 * [taylor]: Taking taylor expansion of (neg z) in z 5.260 * [taylor]: Taking taylor expansion of z in z 5.260 * [taylor]: Taking taylor expansion of z in z 5.260 * [taylor]: Taking taylor expansion of 0 in y 5.260 * [taylor]: Taking taylor expansion of 0 in z 5.260 * [taylor]: Taking taylor expansion of 0 in z 5.260 * [taylor]: Taking taylor expansion of 0 in y 5.261 * [taylor]: Taking taylor expansion of 0 in z 5.261 * [taylor]: Taking taylor expansion of 0 in z 5.261 * [taylor]: Taking taylor expansion of 0 in z 5.261 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in (x y z) around 0 5.261 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in z 5.261 * [taylor]: Taking taylor expansion of -1 in z 5.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z 5.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 5.261 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.261 * [taylor]: Taking taylor expansion of y in z 5.261 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.261 * [taylor]: Taking taylor expansion of x in z 5.261 * [taylor]: Taking taylor expansion of z in z 5.262 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in y 5.262 * [taylor]: Taking taylor expansion of -1 in y 5.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 5.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.262 * [taylor]: Taking taylor expansion of y in y 5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.262 * [taylor]: Taking taylor expansion of x in y 5.262 * [taylor]: Taking taylor expansion of z in y 5.262 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x 5.262 * [taylor]: Taking taylor expansion of -1 in x 5.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 5.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.262 * [taylor]: Taking taylor expansion of y in x 5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.262 * [taylor]: Taking taylor expansion of x in x 5.262 * [taylor]: Taking taylor expansion of z in x 5.262 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x 5.262 * [taylor]: Taking taylor expansion of -1 in x 5.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 5.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.262 * [taylor]: Taking taylor expansion of y in x 5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.262 * [taylor]: Taking taylor expansion of x in x 5.262 * [taylor]: Taking taylor expansion of z in x 5.262 * [taylor]: Taking taylor expansion of z in y 5.262 * [taylor]: Taking taylor expansion of (neg (/ z y)) in y 5.262 * [taylor]: Taking taylor expansion of (/ z y) in y 5.262 * [taylor]: Taking taylor expansion of z in y 5.262 * [taylor]: Taking taylor expansion of y in y 5.263 * [taylor]: Taking taylor expansion of (neg z) in z 5.263 * [taylor]: Taking taylor expansion of z in z 5.263 * [taylor]: Taking taylor expansion of z in z 5.263 * [taylor]: Taking taylor expansion of 0 in y 5.263 * [taylor]: Taking taylor expansion of 0 in z 5.263 * [taylor]: Taking taylor expansion of 0 in z 5.263 * [taylor]: Taking taylor expansion of 0 in y 5.263 * [taylor]: Taking taylor expansion of 0 in z 5.263 * [taylor]: Taking taylor expansion of 0 in z 5.263 * [taylor]: Taking taylor expansion of 0 in z 5.264 * * * [progress]: simplifying candidates 5.264 * [simplify]: Simplifying using # : (- (log (- x y)) (log z)) (log (/ (- x y) z)) (exp (/ (- x y) z)) (/ (* (* (- x y) (- x y)) (- x y)) (* (* z z) z)) (* (cbrt (/ (- x y) z)) (cbrt (/ (- x y) z))) (cbrt (/ (- x y) z)) (* (* (/ (- x y) z) (/ (- x y) z)) (/ (- x y) z)) (sqrt (/ (- x y) z)) (sqrt (/ (- x y) z)) (neg (- x y)) (neg z) (/ x z) (/ y z) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt z) (cbrt z))) (/ (cbrt (- x y)) (cbrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt z)) (/ (cbrt (- x y)) (sqrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) (/ (cbrt (- x y)) z) (/ (sqrt (- x y)) (* (cbrt z) (cbrt z))) (/ (sqrt (- x y)) (cbrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) 1) (/ (sqrt (- x y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) (/ 1 1) (/ (- x y) z) (/ (+ (sqrt x) (sqrt y)) (* (cbrt z) (cbrt z))) (/ (- (sqrt x) (sqrt y)) (cbrt z)) (/ (+ (sqrt x) (sqrt y)) (sqrt z)) (/ (- (sqrt x) (sqrt y)) (sqrt z)) (/ (+ (sqrt x) (sqrt y)) 1) (/ (- (sqrt x) (sqrt y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) (/ 1 1) (/ (- x y) z) (/ 1 z) (/ z (- x y)) (/ (- x y) (* (cbrt z) (cbrt z))) (/ (- x y) (sqrt z)) (/ (- x y) 1) (/ z (cbrt (- x y))) (/ z (sqrt (- x y))) (/ z (- x y)) (/ z (- (sqrt x) (sqrt y))) (/ z (- x y)) (* z (+ (* x x) (+ (* y y) (* x y)))) (* z (+ x y)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) 5.265 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 5.266 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 5.267 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 5.268 * * [simplify]: iteration done : 13 enodes (cost 7 ) 5.269 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 5.270 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 5.272 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 5.274 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 5.276 * * [simplify]: iteration done : 22 enodes (cost 6 ) 5.277 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 5.277 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 5.279 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 5.281 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 5.283 * * [simplify]: iteration 4 : 24 enodes (cost 6 ) 5.286 * * [simplify]: iteration 5 : 30 enodes (cost 6 ) 5.289 * * [simplify]: iteration 6 : 34 enodes (cost 6 ) 5.294 * * [simplify]: iteration 7 : 50 enodes (cost 6 ) 5.300 * * [simplify]: iteration 8 : 54 enodes (cost 6 ) 5.312 * * [simplify]: iteration 9 : 61 enodes (cost 6 ) 5.319 * * [simplify]: iteration 10 : 70 enodes (cost 6 ) 5.328 * * [simplify]: iteration 11 : 90 enodes (cost 6 ) 5.340 * * [simplify]: iteration 12 : 111 enodes (cost 6 ) 5.356 * * [simplify]: iteration 13 : 129 enodes (cost 6 ) 5.378 * * [simplify]: iteration 14 : 136 enodes (cost 6 ) 5.393 * * [simplify]: iteration 15 : 142 enodes (cost 6 ) 5.410 * * [simplify]: iteration 16 : 145 enodes (cost 6 ) 5.425 * * [simplify]: iteration done : 145 enodes (cost 6 ) 5.426 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 5.427 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 5.436 * * [simplify]: iteration 2 : 68 enodes (cost 9 ) 5.451 * * [simplify]: iteration 3 : 203 enodes (cost 7 ) 5.514 * * [simplify]: iteration 4 : 562 enodes (cost 7 ) 5.866 * * [simplify]: iteration 5 : 2030 enodes (cost 7 ) 7.267 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.268 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 7.269 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 7.270 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 7.272 * * [simplify]: iteration 3 : 17 enodes (cost 13 ) 7.274 * * [simplify]: iteration done : 17 enodes (cost 13 ) 7.274 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.280 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 7.282 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 7.283 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 7.285 * * [simplify]: iteration done : 16 enodes (cost 6 ) 7.286 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 7.287 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 7.290 * * [simplify]: iteration 2 : 50 enodes (cost 7 ) 7.300 * * [simplify]: iteration 3 : 176 enodes (cost 7 ) 7.363 * * [simplify]: iteration 4 : 571 enodes (cost 7 ) 7.705 * * [simplify]: iteration 5 : 1720 enodes (cost 7 ) 9.430 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 9.430 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.431 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 9.432 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 9.434 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 9.442 * * [simplify]: iteration done : 16 enodes (cost 6 ) 9.443 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.444 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 9.445 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 9.446 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 9.448 * * [simplify]: iteration done : 16 enodes (cost 6 ) 9.448 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.449 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 9.449 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 9.451 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 9.452 * * [simplify]: iteration 4 : 13 enodes (cost 3 ) 9.453 * * [simplify]: iteration done : 13 enodes (cost 3 ) 9.454 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 9.454 * * [simplify]: iteration done : 2 enodes (cost 2 ) 9.454 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.455 * * [simplify]: iteration done : 3 enodes (cost 3 ) 9.455 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.456 * * [simplify]: iteration done : 3 enodes (cost 3 ) 9.456 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 9.457 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 9.459 * * [simplify]: iteration 2 : 27 enodes (cost 15 ) 9.463 * * [simplify]: iteration 3 : 33 enodes (cost 15 ) 9.467 * * [simplify]: iteration done : 33 enodes (cost 15 ) 9.467 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.468 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.469 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 9.470 * * [simplify]: iteration done : 10 enodes (cost 7 ) 9.470 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 9.471 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 9.472 * * [simplify]: iteration 2 : 15 enodes (cost 12 ) 9.474 * * [simplify]: iteration 3 : 16 enodes (cost 12 ) 9.476 * * [simplify]: iteration done : 16 enodes (cost 12 ) 9.476 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.477 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.478 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 9.479 * * [simplify]: iteration done : 10 enodes (cost 7 ) 9.479 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 9.480 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 9.482 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 9.484 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 9.486 * * [simplify]: iteration done : 25 enodes (cost 9 ) 9.486 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.487 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 9.488 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 9.489 * * [simplify]: iteration done : 9 enodes (cost 6 ) 9.489 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 9.490 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 9.491 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 9.493 * * [simplify]: iteration done : 13 enodes (cost 10 ) 9.493 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.494 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.495 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 9.496 * * [simplify]: iteration done : 10 enodes (cost 7 ) 9.497 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.497 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.498 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 9.499 * * [simplify]: iteration done : 10 enodes (cost 7 ) 9.500 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.501 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.501 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 9.502 * * [simplify]: iteration done : 10 enodes (cost 7 ) 9.503 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.504 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 9.504 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 9.505 * * [simplify]: iteration done : 13 enodes (cost 4 ) 9.506 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.507 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 9.507 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 9.508 * * [simplify]: iteration done : 9 enodes (cost 6 ) 9.509 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 9.516 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.516 * * [simplify]: iteration done : 9 enodes (cost 7 ) 9.517 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.518 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 9.519 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 9.520 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 9.522 * * [simplify]: iteration done : 16 enodes (cost 6 ) 9.522 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.523 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 9.523 * * [simplify]: iteration done : 6 enodes (cost 4 ) 9.524 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.525 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 9.526 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 9.527 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 9.529 * * [simplify]: iteration done : 16 enodes (cost 6 ) 9.530 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 9.530 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 9.530 * * [simplify]: iteration done : 4 enodes (cost 1 ) 9.531 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.531 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 9.532 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 9.534 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 9.535 * * [simplify]: iteration done : 15 enodes (cost 5 ) 9.536 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 9.537 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 9.538 * * [simplify]: iteration done : 12 enodes (cost 11 ) 9.539 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 9.539 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 9.541 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 9.542 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 9.544 * * [simplify]: iteration done : 18 enodes (cost 8 ) 9.545 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 9.546 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 9.547 * * [simplify]: iteration done : 9 enodes (cost 8 ) 9.547 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 9.548 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 9.549 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 9.551 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 9.553 * * [simplify]: iteration done : 18 enodes (cost 8 ) 9.553 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.554 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 9.555 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 9.556 * * [simplify]: iteration done : 12 enodes (cost 5 ) 9.556 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.557 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 9.558 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 9.560 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 9.562 * * [simplify]: iteration done : 17 enodes (cost 7 ) 9.562 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 9.563 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.564 * * [simplify]: iteration done : 9 enodes (cost 7 ) 9.564 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.565 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 9.566 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 9.568 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 9.569 * * [simplify]: iteration done : 16 enodes (cost 6 ) 9.570 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 9.570 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 9.571 * * [simplify]: iteration done : 6 enodes (cost 4 ) 9.572 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.572 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 9.574 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 9.575 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 9.577 * * [simplify]: iteration done : 16 enodes (cost 6 ) 9.577 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 9.577 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 9.578 * * [simplify]: iteration done : 4 enodes (cost 1 ) 9.578 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.579 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 9.580 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 9.581 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 9.583 * * [simplify]: iteration done : 15 enodes (cost 5 ) 9.583 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 9.589 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 9.589 * * [simplify]: iteration done : 5 enodes (cost 3 ) 9.590 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.591 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 9.591 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 9.592 * * [simplify]: iteration done : 8 enodes (cost 5 ) 9.593 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 9.594 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 9.595 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 9.598 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 9.601 * * [simplify]: iteration 4 : 30 enodes (cost 9 ) 9.604 * * [simplify]: iteration done : 30 enodes (cost 9 ) 9.604 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.605 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 9.607 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 9.608 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 9.610 * * [simplify]: iteration done : 16 enodes (cost 6 ) 9.611 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.611 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 9.613 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 9.614 * * [simplify]: iteration done : 17 enodes (cost 3 ) 9.614 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.615 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 9.616 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 9.617 * * [simplify]: iteration done : 9 enodes (cost 6 ) 9.618 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 9.618 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 9.619 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 9.620 * * [simplify]: iteration done : 9 enodes (cost 6 ) 9.620 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.621 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 9.622 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 9.623 * * [simplify]: iteration done : 8 enodes (cost 5 ) 9.623 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 9.624 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 9.625 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 9.626 * * [simplify]: iteration done : 10 enodes (cost 7 ) 9.626 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.627 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 9.628 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 9.628 * * [simplify]: iteration done : 8 enodes (cost 5 ) 9.629 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 9.630 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 9.634 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 9.643 * * [simplify]: iteration 3 : 78 enodes (cost 11 ) 9.664 * * [simplify]: iteration 4 : 87 enodes (cost 11 ) 9.680 * * [simplify]: iteration 5 : 89 enodes (cost 11 ) 9.695 * * [simplify]: iteration done : 89 enodes (cost 11 ) 9.696 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.696 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 9.698 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 9.699 * * [simplify]: iteration done : 14 enodes (cost 5 ) 9.700 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 9.701 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 9.702 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 9.703 * * [simplify]: iteration done : 11 enodes (cost 7 ) 9.703 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 9.704 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 9.705 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 9.706 * * [simplify]: iteration done : 11 enodes (cost 7 ) 9.707 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 9.707 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 9.708 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 9.709 * * [simplify]: iteration done : 11 enodes (cost 7 ) 9.710 * [simplify]: Simplified to: (- (log (- x y)) (log z)) (log (/ (- x y) z)) (exp (/ (- x y) z)) (pow (/ (- x y) z) 3) (* (cbrt (/ (- x y) z)) (cbrt (/ (- x y) z))) (cbrt (/ (- x y) z)) (pow (/ (- x y) z) 3) (sqrt (/ (- x y) z)) (sqrt (/ (- x y) z)) (- y x) (neg z) (/ x z) (/ y z) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt z) (cbrt z))) (/ (cbrt (- x y)) (cbrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt z)) (/ (cbrt (- x y)) (sqrt z)) (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) z) (/ (sqrt (- x y)) (* (cbrt z) (cbrt z))) (/ (sqrt (- x y)) (cbrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) (sqrt z)) (sqrt (- x y)) (/ (sqrt (- x y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) 1 (/ (- x y) z) (/ (+ (sqrt x) (sqrt y)) (* (cbrt z) (cbrt z))) (/ (- (sqrt x) (sqrt y)) (cbrt z)) (/ (+ (sqrt x) (sqrt y)) (sqrt z)) (/ (- (sqrt x) (sqrt y)) (sqrt z)) (+ (sqrt y) (sqrt x)) (/ (- (sqrt x) (sqrt y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) 1 (/ (- x y) z) (/ 1 z) (/ z (- x y)) (/ (- x y) (* (cbrt z) (cbrt z))) (/ (- x y) (sqrt z)) (- x y) (/ z (cbrt (- x y))) (/ z (sqrt (- x y))) (/ z (- x y)) (/ z (- (sqrt x) (sqrt y))) (/ z (- x y)) (* (+ (* y (+ y x)) (* x x)) z) (* z (+ x y)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) 9.710 * * * [progress]: adding candidates to table 9.754 * * [progress]: iteration 2 / 4 9.754 * * * [progress]: picking best candidate 9.757 * * * * [pick]: Picked # 9.757 * * * [progress]: localizing error 9.765 * * * [progress]: generating rewritten candidates 9.765 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 9.781 * * * [progress]: generating series expansions 9.781 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 9.781 * [approximate]: Taking taylor expansion of (- (/ x z) (/ y z)) in (x z y) around 0 9.781 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in y 9.781 * [taylor]: Taking taylor expansion of (/ x z) in y 9.781 * [taylor]: Taking taylor expansion of x in y 9.781 * [taylor]: Taking taylor expansion of z in y 9.781 * [taylor]: Taking taylor expansion of (/ y z) in y 9.781 * [taylor]: Taking taylor expansion of y in y 9.781 * [taylor]: Taking taylor expansion of z in y 9.782 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in z 9.782 * [taylor]: Taking taylor expansion of (/ x z) in z 9.782 * [taylor]: Taking taylor expansion of x in z 9.782 * [taylor]: Taking taylor expansion of z in z 9.782 * [taylor]: Taking taylor expansion of (/ y z) in z 9.782 * [taylor]: Taking taylor expansion of y in z 9.782 * [taylor]: Taking taylor expansion of z in z 9.782 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in x 9.782 * [taylor]: Taking taylor expansion of (/ x z) in x 9.782 * [taylor]: Taking taylor expansion of x in x 9.782 * [taylor]: Taking taylor expansion of z in x 9.782 * [taylor]: Taking taylor expansion of (/ y z) in x 9.782 * [taylor]: Taking taylor expansion of y in x 9.782 * [taylor]: Taking taylor expansion of z in x 9.782 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in x 9.782 * [taylor]: Taking taylor expansion of (/ x z) in x 9.782 * [taylor]: Taking taylor expansion of x in x 9.782 * [taylor]: Taking taylor expansion of z in x 9.782 * [taylor]: Taking taylor expansion of (/ y z) in x 9.782 * [taylor]: Taking taylor expansion of y in x 9.782 * [taylor]: Taking taylor expansion of z in x 9.782 * [taylor]: Taking taylor expansion of (neg (/ y z)) in z 9.782 * [taylor]: Taking taylor expansion of (/ y z) in z 9.782 * [taylor]: Taking taylor expansion of y in z 9.782 * [taylor]: Taking taylor expansion of z in z 9.782 * [taylor]: Taking taylor expansion of (neg y) in y 9.782 * [taylor]: Taking taylor expansion of y in y 9.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.782 * [taylor]: Taking taylor expansion of z in z 9.782 * [taylor]: Taking taylor expansion of 1 in y 9.783 * [taylor]: Taking taylor expansion of 0 in y 9.783 * [taylor]: Taking taylor expansion of 0 in z 9.783 * [taylor]: Taking taylor expansion of 0 in y 9.783 * [taylor]: Taking taylor expansion of 0 in y 9.783 * [taylor]: Taking taylor expansion of 0 in z 9.783 * [taylor]: Taking taylor expansion of 0 in y 9.783 * [approximate]: Taking taylor expansion of (- (/ z x) (/ z y)) in (x z y) around 0 9.784 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in y 9.784 * [taylor]: Taking taylor expansion of (/ z x) in y 9.784 * [taylor]: Taking taylor expansion of z in y 9.784 * [taylor]: Taking taylor expansion of x in y 9.784 * [taylor]: Taking taylor expansion of (/ z y) in y 9.784 * [taylor]: Taking taylor expansion of z in y 9.784 * [taylor]: Taking taylor expansion of y in y 9.784 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in z 9.784 * [taylor]: Taking taylor expansion of (/ z x) in z 9.784 * [taylor]: Taking taylor expansion of z in z 9.784 * [taylor]: Taking taylor expansion of x in z 9.784 * [taylor]: Taking taylor expansion of (/ z y) in z 9.784 * [taylor]: Taking taylor expansion of z in z 9.784 * [taylor]: Taking taylor expansion of y in z 9.784 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 9.784 * [taylor]: Taking taylor expansion of (/ z x) in x 9.784 * [taylor]: Taking taylor expansion of z in x 9.784 * [taylor]: Taking taylor expansion of x in x 9.784 * [taylor]: Taking taylor expansion of (/ z y) in x 9.784 * [taylor]: Taking taylor expansion of z in x 9.784 * [taylor]: Taking taylor expansion of y in x 9.784 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 9.784 * [taylor]: Taking taylor expansion of (/ z x) in x 9.784 * [taylor]: Taking taylor expansion of z in x 9.784 * [taylor]: Taking taylor expansion of x in x 9.784 * [taylor]: Taking taylor expansion of (/ z y) in x 9.784 * [taylor]: Taking taylor expansion of z in x 9.784 * [taylor]: Taking taylor expansion of y in x 9.784 * [taylor]: Taking taylor expansion of z in z 9.784 * [taylor]: Taking taylor expansion of 1 in y 9.784 * [taylor]: Taking taylor expansion of (neg (/ z y)) in z 9.784 * [taylor]: Taking taylor expansion of (/ z y) in z 9.784 * [taylor]: Taking taylor expansion of z in z 9.784 * [taylor]: Taking taylor expansion of y in z 9.785 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 9.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.785 * [taylor]: Taking taylor expansion of y in y 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.785 * [taylor]: Taking taylor expansion of 0 in z 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.785 * [taylor]: Taking taylor expansion of 0 in z 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.785 * [taylor]: Taking taylor expansion of 0 in y 9.786 * [approximate]: Taking taylor expansion of (- (/ z x) (/ z y)) in (x z y) around 0 9.786 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in y 9.786 * [taylor]: Taking taylor expansion of (/ z x) in y 9.786 * [taylor]: Taking taylor expansion of z in y 9.786 * [taylor]: Taking taylor expansion of x in y 9.786 * [taylor]: Taking taylor expansion of (/ z y) in y 9.786 * [taylor]: Taking taylor expansion of z in y 9.786 * [taylor]: Taking taylor expansion of y in y 9.786 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in z 9.786 * [taylor]: Taking taylor expansion of (/ z x) in z 9.786 * [taylor]: Taking taylor expansion of z in z 9.786 * [taylor]: Taking taylor expansion of x in z 9.786 * [taylor]: Taking taylor expansion of (/ z y) in z 9.786 * [taylor]: Taking taylor expansion of z in z 9.786 * [taylor]: Taking taylor expansion of y in z 9.786 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 9.786 * [taylor]: Taking taylor expansion of (/ z x) in x 9.786 * [taylor]: Taking taylor expansion of z in x 9.786 * [taylor]: Taking taylor expansion of x in x 9.786 * [taylor]: Taking taylor expansion of (/ z y) in x 9.786 * [taylor]: Taking taylor expansion of z in x 9.786 * [taylor]: Taking taylor expansion of y in x 9.786 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x 9.786 * [taylor]: Taking taylor expansion of (/ z x) in x 9.786 * [taylor]: Taking taylor expansion of z in x 9.786 * [taylor]: Taking taylor expansion of x in x 9.786 * [taylor]: Taking taylor expansion of (/ z y) in x 9.786 * [taylor]: Taking taylor expansion of z in x 9.786 * [taylor]: Taking taylor expansion of y in x 9.786 * [taylor]: Taking taylor expansion of z in z 9.787 * [taylor]: Taking taylor expansion of 1 in y 9.787 * [taylor]: Taking taylor expansion of (neg (/ z y)) in z 9.787 * [taylor]: Taking taylor expansion of (/ z y) in z 9.787 * [taylor]: Taking taylor expansion of z in z 9.787 * [taylor]: Taking taylor expansion of y in z 9.787 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 9.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.787 * [taylor]: Taking taylor expansion of y in y 9.787 * [taylor]: Taking taylor expansion of 0 in y 9.787 * [taylor]: Taking taylor expansion of 0 in z 9.787 * [taylor]: Taking taylor expansion of 0 in y 9.787 * [taylor]: Taking taylor expansion of 0 in y 9.787 * [taylor]: Taking taylor expansion of 0 in y 9.787 * [taylor]: Taking taylor expansion of 0 in z 9.787 * [taylor]: Taking taylor expansion of 0 in y 9.787 * [taylor]: Taking taylor expansion of 0 in y 9.788 * [taylor]: Taking taylor expansion of 0 in y 9.788 * [taylor]: Taking taylor expansion of 0 in y 9.788 * * * [progress]: simplifying candidates 9.788 * [simplify]: Simplifying using # : (/ (exp (/ x z)) (exp (/ y z))) (log (- (/ x z) (/ y z))) (exp (- (/ x z) (/ y z))) (* (cbrt (- (/ x z) (/ y z))) (cbrt (- (/ x z) (/ y z)))) (cbrt (- (/ x z) (/ y z))) (* (* (- (/ x z) (/ y z)) (- (/ x z) (/ y z))) (- (/ x z) (/ y z))) (sqrt (- (/ x z) (/ y z))) (sqrt (- (/ x z) (/ y z))) (- x y) (- (* x z) (* z y)) (* z z) (- (pow (/ x z) 3) (pow (/ y z) 3)) (+ (* (/ x z) (/ x z)) (+ (* (/ y z) (/ y z)) (* (/ x z) (/ y z)))) (neg (/ y z)) (- (* (/ x z) (/ x z)) (* (/ y z) (/ y z))) (+ (/ x z) (/ y z)) (+ (sqrt (/ x z)) (sqrt (/ y z))) (- (sqrt (/ x z)) (sqrt (/ y z))) (+ (sqrt (/ x z)) (/ (sqrt y) (sqrt z))) (- (sqrt (/ x z)) (/ (sqrt y) (sqrt z))) (+ (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (- (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (+ (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ x (cbrt z)) (/ y (cbrt z))) (- (/ x (sqrt z)) (/ y (sqrt z))) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- x y) (neg (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) 9.789 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 9.790 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 9.791 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 9.798 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 9.800 * * [simplify]: iteration 4 : 20 enodes (cost 8 ) 9.803 * * [simplify]: iteration 5 : 26 enodes (cost 8 ) 9.806 * * [simplify]: iteration 6 : 30 enodes (cost 8 ) 9.809 * * [simplify]: iteration 7 : 46 enodes (cost 8 ) 9.815 * * [simplify]: iteration 8 : 50 enodes (cost 8 ) 9.820 * * [simplify]: iteration 9 : 57 enodes (cost 8 ) 9.827 * * [simplify]: iteration 10 : 66 enodes (cost 8 ) 9.836 * * [simplify]: iteration 11 : 86 enodes (cost 8 ) 9.847 * * [simplify]: iteration 12 : 107 enodes (cost 8 ) 9.866 * * [simplify]: iteration 13 : 121 enodes (cost 8 ) 9.882 * * [simplify]: iteration 14 : 126 enodes (cost 8 ) 9.896 * * [simplify]: iteration 15 : 128 enodes (cost 8 ) 9.910 * * [simplify]: iteration done : 128 enodes (cost 8 ) 9.911 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.912 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 9.913 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 9.915 * * [simplify]: iteration done : 12 enodes (cost 8 ) 9.915 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.916 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 9.923 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 9.925 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 9.927 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 9.930 * * [simplify]: iteration 5 : 30 enodes (cost 8 ) 9.934 * * [simplify]: iteration 6 : 46 enodes (cost 8 ) 9.939 * * [simplify]: iteration 7 : 50 enodes (cost 8 ) 9.945 * * [simplify]: iteration 8 : 57 enodes (cost 8 ) 9.951 * * [simplify]: iteration 9 : 66 enodes (cost 8 ) 9.960 * * [simplify]: iteration 10 : 86 enodes (cost 8 ) 9.971 * * [simplify]: iteration 11 : 107 enodes (cost 8 ) 9.991 * * [simplify]: iteration 12 : 121 enodes (cost 8 ) 10.006 * * [simplify]: iteration 13 : 126 enodes (cost 8 ) 10.021 * * [simplify]: iteration 14 : 128 enodes (cost 8 ) 10.035 * * [simplify]: iteration done : 128 enodes (cost 8 ) 10.036 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 10.037 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 10.038 * * [simplify]: iteration 2 : 13 enodes (cost 17 ) 10.039 * * [simplify]: iteration done : 13 enodes (cost 17 ) 10.040 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 10.041 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 10.048 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 10.049 * * [simplify]: iteration done : 12 enodes (cost 8 ) 10.050 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 10.051 * * [simplify]: iteration 1 : 11 enodes (cost 23 ) 10.052 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 10.057 * * [simplify]: iteration 3 : 87 enodes (cost 9 ) 10.080 * * [simplify]: iteration 4 : 292 enodes (cost 9 ) 10.203 * * [simplify]: iteration 5 : 986 enodes (cost 9 ) 11.169 * * [simplify]: iteration 6 : 3239 enodes (cost 9 ) 12.329 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 12.330 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 12.331 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 12.332 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 12.333 * * [simplify]: iteration done : 12 enodes (cost 8 ) 12.334 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 12.334 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 12.336 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 12.337 * * [simplify]: iteration done : 12 enodes (cost 8 ) 12.337 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 12.338 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 12.338 * * [simplify]: iteration 2 : 6 enodes (cost 3 ) 12.339 * * [simplify]: iteration done : 6 enodes (cost 3 ) 12.340 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 12.340 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 12.342 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 12.345 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 12.348 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 12.351 * * [simplify]: iteration done : 24 enodes (cost 5 ) 12.351 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 12.352 * * [simplify]: iteration done : 2 enodes (cost 3 ) 12.352 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 12.354 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 12.358 * * [simplify]: iteration 2 : 84 enodes (cost 11 ) 12.381 * * [simplify]: iteration 3 : 240 enodes (cost 11 ) 12.465 * * [simplify]: iteration 4 : 774 enodes (cost 11 ) 12.999 * * [simplify]: iteration 5 : 2602 enodes (cost 11 ) 14.307 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 14.308 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 14.315 * * [simplify]: iteration 1 : 29 enodes (cost 19 ) 14.319 * * [simplify]: iteration 2 : 57 enodes (cost 19 ) 14.328 * * [simplify]: iteration 3 : 85 enodes (cost 19 ) 14.347 * * [simplify]: iteration 4 : 114 enodes (cost 17 ) 14.365 * * [simplify]: iteration 5 : 137 enodes (cost 17 ) 14.388 * * [simplify]: iteration 6 : 160 enodes (cost 17 ) 14.420 * * [simplify]: iteration 7 : 177 enodes (cost 17 ) 14.457 * * [simplify]: iteration 8 : 187 enodes (cost 17 ) 14.492 * * [simplify]: iteration 9 : 188 enodes (cost 17 ) 14.532 * * [simplify]: iteration done : 188 enodes (cost 17 ) 14.532 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 14.533 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 14.534 * * [simplify]: iteration done : 6 enodes (cost 4 ) 14.534 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 14.536 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 14.539 * * [simplify]: iteration 2 : 42 enodes (cost 15 ) 14.545 * * [simplify]: iteration 3 : 82 enodes (cost 15 ) 14.557 * * [simplify]: iteration 4 : 149 enodes (cost 15 ) 14.590 * * [simplify]: iteration 5 : 247 enodes (cost 15 ) 14.645 * * [simplify]: iteration 6 : 348 enodes (cost 15 ) 14.737 * * [simplify]: iteration 7 : 579 enodes (cost 13 ) 15.572 * * [simplify]: iteration 8 : 2083 enodes (cost 13 ) 21.296 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 21.297 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.298 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 21.298 * * [simplify]: iteration done : 7 enodes (cost 7 ) 21.299 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 21.300 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 21.301 * * [simplify]: iteration done : 9 enodes (cost 9 ) 21.301 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 21.302 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 21.303 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 21.305 * * [simplify]: iteration done : 11 enodes (cost 9 ) 21.305 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 21.306 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 21.307 * * [simplify]: iteration done : 10 enodes (cost 10 ) 21.308 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 21.309 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 21.310 * * [simplify]: iteration 2 : 14 enodes (cost 10 ) 21.311 * * [simplify]: iteration done : 14 enodes (cost 10 ) 21.312 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 21.313 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 21.314 * * [simplify]: iteration done : 10 enodes (cost 10 ) 21.314 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 21.315 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 21.317 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 21.318 * * [simplify]: iteration done : 12 enodes (cost 10 ) 21.318 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 21.319 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 21.320 * * [simplify]: iteration done : 10 enodes (cost 11 ) 21.321 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 21.322 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 21.323 * * [simplify]: iteration 2 : 14 enodes (cost 11 ) 21.324 * * [simplify]: iteration done : 14 enodes (cost 11 ) 21.325 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 21.325 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 21.332 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 21.333 * * [simplify]: iteration done : 12 enodes (cost 9 ) 21.334 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 21.334 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 21.335 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 21.337 * * [simplify]: iteration done : 12 enodes (cost 9 ) 21.337 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.338 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 21.339 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 21.340 * * [simplify]: iteration done : 11 enodes (cost 7 ) 21.341 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.341 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 21.342 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 21.343 * * [simplify]: iteration done : 11 enodes (cost 7 ) 21.344 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 21.344 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 21.345 * * [simplify]: iteration 2 : 6 enodes (cost 3 ) 21.345 * * [simplify]: iteration done : 6 enodes (cost 3 ) 21.346 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 21.346 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 21.347 * * [simplify]: iteration done : 6 enodes (cost 4 ) 21.348 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.348 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 21.349 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 21.350 * * [simplify]: iteration done : 11 enodes (cost 7 ) 21.351 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.351 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 21.352 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 21.354 * * [simplify]: iteration done : 11 enodes (cost 7 ) 21.354 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.355 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 21.356 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 21.357 * * [simplify]: iteration done : 11 enodes (cost 7 ) 21.358 * [simplify]: Simplified to: (exp (- (/ x z) (/ y z))) (log (- (/ x z) (/ y z))) (exp (- (/ x z) (/ y z))) (* (cbrt (- (/ x z) (/ y z))) (cbrt (- (/ x z) (/ y z)))) (cbrt (- (/ x z) (/ y z))) (pow (- (/ x z) (/ y z)) 3) (sqrt (- (/ x z) (/ y z))) (sqrt (- (/ x z) (/ y z))) (- x y) (* z (- x y)) (* z z) (- (pow (/ x z) 3) (pow (/ y z) 3)) (+ (/ (* (/ y z) (+ y x)) z) (* (/ x z) (/ x z))) (neg (/ y z)) (* (/ (- (/ x z) (/ y z)) z) (+ x y)) (+ (/ x z) (/ y z)) (+ (sqrt (/ x z)) (sqrt (/ y z))) (- (sqrt (/ x z)) (sqrt (/ y z))) (+ (sqrt (/ x z)) (/ (sqrt y) (sqrt z))) (- (sqrt (/ x z)) (/ (sqrt y) (sqrt z))) (+ (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (- (/ (sqrt x) (sqrt z)) (sqrt (/ y z))) (+ (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z))) (- (/ x (cbrt z)) (/ y (cbrt z))) (- (/ x (sqrt z)) (/ y (sqrt z))) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- x y) (neg (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) 21.358 * * * [progress]: adding candidates to table 21.385 * [progress]: [Phase 3 of 3] Extracting. 21.385 * * [regime]: Finding splitpoints for: (# #) 21.385 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) z y x) 21.385 * * * * [regimes]: Trying to branch on (- x y) from (# #) 21.432 * * * * [regimes]: Trying to branch on z from (# #) 21.473 * * * * [regimes]: Trying to branch on y from (# #) 21.516 * * * * [regimes]: Trying to branch on x from (# #) 21.558 * * * [regime]: Found split indices: #