19.756 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (+ x (* (* (- y x) 6.0) z)) 0.019 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.021 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.023 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.026 * * [simplify]: iteration 3 : 55 enodes (cost 9 ) 0.037 * * [simplify]: iteration 4 : 84 enodes (cost 9 ) 0.051 * * [simplify]: iteration 5 : 109 enodes (cost 9 ) 0.072 * * [simplify]: iteration 6 : 126 enodes (cost 9 ) 0.098 * * [simplify]: iteration 7 : 143 enodes (cost 9 ) 0.128 * * [simplify]: iteration 8 : 194 enodes (cost 9 ) 0.170 * * [simplify]: iteration 9 : 296 enodes (cost 9 ) 0.253 * * [simplify]: iteration 10 : 496 enodes (cost 9 ) 0.434 * * [simplify]: iteration 11 : 724 enodes (cost 9 ) 0.770 * * [simplify]: iteration 12 : 1039 enodes (cost 9 ) 1.416 * * [simplify]: iteration 13 : 1395 enodes (cost 9 ) 2.469 * * [simplify]: iteration 14 : 1997 enodes (cost 9 ) 4.436 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 4.436 * [simplify]: Simplified to: (+ x (* (* (- y x) 6.0) z)) 4.437 * * [progress]: iteration 1 / 4 4.437 * * * [progress]: picking best candidate 4.438 * * * * [pick]: Picked # 4.438 * * * [progress]: localizing error 4.445 * * * [progress]: generating rewritten candidates 4.445 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 4.459 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 4.469 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.472 * * * [progress]: generating series expansions 4.473 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 4.473 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 4.473 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 4.473 * [taylor]: Taking taylor expansion of 6.0 in z 4.473 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 4.473 * [taylor]: Taking taylor expansion of (- y x) in z 4.473 * [taylor]: Taking taylor expansion of y in z 4.473 * [taylor]: Taking taylor expansion of x in z 4.473 * [taylor]: Taking taylor expansion of z in z 4.473 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 4.473 * [taylor]: Taking taylor expansion of 6.0 in x 4.473 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 4.473 * [taylor]: Taking taylor expansion of (- y x) in x 4.473 * [taylor]: Taking taylor expansion of y in x 4.473 * [taylor]: Taking taylor expansion of x in x 4.473 * [taylor]: Taking taylor expansion of z in x 4.473 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 4.473 * [taylor]: Taking taylor expansion of 6.0 in y 4.473 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 4.473 * [taylor]: Taking taylor expansion of (- y x) in y 4.473 * [taylor]: Taking taylor expansion of y in y 4.473 * [taylor]: Taking taylor expansion of x in y 4.473 * [taylor]: Taking taylor expansion of z in y 4.473 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 4.473 * [taylor]: Taking taylor expansion of 6.0 in y 4.473 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 4.473 * [taylor]: Taking taylor expansion of (- y x) in y 4.473 * [taylor]: Taking taylor expansion of y in y 4.473 * [taylor]: Taking taylor expansion of x in y 4.473 * [taylor]: Taking taylor expansion of z in y 4.473 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 4.473 * [taylor]: Taking taylor expansion of -6.0 in x 4.473 * [taylor]: Taking taylor expansion of (* x z) in x 4.473 * [taylor]: Taking taylor expansion of x in x 4.473 * [taylor]: Taking taylor expansion of z in x 4.474 * [taylor]: Taking taylor expansion of 0 in z 4.479 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 4.479 * [taylor]: Taking taylor expansion of 6.0 in x 4.479 * [taylor]: Taking taylor expansion of z in x 4.480 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 4.480 * [taylor]: Taking taylor expansion of 6.0 in z 4.480 * [taylor]: Taking taylor expansion of z in z 4.480 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 4.481 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 4.481 * [taylor]: Taking taylor expansion of 6.0 in z 4.481 * [taylor]: Taking taylor expansion of z in z 4.482 * [taylor]: Taking taylor expansion of 0 in x 4.483 * [taylor]: Taking taylor expansion of 0 in z 4.483 * [taylor]: Taking taylor expansion of 0 in z 4.483 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 4.483 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 4.483 * [taylor]: Taking taylor expansion of 6.0 in z 4.483 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 4.483 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 4.483 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.483 * [taylor]: Taking taylor expansion of y in z 4.483 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.483 * [taylor]: Taking taylor expansion of x in z 4.483 * [taylor]: Taking taylor expansion of z in z 4.483 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 4.483 * [taylor]: Taking taylor expansion of 6.0 in x 4.483 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 4.483 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.483 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.484 * [taylor]: Taking taylor expansion of y in x 4.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.484 * [taylor]: Taking taylor expansion of x in x 4.484 * [taylor]: Taking taylor expansion of z in x 4.484 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 4.484 * [taylor]: Taking taylor expansion of 6.0 in y 4.484 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 4.484 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.484 * [taylor]: Taking taylor expansion of y in y 4.485 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.485 * [taylor]: Taking taylor expansion of x in y 4.485 * [taylor]: Taking taylor expansion of z in y 4.485 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 4.485 * [taylor]: Taking taylor expansion of 6.0 in y 4.485 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 4.485 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.485 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.485 * [taylor]: Taking taylor expansion of y in y 4.485 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.485 * [taylor]: Taking taylor expansion of x in y 4.485 * [taylor]: Taking taylor expansion of z in y 4.486 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 4.486 * [taylor]: Taking taylor expansion of 6.0 in x 4.486 * [taylor]: Taking taylor expansion of z in x 4.487 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 4.487 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 4.487 * [taylor]: Taking taylor expansion of 6.0 in x 4.487 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.487 * [taylor]: Taking taylor expansion of (* x z) in x 4.487 * [taylor]: Taking taylor expansion of x in x 4.487 * [taylor]: Taking taylor expansion of z in x 4.487 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 4.487 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 4.487 * [taylor]: Taking taylor expansion of 6.0 in z 4.487 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.487 * [taylor]: Taking taylor expansion of z in z 4.488 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 4.488 * [taylor]: Taking taylor expansion of 6.0 in z 4.488 * [taylor]: Taking taylor expansion of z in z 4.490 * [taylor]: Taking taylor expansion of 0 in x 4.491 * [taylor]: Taking taylor expansion of 0 in z 4.491 * [taylor]: Taking taylor expansion of 0 in z 4.495 * [taylor]: Taking taylor expansion of 0 in x 4.495 * [taylor]: Taking taylor expansion of 0 in z 4.496 * [taylor]: Taking taylor expansion of 0 in z 4.496 * [taylor]: Taking taylor expansion of 0 in z 4.499 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 4.499 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 4.499 * [taylor]: Taking taylor expansion of -6.0 in z 4.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 4.499 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 4.499 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.499 * [taylor]: Taking taylor expansion of x in z 4.499 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.499 * [taylor]: Taking taylor expansion of y in z 4.499 * [taylor]: Taking taylor expansion of z in z 4.499 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 4.499 * [taylor]: Taking taylor expansion of -6.0 in x 4.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 4.499 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.499 * [taylor]: Taking taylor expansion of x in x 4.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.500 * [taylor]: Taking taylor expansion of y in x 4.500 * [taylor]: Taking taylor expansion of z in x 4.500 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 4.500 * [taylor]: Taking taylor expansion of -6.0 in y 4.500 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 4.500 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.500 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.500 * [taylor]: Taking taylor expansion of x in y 4.500 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.500 * [taylor]: Taking taylor expansion of y in y 4.500 * [taylor]: Taking taylor expansion of z in y 4.501 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 4.501 * [taylor]: Taking taylor expansion of -6.0 in y 4.501 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 4.501 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.501 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.501 * [taylor]: Taking taylor expansion of x in y 4.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.501 * [taylor]: Taking taylor expansion of y in y 4.501 * [taylor]: Taking taylor expansion of z in y 4.502 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 4.502 * [taylor]: Taking taylor expansion of 6.0 in x 4.502 * [taylor]: Taking taylor expansion of z in x 4.503 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 4.503 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 4.503 * [taylor]: Taking taylor expansion of 6.0 in x 4.503 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.503 * [taylor]: Taking taylor expansion of (* x z) in x 4.503 * [taylor]: Taking taylor expansion of x in x 4.503 * [taylor]: Taking taylor expansion of z in x 4.503 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 4.503 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 4.504 * [taylor]: Taking taylor expansion of 6.0 in z 4.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.504 * [taylor]: Taking taylor expansion of z in z 4.505 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 4.505 * [taylor]: Taking taylor expansion of 6.0 in z 4.505 * [taylor]: Taking taylor expansion of z in z 4.506 * [taylor]: Taking taylor expansion of 0 in x 4.507 * [taylor]: Taking taylor expansion of 0 in z 4.508 * [taylor]: Taking taylor expansion of 0 in z 4.511 * [taylor]: Taking taylor expansion of 0 in x 4.511 * [taylor]: Taking taylor expansion of 0 in z 4.512 * [taylor]: Taking taylor expansion of 0 in z 4.513 * [taylor]: Taking taylor expansion of 0 in z 4.515 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 4.515 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0 4.515 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 4.515 * [taylor]: Taking taylor expansion of 6.0 in x 4.515 * [taylor]: Taking taylor expansion of (- y x) in x 4.515 * [taylor]: Taking taylor expansion of y in x 4.515 * [taylor]: Taking taylor expansion of x in x 4.515 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 4.515 * [taylor]: Taking taylor expansion of 6.0 in y 4.515 * [taylor]: Taking taylor expansion of (- y x) in y 4.515 * [taylor]: Taking taylor expansion of y in y 4.515 * [taylor]: Taking taylor expansion of x in y 4.515 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 4.515 * [taylor]: Taking taylor expansion of 6.0 in y 4.515 * [taylor]: Taking taylor expansion of (- y x) in y 4.515 * [taylor]: Taking taylor expansion of y in y 4.515 * [taylor]: Taking taylor expansion of x in y 4.515 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 4.515 * [taylor]: Taking taylor expansion of -6.0 in x 4.515 * [taylor]: Taking taylor expansion of x in x 4.517 * [taylor]: Taking taylor expansion of 6.0 in x 4.519 * [taylor]: Taking taylor expansion of 0 in x 4.520 * [taylor]: Taking taylor expansion of 0 in x 4.521 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0 4.521 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 4.521 * [taylor]: Taking taylor expansion of 6.0 in x 4.521 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.521 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.521 * [taylor]: Taking taylor expansion of y in x 4.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.521 * [taylor]: Taking taylor expansion of x in x 4.521 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 4.521 * [taylor]: Taking taylor expansion of 6.0 in y 4.521 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.521 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.521 * [taylor]: Taking taylor expansion of y in y 4.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.522 * [taylor]: Taking taylor expansion of x in y 4.522 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 4.522 * [taylor]: Taking taylor expansion of 6.0 in y 4.522 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.522 * [taylor]: Taking taylor expansion of y in y 4.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.522 * [taylor]: Taking taylor expansion of x in y 4.523 * [taylor]: Taking taylor expansion of 6.0 in x 4.523 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 4.523 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 4.524 * [taylor]: Taking taylor expansion of 6.0 in x 4.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.524 * [taylor]: Taking taylor expansion of x in x 4.526 * [taylor]: Taking taylor expansion of 0 in x 4.529 * [taylor]: Taking taylor expansion of 0 in x 4.532 * [taylor]: Taking taylor expansion of 0 in x 4.533 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0 4.533 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 4.533 * [taylor]: Taking taylor expansion of 6.0 in x 4.533 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.533 * [taylor]: Taking taylor expansion of x in x 4.533 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.533 * [taylor]: Taking taylor expansion of y in x 4.533 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 4.533 * [taylor]: Taking taylor expansion of 6.0 in y 4.533 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.533 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.533 * [taylor]: Taking taylor expansion of x in y 4.533 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.533 * [taylor]: Taking taylor expansion of y in y 4.534 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 4.534 * [taylor]: Taking taylor expansion of 6.0 in y 4.534 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.534 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.534 * [taylor]: Taking taylor expansion of x in y 4.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.534 * [taylor]: Taking taylor expansion of y in y 4.535 * [taylor]: Taking taylor expansion of -6.0 in x 4.536 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 4.536 * [taylor]: Taking taylor expansion of 6.0 in x 4.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.536 * [taylor]: Taking taylor expansion of x in x 4.538 * [taylor]: Taking taylor expansion of 0 in x 4.541 * [taylor]: Taking taylor expansion of 0 in x 4.544 * [taylor]: Taking taylor expansion of 0 in x 4.544 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.544 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 4.544 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 4.544 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 4.544 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 4.544 * [taylor]: Taking taylor expansion of 6.0 in z 4.544 * [taylor]: Taking taylor expansion of (* z y) in z 4.544 * [taylor]: Taking taylor expansion of z in z 4.544 * [taylor]: Taking taylor expansion of y in z 4.544 * [taylor]: Taking taylor expansion of x in z 4.544 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 4.544 * [taylor]: Taking taylor expansion of 6.0 in z 4.544 * [taylor]: Taking taylor expansion of (* x z) in z 4.544 * [taylor]: Taking taylor expansion of x in z 4.544 * [taylor]: Taking taylor expansion of z in z 4.544 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 4.544 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 4.544 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 4.544 * [taylor]: Taking taylor expansion of 6.0 in y 4.544 * [taylor]: Taking taylor expansion of (* z y) in y 4.545 * [taylor]: Taking taylor expansion of z in y 4.545 * [taylor]: Taking taylor expansion of y in y 4.545 * [taylor]: Taking taylor expansion of x in y 4.545 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 4.545 * [taylor]: Taking taylor expansion of 6.0 in y 4.545 * [taylor]: Taking taylor expansion of (* x z) in y 4.545 * [taylor]: Taking taylor expansion of x in y 4.545 * [taylor]: Taking taylor expansion of z in y 4.545 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 4.545 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 4.545 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 4.545 * [taylor]: Taking taylor expansion of 6.0 in x 4.545 * [taylor]: Taking taylor expansion of (* z y) in x 4.545 * [taylor]: Taking taylor expansion of z in x 4.545 * [taylor]: Taking taylor expansion of y in x 4.545 * [taylor]: Taking taylor expansion of x in x 4.545 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 4.545 * [taylor]: Taking taylor expansion of 6.0 in x 4.545 * [taylor]: Taking taylor expansion of (* x z) in x 4.545 * [taylor]: Taking taylor expansion of x in x 4.545 * [taylor]: Taking taylor expansion of z in x 4.545 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 4.545 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 4.545 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 4.545 * [taylor]: Taking taylor expansion of 6.0 in x 4.545 * [taylor]: Taking taylor expansion of (* z y) in x 4.545 * [taylor]: Taking taylor expansion of z in x 4.545 * [taylor]: Taking taylor expansion of y in x 4.545 * [taylor]: Taking taylor expansion of x in x 4.545 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 4.545 * [taylor]: Taking taylor expansion of 6.0 in x 4.545 * [taylor]: Taking taylor expansion of (* x z) in x 4.545 * [taylor]: Taking taylor expansion of x in x 4.545 * [taylor]: Taking taylor expansion of z in x 4.546 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 4.546 * [taylor]: Taking taylor expansion of 6.0 in y 4.546 * [taylor]: Taking taylor expansion of (* z y) in y 4.546 * [taylor]: Taking taylor expansion of z in y 4.546 * [taylor]: Taking taylor expansion of y in y 4.546 * [taylor]: Taking taylor expansion of 0 in z 4.547 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 4.547 * [taylor]: Taking taylor expansion of 1 in y 4.547 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 4.547 * [taylor]: Taking taylor expansion of 6.0 in y 4.547 * [taylor]: Taking taylor expansion of z in y 4.548 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 4.548 * [taylor]: Taking taylor expansion of 1 in z 4.548 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 4.548 * [taylor]: Taking taylor expansion of 6.0 in z 4.548 * [taylor]: Taking taylor expansion of z in z 4.549 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 4.549 * [taylor]: Taking taylor expansion of 6.0 in z 4.549 * [taylor]: Taking taylor expansion of z in z 4.552 * [taylor]: Taking taylor expansion of 0 in y 4.552 * [taylor]: Taking taylor expansion of 0 in z 4.552 * [taylor]: Taking taylor expansion of 0 in z 4.553 * [taylor]: Taking taylor expansion of 0 in z 4.557 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 4.557 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 4.557 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 4.557 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 4.557 * [taylor]: Taking taylor expansion of 6.0 in z 4.557 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 4.557 * [taylor]: Taking taylor expansion of (* z y) in z 4.557 * [taylor]: Taking taylor expansion of z in z 4.557 * [taylor]: Taking taylor expansion of y in z 4.557 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.557 * [taylor]: Taking taylor expansion of x in z 4.557 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 4.557 * [taylor]: Taking taylor expansion of 6.0 in z 4.557 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.557 * [taylor]: Taking taylor expansion of (* x z) in z 4.557 * [taylor]: Taking taylor expansion of x in z 4.557 * [taylor]: Taking taylor expansion of z in z 4.558 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 4.558 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 4.558 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 4.558 * [taylor]: Taking taylor expansion of 6.0 in y 4.558 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.558 * [taylor]: Taking taylor expansion of (* z y) in y 4.558 * [taylor]: Taking taylor expansion of z in y 4.558 * [taylor]: Taking taylor expansion of y in y 4.558 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.558 * [taylor]: Taking taylor expansion of x in y 4.558 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 4.558 * [taylor]: Taking taylor expansion of 6.0 in y 4.558 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 4.558 * [taylor]: Taking taylor expansion of (* x z) in y 4.558 * [taylor]: Taking taylor expansion of x in y 4.558 * [taylor]: Taking taylor expansion of z in y 4.558 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 4.558 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 4.558 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 4.558 * [taylor]: Taking taylor expansion of 6.0 in x 4.558 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.559 * [taylor]: Taking taylor expansion of (* z y) in x 4.559 * [taylor]: Taking taylor expansion of z in x 4.559 * [taylor]: Taking taylor expansion of y in x 4.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.559 * [taylor]: Taking taylor expansion of x in x 4.559 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 4.559 * [taylor]: Taking taylor expansion of 6.0 in x 4.559 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.559 * [taylor]: Taking taylor expansion of (* x z) in x 4.559 * [taylor]: Taking taylor expansion of x in x 4.559 * [taylor]: Taking taylor expansion of z in x 4.559 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 4.559 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 4.559 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 4.559 * [taylor]: Taking taylor expansion of 6.0 in x 4.559 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.559 * [taylor]: Taking taylor expansion of (* z y) in x 4.559 * [taylor]: Taking taylor expansion of z in x 4.559 * [taylor]: Taking taylor expansion of y in x 4.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.560 * [taylor]: Taking taylor expansion of x in x 4.560 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 4.560 * [taylor]: Taking taylor expansion of 6.0 in x 4.560 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.560 * [taylor]: Taking taylor expansion of (* x z) in x 4.560 * [taylor]: Taking taylor expansion of x in x 4.560 * [taylor]: Taking taylor expansion of z in x 4.561 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 4.561 * [taylor]: Taking taylor expansion of 1 in y 4.561 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 4.561 * [taylor]: Taking taylor expansion of 6.0 in y 4.561 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.561 * [taylor]: Taking taylor expansion of z in y 4.562 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 4.563 * [taylor]: Taking taylor expansion of 6.0 in y 4.563 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.563 * [taylor]: Taking taylor expansion of (* z y) in y 4.563 * [taylor]: Taking taylor expansion of z in y 4.563 * [taylor]: Taking taylor expansion of y in y 4.563 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 4.563 * [taylor]: Taking taylor expansion of 6.0 in z 4.563 * [taylor]: Taking taylor expansion of z in z 4.563 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 4.563 * [taylor]: Taking taylor expansion of 1 in z 4.563 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 4.563 * [taylor]: Taking taylor expansion of 6.0 in z 4.563 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.563 * [taylor]: Taking taylor expansion of z in z 4.571 * [taylor]: Taking taylor expansion of 0 in y 4.572 * [taylor]: Taking taylor expansion of 0 in z 4.573 * [taylor]: Taking taylor expansion of 0 in z 4.575 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 4.575 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 4.575 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 4.575 * [taylor]: Taking taylor expansion of 6.0 in z 4.575 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 4.576 * [taylor]: Taking taylor expansion of (* z y) in z 4.576 * [taylor]: Taking taylor expansion of z in z 4.576 * [taylor]: Taking taylor expansion of y in z 4.576 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 4.576 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 4.576 * [taylor]: Taking taylor expansion of 6.0 in z 4.576 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.576 * [taylor]: Taking taylor expansion of (* x z) in z 4.576 * [taylor]: Taking taylor expansion of x in z 4.576 * [taylor]: Taking taylor expansion of z in z 4.576 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.576 * [taylor]: Taking taylor expansion of x in z 4.576 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 4.576 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 4.576 * [taylor]: Taking taylor expansion of 6.0 in y 4.576 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.576 * [taylor]: Taking taylor expansion of (* z y) in y 4.576 * [taylor]: Taking taylor expansion of z in y 4.576 * [taylor]: Taking taylor expansion of y in y 4.577 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 4.577 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 4.577 * [taylor]: Taking taylor expansion of 6.0 in y 4.577 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 4.577 * [taylor]: Taking taylor expansion of (* x z) in y 4.577 * [taylor]: Taking taylor expansion of x in y 4.577 * [taylor]: Taking taylor expansion of z in y 4.577 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.577 * [taylor]: Taking taylor expansion of x in y 4.577 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 4.577 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 4.577 * [taylor]: Taking taylor expansion of 6.0 in x 4.577 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.577 * [taylor]: Taking taylor expansion of (* z y) in x 4.577 * [taylor]: Taking taylor expansion of z in x 4.577 * [taylor]: Taking taylor expansion of y in x 4.577 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 4.577 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 4.577 * [taylor]: Taking taylor expansion of 6.0 in x 4.577 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.577 * [taylor]: Taking taylor expansion of (* x z) in x 4.577 * [taylor]: Taking taylor expansion of x in x 4.577 * [taylor]: Taking taylor expansion of z in x 4.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.578 * [taylor]: Taking taylor expansion of x in x 4.578 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 4.578 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 4.578 * [taylor]: Taking taylor expansion of 6.0 in x 4.578 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 4.578 * [taylor]: Taking taylor expansion of (* z y) in x 4.578 * [taylor]: Taking taylor expansion of z in x 4.578 * [taylor]: Taking taylor expansion of y in x 4.578 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 4.578 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 4.578 * [taylor]: Taking taylor expansion of 6.0 in x 4.578 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.578 * [taylor]: Taking taylor expansion of (* x z) in x 4.578 * [taylor]: Taking taylor expansion of x in x 4.578 * [taylor]: Taking taylor expansion of z in x 4.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.579 * [taylor]: Taking taylor expansion of x in x 4.579 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 4.579 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 4.579 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 4.579 * [taylor]: Taking taylor expansion of 6.0 in y 4.579 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.579 * [taylor]: Taking taylor expansion of z in y 4.579 * [taylor]: Taking taylor expansion of 1 in y 4.581 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 4.581 * [taylor]: Taking taylor expansion of 6.0 in y 4.581 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.581 * [taylor]: Taking taylor expansion of (* z y) in y 4.581 * [taylor]: Taking taylor expansion of z in y 4.581 * [taylor]: Taking taylor expansion of y in y 4.582 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 4.582 * [taylor]: Taking taylor expansion of 6.0 in z 4.582 * [taylor]: Taking taylor expansion of z in z 4.582 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 4.582 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 4.582 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 4.582 * [taylor]: Taking taylor expansion of 6.0 in z 4.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.582 * [taylor]: Taking taylor expansion of z in z 4.583 * [taylor]: Taking taylor expansion of 1 in z 4.586 * [taylor]: Taking taylor expansion of 0 in y 4.587 * [taylor]: Taking taylor expansion of 0 in z 4.588 * [taylor]: Taking taylor expansion of 0 in z 4.590 * * * [progress]: simplifying candidates 4.591 * [simplify]: Simplifying using # : (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (+ (+ (log (- y x)) (log 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (log (* (* (- y x) 6.0) z)) (exp (* (* (- y x) 6.0) z)) (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* z z) z)) (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* z z) z)) (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z))) (cbrt (* (* (- y x) 6.0) z)) (* (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) (* (cbrt z) (cbrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) 1) (* 6.0 z) (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- y x) 6.0) (+ (log (- y x)) (log 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (* (- y x) 1) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (* (exp x) (exp (* (* (- y x) 6.0) z))) (log (+ x (* (* (- y x) 6.0) z))) (exp (+ x (* (* (- y x) 6.0) z))) (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) z))) (* (* (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z))) (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3)) (+ (* x x) (- (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* x (* (* (- y x) 6.0) z)))) (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))) (- x (* (* (- y x) 6.0) z)) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 4.594 * * [simplify]: iteration 0 : 98 enodes (cost 644 ) 4.611 * * [simplify]: iteration 1 : 246 enodes (cost 603 ) 4.694 * * [simplify]: iteration 2 : 910 enodes (cost 521 ) 5.342 * * [simplify]: iteration 3 : 4417 enodes (cost 521 ) 7.039 * * [simplify]: iteration done : 5000 enodes (cost 521 ) 7.040 * [simplify]: Simplified to: (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (log (* (* (- y x) 6.0) z)) (log (* (* (- y x) 6.0) z)) (log (* (* (- y x) 6.0) z)) (exp (* (* (- y x) 6.0) z)) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z))) (cbrt (* (* (- y x) 6.0) z)) (pow (* (* (- y x) 6.0) z) 3) (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) (* (cbrt z) (cbrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (- y x) 6.0) (* 6.0 z) (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- y x) 6.0) (log (* (- y x) 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (- y x) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (exp (+ x (* (* (- y x) 6.0) z))) (log (+ x (* (* (- y x) 6.0) z))) (exp (+ x (* (* (- y x) 6.0) z))) (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) z))) (pow (+ x (* (* (- y x) 6.0) z)) 3) (sqrt (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3)) (+ (* x x) (* (* (* (- y x) 6.0) z) (- (* (* (- y x) 6.0) z) x))) (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))) (- x (* (* (- y x) 6.0) z)) 0 (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z)) 7.040 * * * [progress]: adding candidates to table 7.143 * * [progress]: iteration 2 / 4 7.144 * * * [progress]: picking best candidate 7.155 * * * * [pick]: Picked # 7.155 * * * [progress]: localizing error 7.161 * * * [progress]: generating rewritten candidates 7.161 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 7.174 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.177 * * * [progress]: generating series expansions 7.178 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 7.178 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 7.178 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 7.178 * [taylor]: Taking taylor expansion of 6.0 in z 7.178 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 7.178 * [taylor]: Taking taylor expansion of (- y x) in z 7.178 * [taylor]: Taking taylor expansion of y in z 7.178 * [taylor]: Taking taylor expansion of x in z 7.178 * [taylor]: Taking taylor expansion of z in z 7.178 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 7.178 * [taylor]: Taking taylor expansion of 6.0 in x 7.178 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 7.178 * [taylor]: Taking taylor expansion of (- y x) in x 7.178 * [taylor]: Taking taylor expansion of y in x 7.178 * [taylor]: Taking taylor expansion of x in x 7.178 * [taylor]: Taking taylor expansion of z in x 7.178 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 7.178 * [taylor]: Taking taylor expansion of 6.0 in y 7.178 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.178 * [taylor]: Taking taylor expansion of (- y x) in y 7.178 * [taylor]: Taking taylor expansion of y in y 7.178 * [taylor]: Taking taylor expansion of x in y 7.178 * [taylor]: Taking taylor expansion of z in y 7.178 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 7.178 * [taylor]: Taking taylor expansion of 6.0 in y 7.178 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.178 * [taylor]: Taking taylor expansion of (- y x) in y 7.178 * [taylor]: Taking taylor expansion of y in y 7.178 * [taylor]: Taking taylor expansion of x in y 7.178 * [taylor]: Taking taylor expansion of z in y 7.178 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 7.178 * [taylor]: Taking taylor expansion of -6.0 in x 7.178 * [taylor]: Taking taylor expansion of (* x z) in x 7.178 * [taylor]: Taking taylor expansion of x in x 7.178 * [taylor]: Taking taylor expansion of z in x 7.179 * [taylor]: Taking taylor expansion of 0 in z 7.180 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 7.180 * [taylor]: Taking taylor expansion of 6.0 in x 7.180 * [taylor]: Taking taylor expansion of z in x 7.180 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.180 * [taylor]: Taking taylor expansion of 6.0 in z 7.180 * [taylor]: Taking taylor expansion of z in z 7.181 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 7.181 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.181 * [taylor]: Taking taylor expansion of 6.0 in z 7.181 * [taylor]: Taking taylor expansion of z in z 7.185 * [taylor]: Taking taylor expansion of 0 in x 7.185 * [taylor]: Taking taylor expansion of 0 in z 7.186 * [taylor]: Taking taylor expansion of 0 in z 7.186 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 7.186 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 7.186 * [taylor]: Taking taylor expansion of 6.0 in z 7.186 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 7.186 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 7.186 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.186 * [taylor]: Taking taylor expansion of y in z 7.186 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.186 * [taylor]: Taking taylor expansion of x in z 7.186 * [taylor]: Taking taylor expansion of z in z 7.186 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 7.186 * [taylor]: Taking taylor expansion of 6.0 in x 7.186 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 7.186 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.186 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.186 * [taylor]: Taking taylor expansion of y in x 7.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.186 * [taylor]: Taking taylor expansion of x in x 7.186 * [taylor]: Taking taylor expansion of z in x 7.187 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 7.187 * [taylor]: Taking taylor expansion of 6.0 in y 7.187 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 7.187 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.187 * [taylor]: Taking taylor expansion of y in y 7.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.187 * [taylor]: Taking taylor expansion of x in y 7.187 * [taylor]: Taking taylor expansion of z in y 7.188 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 7.188 * [taylor]: Taking taylor expansion of 6.0 in y 7.188 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 7.188 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.188 * [taylor]: Taking taylor expansion of y in y 7.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.188 * [taylor]: Taking taylor expansion of x in y 7.188 * [taylor]: Taking taylor expansion of z in y 7.189 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 7.189 * [taylor]: Taking taylor expansion of 6.0 in x 7.189 * [taylor]: Taking taylor expansion of z in x 7.189 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 7.189 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.189 * [taylor]: Taking taylor expansion of 6.0 in x 7.189 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.189 * [taylor]: Taking taylor expansion of (* x z) in x 7.189 * [taylor]: Taking taylor expansion of x in x 7.189 * [taylor]: Taking taylor expansion of z in x 7.190 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 7.190 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.190 * [taylor]: Taking taylor expansion of 6.0 in z 7.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.190 * [taylor]: Taking taylor expansion of z in z 7.191 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.191 * [taylor]: Taking taylor expansion of 6.0 in z 7.191 * [taylor]: Taking taylor expansion of z in z 7.193 * [taylor]: Taking taylor expansion of 0 in x 7.194 * [taylor]: Taking taylor expansion of 0 in z 7.194 * [taylor]: Taking taylor expansion of 0 in z 7.197 * [taylor]: Taking taylor expansion of 0 in x 7.197 * [taylor]: Taking taylor expansion of 0 in z 7.199 * [taylor]: Taking taylor expansion of 0 in z 7.199 * [taylor]: Taking taylor expansion of 0 in z 7.202 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 7.202 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 7.202 * [taylor]: Taking taylor expansion of -6.0 in z 7.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 7.202 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 7.202 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.202 * [taylor]: Taking taylor expansion of x in z 7.202 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.202 * [taylor]: Taking taylor expansion of y in z 7.202 * [taylor]: Taking taylor expansion of z in z 7.202 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 7.202 * [taylor]: Taking taylor expansion of -6.0 in x 7.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 7.202 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.202 * [taylor]: Taking taylor expansion of x in x 7.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.202 * [taylor]: Taking taylor expansion of y in x 7.202 * [taylor]: Taking taylor expansion of z in x 7.203 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 7.203 * [taylor]: Taking taylor expansion of -6.0 in y 7.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 7.203 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.203 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.203 * [taylor]: Taking taylor expansion of x in y 7.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.203 * [taylor]: Taking taylor expansion of y in y 7.203 * [taylor]: Taking taylor expansion of z in y 7.204 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 7.204 * [taylor]: Taking taylor expansion of -6.0 in y 7.204 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 7.204 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.204 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.204 * [taylor]: Taking taylor expansion of x in y 7.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.204 * [taylor]: Taking taylor expansion of y in y 7.204 * [taylor]: Taking taylor expansion of z in y 7.205 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 7.205 * [taylor]: Taking taylor expansion of 6.0 in x 7.205 * [taylor]: Taking taylor expansion of z in x 7.206 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 7.206 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.206 * [taylor]: Taking taylor expansion of 6.0 in x 7.206 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.206 * [taylor]: Taking taylor expansion of (* x z) in x 7.206 * [taylor]: Taking taylor expansion of x in x 7.206 * [taylor]: Taking taylor expansion of z in x 7.206 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 7.206 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.206 * [taylor]: Taking taylor expansion of 6.0 in z 7.206 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.206 * [taylor]: Taking taylor expansion of z in z 7.207 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.207 * [taylor]: Taking taylor expansion of 6.0 in z 7.207 * [taylor]: Taking taylor expansion of z in z 7.209 * [taylor]: Taking taylor expansion of 0 in x 7.210 * [taylor]: Taking taylor expansion of 0 in z 7.210 * [taylor]: Taking taylor expansion of 0 in z 7.214 * [taylor]: Taking taylor expansion of 0 in x 7.214 * [taylor]: Taking taylor expansion of 0 in z 7.216 * [taylor]: Taking taylor expansion of 0 in z 7.216 * [taylor]: Taking taylor expansion of 0 in z 7.218 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.218 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 7.218 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 7.218 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 7.218 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 7.218 * [taylor]: Taking taylor expansion of 6.0 in z 7.218 * [taylor]: Taking taylor expansion of (* z y) in z 7.218 * [taylor]: Taking taylor expansion of z in z 7.218 * [taylor]: Taking taylor expansion of y in z 7.218 * [taylor]: Taking taylor expansion of x in z 7.218 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 7.218 * [taylor]: Taking taylor expansion of 6.0 in z 7.218 * [taylor]: Taking taylor expansion of (* x z) in z 7.218 * [taylor]: Taking taylor expansion of x in z 7.218 * [taylor]: Taking taylor expansion of z in z 7.218 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 7.218 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 7.218 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 7.218 * [taylor]: Taking taylor expansion of 6.0 in y 7.219 * [taylor]: Taking taylor expansion of (* z y) in y 7.219 * [taylor]: Taking taylor expansion of z in y 7.219 * [taylor]: Taking taylor expansion of y in y 7.219 * [taylor]: Taking taylor expansion of x in y 7.219 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 7.219 * [taylor]: Taking taylor expansion of 6.0 in y 7.219 * [taylor]: Taking taylor expansion of (* x z) in y 7.219 * [taylor]: Taking taylor expansion of x in y 7.219 * [taylor]: Taking taylor expansion of z in y 7.219 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 7.219 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 7.219 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 7.219 * [taylor]: Taking taylor expansion of 6.0 in x 7.219 * [taylor]: Taking taylor expansion of (* z y) in x 7.219 * [taylor]: Taking taylor expansion of z in x 7.219 * [taylor]: Taking taylor expansion of y in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 7.219 * [taylor]: Taking taylor expansion of 6.0 in x 7.219 * [taylor]: Taking taylor expansion of (* x z) in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of z in x 7.219 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 7.219 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 7.219 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 7.219 * [taylor]: Taking taylor expansion of 6.0 in x 7.219 * [taylor]: Taking taylor expansion of (* z y) in x 7.219 * [taylor]: Taking taylor expansion of z in x 7.219 * [taylor]: Taking taylor expansion of y in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 7.219 * [taylor]: Taking taylor expansion of 6.0 in x 7.219 * [taylor]: Taking taylor expansion of (* x z) in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [taylor]: Taking taylor expansion of z in x 7.220 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 7.220 * [taylor]: Taking taylor expansion of 6.0 in y 7.220 * [taylor]: Taking taylor expansion of (* z y) in y 7.220 * [taylor]: Taking taylor expansion of z in y 7.220 * [taylor]: Taking taylor expansion of y in y 7.220 * [taylor]: Taking taylor expansion of 0 in z 7.221 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 7.221 * [taylor]: Taking taylor expansion of 1 in y 7.221 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 7.221 * [taylor]: Taking taylor expansion of 6.0 in y 7.221 * [taylor]: Taking taylor expansion of z in y 7.222 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 7.222 * [taylor]: Taking taylor expansion of 1 in z 7.222 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.222 * [taylor]: Taking taylor expansion of 6.0 in z 7.222 * [taylor]: Taking taylor expansion of z in z 7.223 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.223 * [taylor]: Taking taylor expansion of 6.0 in z 7.223 * [taylor]: Taking taylor expansion of z in z 7.226 * [taylor]: Taking taylor expansion of 0 in y 7.226 * [taylor]: Taking taylor expansion of 0 in z 7.226 * [taylor]: Taking taylor expansion of 0 in z 7.227 * [taylor]: Taking taylor expansion of 0 in z 7.230 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 7.231 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 7.231 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 7.231 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 7.231 * [taylor]: Taking taylor expansion of 6.0 in z 7.231 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.231 * [taylor]: Taking taylor expansion of (* z y) in z 7.231 * [taylor]: Taking taylor expansion of z in z 7.231 * [taylor]: Taking taylor expansion of y in z 7.231 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.231 * [taylor]: Taking taylor expansion of x in z 7.231 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 7.231 * [taylor]: Taking taylor expansion of 6.0 in z 7.231 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.231 * [taylor]: Taking taylor expansion of (* x z) in z 7.231 * [taylor]: Taking taylor expansion of x in z 7.231 * [taylor]: Taking taylor expansion of z in z 7.231 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 7.231 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 7.232 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.232 * [taylor]: Taking taylor expansion of 6.0 in y 7.232 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.232 * [taylor]: Taking taylor expansion of (* z y) in y 7.232 * [taylor]: Taking taylor expansion of z in y 7.232 * [taylor]: Taking taylor expansion of y in y 7.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.232 * [taylor]: Taking taylor expansion of x in y 7.232 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 7.232 * [taylor]: Taking taylor expansion of 6.0 in y 7.232 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.232 * [taylor]: Taking taylor expansion of (* x z) in y 7.232 * [taylor]: Taking taylor expansion of x in y 7.232 * [taylor]: Taking taylor expansion of z in y 7.232 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 7.232 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 7.232 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.232 * [taylor]: Taking taylor expansion of 6.0 in x 7.232 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.232 * [taylor]: Taking taylor expansion of (* z y) in x 7.232 * [taylor]: Taking taylor expansion of z in x 7.232 * [taylor]: Taking taylor expansion of y in x 7.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.232 * [taylor]: Taking taylor expansion of x in x 7.233 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.233 * [taylor]: Taking taylor expansion of 6.0 in x 7.233 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.233 * [taylor]: Taking taylor expansion of (* x z) in x 7.233 * [taylor]: Taking taylor expansion of x in x 7.233 * [taylor]: Taking taylor expansion of z in x 7.233 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 7.233 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 7.233 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.233 * [taylor]: Taking taylor expansion of 6.0 in x 7.233 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.233 * [taylor]: Taking taylor expansion of (* z y) in x 7.233 * [taylor]: Taking taylor expansion of z in x 7.233 * [taylor]: Taking taylor expansion of y in x 7.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.233 * [taylor]: Taking taylor expansion of x in x 7.234 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.234 * [taylor]: Taking taylor expansion of 6.0 in x 7.234 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.234 * [taylor]: Taking taylor expansion of (* x z) in x 7.234 * [taylor]: Taking taylor expansion of x in x 7.234 * [taylor]: Taking taylor expansion of z in x 7.234 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 7.234 * [taylor]: Taking taylor expansion of 1 in y 7.234 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 7.234 * [taylor]: Taking taylor expansion of 6.0 in y 7.234 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.234 * [taylor]: Taking taylor expansion of z in y 7.236 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.236 * [taylor]: Taking taylor expansion of 6.0 in y 7.236 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.236 * [taylor]: Taking taylor expansion of (* z y) in y 7.236 * [taylor]: Taking taylor expansion of z in y 7.236 * [taylor]: Taking taylor expansion of y in y 7.237 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.237 * [taylor]: Taking taylor expansion of 6.0 in z 7.237 * [taylor]: Taking taylor expansion of z in z 7.237 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 7.237 * [taylor]: Taking taylor expansion of 1 in z 7.237 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.237 * [taylor]: Taking taylor expansion of 6.0 in z 7.237 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.237 * [taylor]: Taking taylor expansion of z in z 7.242 * [taylor]: Taking taylor expansion of 0 in y 7.242 * [taylor]: Taking taylor expansion of 0 in z 7.243 * [taylor]: Taking taylor expansion of 0 in z 7.246 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 7.246 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 7.246 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 7.246 * [taylor]: Taking taylor expansion of 6.0 in z 7.246 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.246 * [taylor]: Taking taylor expansion of (* z y) in z 7.246 * [taylor]: Taking taylor expansion of z in z 7.246 * [taylor]: Taking taylor expansion of y in z 7.246 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 7.246 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 7.246 * [taylor]: Taking taylor expansion of 6.0 in z 7.246 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.246 * [taylor]: Taking taylor expansion of (* x z) in z 7.246 * [taylor]: Taking taylor expansion of x in z 7.246 * [taylor]: Taking taylor expansion of z in z 7.247 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.247 * [taylor]: Taking taylor expansion of x in z 7.247 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 7.247 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.247 * [taylor]: Taking taylor expansion of 6.0 in y 7.247 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.247 * [taylor]: Taking taylor expansion of (* z y) in y 7.247 * [taylor]: Taking taylor expansion of z in y 7.247 * [taylor]: Taking taylor expansion of y in y 7.247 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 7.247 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 7.247 * [taylor]: Taking taylor expansion of 6.0 in y 7.247 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.247 * [taylor]: Taking taylor expansion of (* x z) in y 7.247 * [taylor]: Taking taylor expansion of x in y 7.247 * [taylor]: Taking taylor expansion of z in y 7.248 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.248 * [taylor]: Taking taylor expansion of x in y 7.248 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 7.248 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.248 * [taylor]: Taking taylor expansion of 6.0 in x 7.248 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.248 * [taylor]: Taking taylor expansion of (* z y) in x 7.248 * [taylor]: Taking taylor expansion of z in x 7.248 * [taylor]: Taking taylor expansion of y in x 7.248 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 7.248 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.248 * [taylor]: Taking taylor expansion of 6.0 in x 7.248 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.248 * [taylor]: Taking taylor expansion of (* x z) in x 7.248 * [taylor]: Taking taylor expansion of x in x 7.248 * [taylor]: Taking taylor expansion of z in x 7.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.248 * [taylor]: Taking taylor expansion of x in x 7.248 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 7.248 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.248 * [taylor]: Taking taylor expansion of 6.0 in x 7.249 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.249 * [taylor]: Taking taylor expansion of (* z y) in x 7.249 * [taylor]: Taking taylor expansion of z in x 7.249 * [taylor]: Taking taylor expansion of y in x 7.249 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 7.249 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.249 * [taylor]: Taking taylor expansion of 6.0 in x 7.249 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.249 * [taylor]: Taking taylor expansion of (* x z) in x 7.249 * [taylor]: Taking taylor expansion of x in x 7.249 * [taylor]: Taking taylor expansion of z in x 7.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.249 * [taylor]: Taking taylor expansion of x in x 7.250 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 7.250 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 7.250 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 7.250 * [taylor]: Taking taylor expansion of 6.0 in y 7.250 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.250 * [taylor]: Taking taylor expansion of z in y 7.250 * [taylor]: Taking taylor expansion of 1 in y 7.251 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.252 * [taylor]: Taking taylor expansion of 6.0 in y 7.252 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.252 * [taylor]: Taking taylor expansion of (* z y) in y 7.252 * [taylor]: Taking taylor expansion of z in y 7.252 * [taylor]: Taking taylor expansion of y in y 7.252 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.252 * [taylor]: Taking taylor expansion of 6.0 in z 7.252 * [taylor]: Taking taylor expansion of z in z 7.252 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 7.252 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 7.252 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.252 * [taylor]: Taking taylor expansion of 6.0 in z 7.252 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.253 * [taylor]: Taking taylor expansion of z in z 7.253 * [taylor]: Taking taylor expansion of 1 in z 7.257 * [taylor]: Taking taylor expansion of 0 in y 7.257 * [taylor]: Taking taylor expansion of 0 in z 7.258 * [taylor]: Taking taylor expansion of 0 in z 7.261 * * * [progress]: simplifying candidates 7.261 * [simplify]: Simplifying using # : (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)) (+ (log (- y x)) (+ (log 6.0) (log z))) (+ (log (- y x)) (log (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (exp (* (- y x) (* 6.0 z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 6.0) 6.0) (* (* z z) z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 z) (* 6.0 z)) (* 6.0 z))) (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z)))) (cbrt (* (- y x) (* 6.0 z))) (* (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 z)) (* (sqrt (- y x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (sqrt y) (sqrt x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (pow y 3) (pow x 3)) (* 6.0 z)) (* (- (* y y) (* x x)) (* 6.0 z)) (* (exp x) (exp (* (- y x) (* 6.0 z)))) (log (+ x (* (- y x) (* 6.0 z)))) (exp (+ x (* (- y x) (* 6.0 z)))) (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z))))) (cbrt (+ x (* (- y x) (* 6.0 z)))) (* (* (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z)))) (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3)) (+ (* x x) (- (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* x (* (- y x) (* 6.0 z))))) (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)))) (- x (* (- y x) (* 6.0 z))) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 7.263 * * [simplify]: iteration 0 : 75 enodes (cost 468 ) 7.279 * * [simplify]: iteration 1 : 207 enodes (cost 438 ) 7.327 * * [simplify]: iteration 2 : 660 enodes (cost 376 ) 7.562 * * [simplify]: iteration 3 : 2905 enodes (cost 376 ) 8.540 * * [simplify]: iteration done : 5001 enodes (cost 376 ) 8.541 * [simplify]: Simplified to: (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)) (log (* (- y x) (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (exp (* (- y x) (* 6.0 z))) (pow (* (- y x) (* 6.0 z)) 3) (pow (* (- y x) (* 6.0 z)) 3) (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z)))) (cbrt (* (- y x) (* 6.0 z))) (pow (* (- y x) (* 6.0 z)) 3) (sqrt (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 z)) (* (sqrt (- y x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (sqrt y) (sqrt x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (pow y 3) (pow x 3)) (* 6.0 z)) (* (- (* y y) (* x x)) (* 6.0 z)) (exp (+ x (* (- y x) (* 6.0 z)))) (log (+ x (* (- y x) (* 6.0 z)))) (exp (+ x (* (- y x) (* 6.0 z)))) (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z))))) (cbrt (+ x (* (- y x) (* 6.0 z)))) (pow (+ x (* (- y x) (* 6.0 z))) 3) (sqrt (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3)) (+ (* x x) (* (* (- y x) (* 6.0 z)) (- (* (- y x) (* 6.0 z)) x))) (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)))) (- x (* (- y x) (* 6.0 z))) 0 (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)) (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z))) 8.542 * * * [progress]: adding candidates to table 8.611 * * [progress]: iteration 3 / 4 8.611 * * * [progress]: picking best candidate 8.624 * * * * [pick]: Picked # 8.624 * * * [progress]: localizing error 8.635 * * * [progress]: generating rewritten candidates 8.636 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 8.645 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 8.647 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 8.668 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 8.680 * * * [progress]: generating series expansions 8.680 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 8.681 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in (y x) around 0 8.681 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in x 8.681 * [taylor]: Taking taylor expansion of 6.0 in x 8.681 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in x 8.681 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 8.681 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.681 * [taylor]: Taking taylor expansion of y in x 8.681 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.681 * [taylor]: Taking taylor expansion of x in x 8.681 * [taylor]: Taking taylor expansion of (+ x y) in x 8.681 * [taylor]: Taking taylor expansion of x in x 8.681 * [taylor]: Taking taylor expansion of y in x 8.681 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in y 8.681 * [taylor]: Taking taylor expansion of 6.0 in y 8.681 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in y 8.681 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.681 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.681 * [taylor]: Taking taylor expansion of y in y 8.681 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.681 * [taylor]: Taking taylor expansion of x in y 8.681 * [taylor]: Taking taylor expansion of (+ x y) in y 8.681 * [taylor]: Taking taylor expansion of x in y 8.681 * [taylor]: Taking taylor expansion of y in y 8.682 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in y 8.682 * [taylor]: Taking taylor expansion of 6.0 in y 8.682 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in y 8.682 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.682 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.682 * [taylor]: Taking taylor expansion of y in y 8.682 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.682 * [taylor]: Taking taylor expansion of x in y 8.682 * [taylor]: Taking taylor expansion of (+ x y) in y 8.682 * [taylor]: Taking taylor expansion of x in y 8.682 * [taylor]: Taking taylor expansion of y in y 8.682 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 8.682 * [taylor]: Taking taylor expansion of -6.0 in x 8.682 * [taylor]: Taking taylor expansion of x in x 8.684 * [taylor]: Taking taylor expansion of 6.0 in x 8.687 * [taylor]: Taking taylor expansion of 0 in x 8.690 * [taylor]: Taking taylor expansion of 0 in x 8.691 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in (y x) around 0 8.691 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in x 8.691 * [taylor]: Taking taylor expansion of 6.0 in x 8.691 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in x 8.691 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.691 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.691 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.691 * [taylor]: Taking taylor expansion of y in x 8.691 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.691 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.691 * [taylor]: Taking taylor expansion of x in x 8.692 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.692 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.692 * [taylor]: Taking taylor expansion of y in x 8.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.692 * [taylor]: Taking taylor expansion of x in x 8.693 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 8.693 * [taylor]: Taking taylor expansion of 6.0 in y 8.693 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 8.693 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.693 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.693 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.693 * [taylor]: Taking taylor expansion of y in y 8.694 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.694 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.694 * [taylor]: Taking taylor expansion of x in y 8.694 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.694 * [taylor]: Taking taylor expansion of y in y 8.694 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.694 * [taylor]: Taking taylor expansion of x in y 8.695 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 8.695 * [taylor]: Taking taylor expansion of 6.0 in y 8.695 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 8.695 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.695 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.695 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.695 * [taylor]: Taking taylor expansion of y in y 8.696 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.696 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.696 * [taylor]: Taking taylor expansion of x in y 8.696 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.696 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.696 * [taylor]: Taking taylor expansion of y in y 8.696 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.696 * [taylor]: Taking taylor expansion of x in y 8.697 * [taylor]: Taking taylor expansion of 6.0 in x 8.699 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 8.699 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 8.699 * [taylor]: Taking taylor expansion of 6.0 in x 8.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.700 * [taylor]: Taking taylor expansion of x in x 8.704 * [taylor]: Taking taylor expansion of 0 in x 8.712 * [taylor]: Taking taylor expansion of 0 in x 8.719 * [taylor]: Taking taylor expansion of 0 in x 8.719 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in (y x) around 0 8.719 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in x 8.719 * [taylor]: Taking taylor expansion of -6.0 in x 8.719 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in x 8.720 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.720 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.720 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.720 * [taylor]: Taking taylor expansion of y in x 8.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.720 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.720 * [taylor]: Taking taylor expansion of x in x 8.720 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.720 * [taylor]: Taking taylor expansion of y in x 8.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.720 * [taylor]: Taking taylor expansion of x in x 8.722 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 8.722 * [taylor]: Taking taylor expansion of -6.0 in y 8.722 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 8.722 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.722 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.722 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.722 * [taylor]: Taking taylor expansion of y in y 8.722 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.722 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.722 * [taylor]: Taking taylor expansion of x in y 8.722 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.722 * [taylor]: Taking taylor expansion of y in y 8.723 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.723 * [taylor]: Taking taylor expansion of x in y 8.723 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 8.723 * [taylor]: Taking taylor expansion of -6.0 in y 8.723 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 8.723 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.724 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.724 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.724 * [taylor]: Taking taylor expansion of y in y 8.724 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.724 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.724 * [taylor]: Taking taylor expansion of x in y 8.724 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.724 * [taylor]: Taking taylor expansion of y in y 8.724 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.725 * [taylor]: Taking taylor expansion of x in y 8.726 * [taylor]: Taking taylor expansion of -6.0 in x 8.728 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 8.728 * [taylor]: Taking taylor expansion of 6.0 in x 8.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.728 * [taylor]: Taking taylor expansion of x in x 8.732 * [taylor]: Taking taylor expansion of 0 in x 8.737 * [taylor]: Taking taylor expansion of 0 in x 8.743 * [taylor]: Taking taylor expansion of 0 in x 8.743 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 8.743 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in (y x) around 0 8.744 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 8.744 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.744 * [taylor]: Taking taylor expansion of y in x 8.744 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.744 * [taylor]: Taking taylor expansion of x in x 8.744 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.744 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.744 * [taylor]: Taking taylor expansion of y in y 8.744 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.744 * [taylor]: Taking taylor expansion of x in y 8.744 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.744 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.744 * [taylor]: Taking taylor expansion of y in y 8.744 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.744 * [taylor]: Taking taylor expansion of x in y 8.744 * [taylor]: Taking taylor expansion of (- (pow x 2)) in x 8.744 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.744 * [taylor]: Taking taylor expansion of x in x 8.745 * [taylor]: Taking taylor expansion of 0 in x 8.746 * [taylor]: Taking taylor expansion of 1 in x 8.747 * [taylor]: Taking taylor expansion of 0 in x 8.750 * [taylor]: Taking taylor expansion of 0 in x 8.750 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 8.750 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.750 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.750 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.750 * [taylor]: Taking taylor expansion of y in x 8.751 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.751 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.751 * [taylor]: Taking taylor expansion of x in x 8.751 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.751 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.751 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.751 * [taylor]: Taking taylor expansion of y in y 8.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.752 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.752 * [taylor]: Taking taylor expansion of x in y 8.752 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.752 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.752 * [taylor]: Taking taylor expansion of y in y 8.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.752 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.752 * [taylor]: Taking taylor expansion of x in y 8.753 * [taylor]: Taking taylor expansion of 1 in x 8.754 * [taylor]: Taking taylor expansion of 0 in x 8.755 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 8.755 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.755 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.755 * [taylor]: Taking taylor expansion of x in x 8.758 * [taylor]: Taking taylor expansion of 0 in x 8.761 * [taylor]: Taking taylor expansion of 0 in x 8.763 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 8.763 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.763 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.763 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.763 * [taylor]: Taking taylor expansion of y in x 8.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.763 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.763 * [taylor]: Taking taylor expansion of x in x 8.763 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.763 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.763 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.764 * [taylor]: Taking taylor expansion of y in y 8.764 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.764 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.764 * [taylor]: Taking taylor expansion of x in y 8.764 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.764 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.764 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.764 * [taylor]: Taking taylor expansion of y in y 8.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.765 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.765 * [taylor]: Taking taylor expansion of x in y 8.765 * [taylor]: Taking taylor expansion of 1 in x 8.766 * [taylor]: Taking taylor expansion of 0 in x 8.767 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 8.767 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.767 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.768 * [taylor]: Taking taylor expansion of x in x 8.770 * [taylor]: Taking taylor expansion of 0 in x 8.773 * [taylor]: Taking taylor expansion of 0 in x 8.775 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 8.775 * [approximate]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in (y x z) around 0 8.775 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in z 8.775 * [taylor]: Taking taylor expansion of 6.0 in z 8.775 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in z 8.775 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in z 8.775 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in z 8.775 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.775 * [taylor]: Taking taylor expansion of y in z 8.775 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.775 * [taylor]: Taking taylor expansion of x in z 8.775 * [taylor]: Taking taylor expansion of z in z 8.775 * [taylor]: Taking taylor expansion of (+ x y) in z 8.775 * [taylor]: Taking taylor expansion of x in z 8.775 * [taylor]: Taking taylor expansion of y in z 8.777 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in x 8.777 * [taylor]: Taking taylor expansion of 6.0 in x 8.777 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in x 8.777 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in x 8.777 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 8.777 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.777 * [taylor]: Taking taylor expansion of y in x 8.777 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.777 * [taylor]: Taking taylor expansion of x in x 8.777 * [taylor]: Taking taylor expansion of z in x 8.777 * [taylor]: Taking taylor expansion of (+ x y) in x 8.777 * [taylor]: Taking taylor expansion of x in x 8.777 * [taylor]: Taking taylor expansion of y in x 8.777 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y 8.777 * [taylor]: Taking taylor expansion of 6.0 in y 8.777 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y 8.777 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y 8.777 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.777 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.777 * [taylor]: Taking taylor expansion of y in y 8.777 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.777 * [taylor]: Taking taylor expansion of x in y 8.777 * [taylor]: Taking taylor expansion of z in y 8.777 * [taylor]: Taking taylor expansion of (+ x y) in y 8.777 * [taylor]: Taking taylor expansion of x in y 8.777 * [taylor]: Taking taylor expansion of y in y 8.778 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y 8.778 * [taylor]: Taking taylor expansion of 6.0 in y 8.778 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y 8.778 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y 8.778 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.778 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.778 * [taylor]: Taking taylor expansion of y in y 8.778 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.778 * [taylor]: Taking taylor expansion of x in y 8.778 * [taylor]: Taking taylor expansion of z in y 8.778 * [taylor]: Taking taylor expansion of (+ x y) in y 8.778 * [taylor]: Taking taylor expansion of x in y 8.778 * [taylor]: Taking taylor expansion of y in y 8.778 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 8.778 * [taylor]: Taking taylor expansion of -6.0 in x 8.778 * [taylor]: Taking taylor expansion of (* x z) in x 8.778 * [taylor]: Taking taylor expansion of x in x 8.778 * [taylor]: Taking taylor expansion of z in x 8.779 * [taylor]: Taking taylor expansion of 0 in z 8.780 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 8.780 * [taylor]: Taking taylor expansion of 6.0 in x 8.780 * [taylor]: Taking taylor expansion of z in x 8.780 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 8.780 * [taylor]: Taking taylor expansion of 6.0 in z 8.780 * [taylor]: Taking taylor expansion of z in z 8.781 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 8.781 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 8.781 * [taylor]: Taking taylor expansion of 6.0 in z 8.781 * [taylor]: Taking taylor expansion of z in z 8.785 * [taylor]: Taking taylor expansion of 0 in x 8.785 * [taylor]: Taking taylor expansion of 0 in z 8.785 * [taylor]: Taking taylor expansion of 0 in z 8.786 * [taylor]: Taking taylor expansion of 0 in z 8.788 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in (y x z) around 0 8.788 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in z 8.788 * [taylor]: Taking taylor expansion of 6.0 in z 8.788 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in z 8.788 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z 8.788 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.788 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.788 * [taylor]: Taking taylor expansion of y in z 8.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 8.788 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.788 * [taylor]: Taking taylor expansion of x in z 8.789 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in z 8.789 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 8.789 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.789 * [taylor]: Taking taylor expansion of y in z 8.789 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.789 * [taylor]: Taking taylor expansion of x in z 8.789 * [taylor]: Taking taylor expansion of z in z 8.790 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in x 8.790 * [taylor]: Taking taylor expansion of 6.0 in x 8.790 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in x 8.790 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.790 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.790 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.790 * [taylor]: Taking taylor expansion of y in x 8.790 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.790 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.790 * [taylor]: Taking taylor expansion of x in x 8.791 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in x 8.791 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.791 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.791 * [taylor]: Taking taylor expansion of y in x 8.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.791 * [taylor]: Taking taylor expansion of x in x 8.791 * [taylor]: Taking taylor expansion of z in x 8.792 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 8.792 * [taylor]: Taking taylor expansion of 6.0 in y 8.792 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 8.792 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.792 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.792 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.792 * [taylor]: Taking taylor expansion of y in y 8.792 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.792 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.792 * [taylor]: Taking taylor expansion of x in y 8.793 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 8.793 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.793 * [taylor]: Taking taylor expansion of y in y 8.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.793 * [taylor]: Taking taylor expansion of x in y 8.793 * [taylor]: Taking taylor expansion of z in y 8.793 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 8.794 * [taylor]: Taking taylor expansion of 6.0 in y 8.794 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 8.794 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.794 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.794 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.794 * [taylor]: Taking taylor expansion of y in y 8.797 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.797 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.797 * [taylor]: Taking taylor expansion of x in y 8.797 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 8.797 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.797 * [taylor]: Taking taylor expansion of y in y 8.797 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.797 * [taylor]: Taking taylor expansion of x in y 8.797 * [taylor]: Taking taylor expansion of z in y 8.798 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 8.798 * [taylor]: Taking taylor expansion of 6.0 in x 8.798 * [taylor]: Taking taylor expansion of z in x 8.800 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 8.800 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.800 * [taylor]: Taking taylor expansion of 6.0 in x 8.801 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.801 * [taylor]: Taking taylor expansion of (* x z) in x 8.801 * [taylor]: Taking taylor expansion of x in x 8.801 * [taylor]: Taking taylor expansion of z in x 8.801 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 8.801 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 8.801 * [taylor]: Taking taylor expansion of 6.0 in z 8.801 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.801 * [taylor]: Taking taylor expansion of z in z 8.802 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 8.802 * [taylor]: Taking taylor expansion of 6.0 in z 8.802 * [taylor]: Taking taylor expansion of z in z 8.805 * [taylor]: Taking taylor expansion of 0 in x 8.806 * [taylor]: Taking taylor expansion of 0 in z 8.806 * [taylor]: Taking taylor expansion of 0 in z 8.812 * [taylor]: Taking taylor expansion of 0 in x 8.812 * [taylor]: Taking taylor expansion of 0 in z 8.813 * [taylor]: Taking taylor expansion of 0 in z 8.813 * [taylor]: Taking taylor expansion of 0 in z 8.816 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in (y x z) around 0 8.816 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in z 8.816 * [taylor]: Taking taylor expansion of 6.0 in z 8.816 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in z 8.816 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z 8.816 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 8.816 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.816 * [taylor]: Taking taylor expansion of y in z 8.816 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 8.816 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.816 * [taylor]: Taking taylor expansion of x in z 8.816 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in z 8.816 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 8.816 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.816 * [taylor]: Taking taylor expansion of y in z 8.817 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.817 * [taylor]: Taking taylor expansion of x in z 8.817 * [taylor]: Taking taylor expansion of z in z 8.818 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in x 8.818 * [taylor]: Taking taylor expansion of 6.0 in x 8.818 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in x 8.818 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.818 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.818 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.818 * [taylor]: Taking taylor expansion of y in x 8.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.818 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.818 * [taylor]: Taking taylor expansion of x in x 8.819 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in x 8.819 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.819 * [taylor]: Taking taylor expansion of y in x 8.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.819 * [taylor]: Taking taylor expansion of x in x 8.819 * [taylor]: Taking taylor expansion of z in x 8.820 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 8.820 * [taylor]: Taking taylor expansion of 6.0 in y 8.820 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 8.820 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.820 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.820 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.820 * [taylor]: Taking taylor expansion of y in y 8.820 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.820 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.820 * [taylor]: Taking taylor expansion of x in y 8.820 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 8.820 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.821 * [taylor]: Taking taylor expansion of y in y 8.821 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.821 * [taylor]: Taking taylor expansion of x in y 8.821 * [taylor]: Taking taylor expansion of z in y 8.821 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 8.821 * [taylor]: Taking taylor expansion of 6.0 in y 8.821 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 8.821 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.821 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.822 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.822 * [taylor]: Taking taylor expansion of y in y 8.822 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.822 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.822 * [taylor]: Taking taylor expansion of x in y 8.822 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 8.822 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.822 * [taylor]: Taking taylor expansion of y in y 8.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.822 * [taylor]: Taking taylor expansion of x in y 8.823 * [taylor]: Taking taylor expansion of z in y 8.823 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 8.823 * [taylor]: Taking taylor expansion of 6.0 in x 8.823 * [taylor]: Taking taylor expansion of z in x 8.825 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 8.825 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.825 * [taylor]: Taking taylor expansion of 6.0 in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.825 * [taylor]: Taking taylor expansion of (* x z) in x 8.825 * [taylor]: Taking taylor expansion of x in x 8.825 * [taylor]: Taking taylor expansion of z in x 8.826 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 8.826 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 8.826 * [taylor]: Taking taylor expansion of 6.0 in z 8.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.826 * [taylor]: Taking taylor expansion of z in z 8.827 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 8.827 * [taylor]: Taking taylor expansion of 6.0 in z 8.827 * [taylor]: Taking taylor expansion of z in z 8.830 * [taylor]: Taking taylor expansion of 0 in x 8.831 * [taylor]: Taking taylor expansion of 0 in z 8.831 * [taylor]: Taking taylor expansion of 0 in z 8.837 * [taylor]: Taking taylor expansion of 0 in x 8.837 * [taylor]: Taking taylor expansion of 0 in z 8.839 * [taylor]: Taking taylor expansion of 0 in z 8.839 * [taylor]: Taking taylor expansion of 0 in z 8.841 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 8.841 * [approximate]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in (y x) around 0 8.841 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in x 8.841 * [taylor]: Taking taylor expansion of 6.0 in x 8.841 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 8.841 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.841 * [taylor]: Taking taylor expansion of y in x 8.841 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.841 * [taylor]: Taking taylor expansion of x in x 8.841 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y 8.841 * [taylor]: Taking taylor expansion of 6.0 in y 8.841 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.841 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.841 * [taylor]: Taking taylor expansion of y in y 8.841 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.842 * [taylor]: Taking taylor expansion of x in y 8.842 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y 8.842 * [taylor]: Taking taylor expansion of 6.0 in y 8.842 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 8.842 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.842 * [taylor]: Taking taylor expansion of y in y 8.842 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.842 * [taylor]: Taking taylor expansion of x in y 8.842 * [taylor]: Taking taylor expansion of (* -6.0 (pow x 2)) in x 8.842 * [taylor]: Taking taylor expansion of -6.0 in x 8.842 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.842 * [taylor]: Taking taylor expansion of x in x 8.843 * [taylor]: Taking taylor expansion of 0 in x 8.844 * [taylor]: Taking taylor expansion of 6.0 in x 8.847 * [taylor]: Taking taylor expansion of 0 in x 8.850 * [taylor]: Taking taylor expansion of 0 in x 8.851 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0 8.851 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x 8.851 * [taylor]: Taking taylor expansion of 6.0 in x 8.851 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.851 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.851 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.851 * [taylor]: Taking taylor expansion of y in x 8.851 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.851 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.851 * [taylor]: Taking taylor expansion of x in x 8.852 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 8.852 * [taylor]: Taking taylor expansion of 6.0 in y 8.852 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.852 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.852 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.852 * [taylor]: Taking taylor expansion of y in y 8.852 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.852 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.852 * [taylor]: Taking taylor expansion of x in y 8.852 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 8.852 * [taylor]: Taking taylor expansion of 6.0 in y 8.852 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.852 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.853 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.853 * [taylor]: Taking taylor expansion of y in y 8.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.853 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.853 * [taylor]: Taking taylor expansion of x in y 8.854 * [taylor]: Taking taylor expansion of 6.0 in x 8.855 * [taylor]: Taking taylor expansion of 0 in x 8.857 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (pow x 2)))) in x 8.857 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x 8.857 * [taylor]: Taking taylor expansion of 6.0 in x 8.857 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.857 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.857 * [taylor]: Taking taylor expansion of x in x 8.860 * [taylor]: Taking taylor expansion of 0 in x 8.865 * [taylor]: Taking taylor expansion of 0 in x 8.867 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0 8.867 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x 8.867 * [taylor]: Taking taylor expansion of 6.0 in x 8.867 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 8.867 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.867 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.867 * [taylor]: Taking taylor expansion of y in x 8.867 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.867 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.867 * [taylor]: Taking taylor expansion of x in x 8.868 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 8.868 * [taylor]: Taking taylor expansion of 6.0 in y 8.868 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.868 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.868 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.868 * [taylor]: Taking taylor expansion of y in y 8.869 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.869 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.869 * [taylor]: Taking taylor expansion of x in y 8.869 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 8.869 * [taylor]: Taking taylor expansion of 6.0 in y 8.869 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 8.869 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.869 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.869 * [taylor]: Taking taylor expansion of y in y 8.869 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 8.869 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.869 * [taylor]: Taking taylor expansion of x in y 8.870 * [taylor]: Taking taylor expansion of 6.0 in x 8.872 * [taylor]: Taking taylor expansion of 0 in x 8.873 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (pow x 2)))) in x 8.873 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x 8.873 * [taylor]: Taking taylor expansion of 6.0 in x 8.873 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.873 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.873 * [taylor]: Taking taylor expansion of x in x 8.877 * [taylor]: Taking taylor expansion of 0 in x 8.885 * [taylor]: Taking taylor expansion of 0 in x 8.887 * * * [progress]: simplifying candidates 8.889 * [simplify]: Simplifying using # : (- (+ (log (- (* y y) (* x x))) (log 6.0)) (log (+ y x))) (- (log (* (- (* y y) (* x x)) 6.0)) (log (+ y x))) (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (exp (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (/ (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (/ (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x)))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (* (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (- (* (- (* y y) (* x x)) 6.0)) (- (+ y x)) (/ (- (* y y) (* x x)) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ 6.0 (cbrt (+ y x))) (/ (- (* y y) (* x x)) (sqrt (+ y x))) (/ 6.0 (sqrt (+ y x))) (/ (- (* y y) (* x x)) 1) (/ 6.0 (+ y x)) (/ (- (* y y) (* x x)) 1) (/ 6.0 (+ y x)) (/ 1 (+ y x)) (/ (+ y x) (* (- (* y y) (* x x)) 6.0)) (/ (* (- (* y y) (* x x)) 6.0) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ (* (- (* y y) (* x x)) 6.0) (sqrt (+ y x))) (/ (* (- (* y y) (* x x)) 6.0) 1) (/ (* (- (* y y) (* x x)) 6.0) 1) (/ (+ y x) 6.0) (/ (* (- (* y y) (* x x)) 6.0) (+ (pow y 3) (pow x 3))) (/ (* (- (* y y) (* x x)) 6.0) (- (* y y) (* x x))) (* (+ y x) (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x))))) (* (+ y x) (+ (* y y) (* x x))) (/ (exp (* y y)) (exp (* x x))) (log (- (* y y) (* x x))) (exp (- (* y y) (* x x))) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))) (cbrt (- (* y y) (* x x))) (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (sqrt (- (* y y) (* x x))) (sqrt (- (* y y) (* x x))) (- (pow (* y y) 3) (pow (* x x) 3)) (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x)))) (- (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* x x))) (+ (* y y) (* x x)) (+ y x) (- y x) (- (* x x)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (+ (- (+ (log (- (* y y) (* x x))) (log 6.0)) (log (+ y x))) (log z)) (+ (- (log (* (- (* y y) (* x x)) 6.0)) (log (+ y x))) (log z)) (+ (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (exp (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (/ (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* z z) z)) (* (/ (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* z z) z)) (* (* (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (* (* z z) z)) (* (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z))) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (* (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (* (cbrt z) (cbrt z))) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (sqrt z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 1) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (/ 6.0 (cbrt (+ y x))) z) (* (/ 6.0 (sqrt (+ y x))) z) (* (/ 6.0 (+ y x)) z) (* (/ 6.0 (+ y x)) z) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (* (/ 1 (+ y x)) z) (* (+ (* y y) (- (* x x) (* y x))) z) (* (- y x) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- (* y y) (* x x)) 6.0) (+ (log (- (* y y) (* x x))) (log 6.0)) (log (* (- (* y y) (* x x)) 6.0)) (exp (* (- (* y y) (* x x)) 6.0)) (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- (* y y) (* x x)) 6.0)) (cbrt (* (- (* y y) (* x x)) 6.0))) (cbrt (* (- (* y y) (* x x)) 6.0)) (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (sqrt (* (- (* y y) (* x x)) 6.0)) (sqrt (* (- (* y y) (* x x)) 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (- (* y y) (* x x)) (* (cbrt 6.0) (cbrt 6.0))) (* (- (* y y) (* x x)) (sqrt 6.0)) (* (- (* y y) (* x x)) 1) (* (cbrt (- (* y y) (* x x))) 6.0) (* (sqrt (- (* y y) (* x x))) 6.0) (* (- (* y y) (* x x)) 6.0) (* (- y x) 6.0) (* (- (pow (* y y) 3) (pow (* x x) 3)) 6.0) (* (- (* (* y y) (* y y)) (* (* x x) (* x x))) 6.0) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (pow y 2) (pow x 2)) (- (pow y 2) (pow x 2)) (- (pow y 2) (pow x 2)) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2))) (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2))) (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2))) 8.893 * * [simplify]: iteration 0 : 147 enodes (cost 1587 ) 8.924 * * [simplify]: iteration 1 : 410 enodes (cost 1524 ) 9.061 * * [simplify]: iteration 2 : 1794 enodes (cost 1248 ) 9.565 * * [simplify]: iteration done : 5000 enodes (cost 1248 ) 9.566 * [simplify]: Simplified to: (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (exp (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (pow (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 3) (pow (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 3) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x)))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (pow (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 3) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (- (* (- (* y y) (* x x)) 6.0)) (- (+ y x)) (/ (- (* y y) (* x x)) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ 6.0 (cbrt (+ y x))) (/ (- (* y y) (* x x)) (sqrt (+ y x))) (/ 6.0 (sqrt (+ y x))) (- (* y y) (* x x)) (/ 6.0 (+ y x)) (- (* y y) (* x x)) (/ 6.0 (+ y x)) (/ 1 (+ y x)) (/ (+ y x) (* (- (* y y) (* x x)) 6.0)) (/ (* (- (* y y) (* x x)) 6.0) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ (* (- (* y y) (* x x)) 6.0) (sqrt (+ y x))) (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0) (/ (+ y x) 6.0) (/ (* (- (* y y) (* x x)) 6.0) (+ (pow y 3) (pow x 3))) (/ (* (- (* y y) (* x x)) 6.0) (- (* y y) (* x x))) (* (+ y x) (+ (pow y 4) (* (pow x 2) (+ (* y y) (* x x))))) (* (+ y x) (+ (* y y) (* x x))) (exp (* (+ y x) (- y x))) (log (- (* y y) (* x x))) (exp (* (+ y x) (- y x))) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))) (cbrt (- (* y y) (* x x))) (pow (- (* y y) (* x x)) 3) (sqrt (- (* y y) (* x x))) (sqrt (- (* y y) (* x x))) (- (pow y 6) (pow x 6)) (+ (pow y 4) (* (pow x 2) (+ (* y y) (* x x)))) (- (* x x)) (- (pow y 4) (pow x 4)) (+ (* y y) (* x x)) (+ y x) (- y x) (- (* x x)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (exp (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (* (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z))) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (* (cbrt z) (cbrt z))) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (sqrt z)) (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (/ 6.0 (cbrt (+ y x))) z) (* (/ 6.0 (sqrt (+ y x))) z) (* (/ 6.0 (+ y x)) z) (* (/ 6.0 (+ y x)) z) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (/ z (+ y x)) (* (+ (* x (- x y)) (* y y)) z) (* (- y x) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- (* y y) (* x x)) 6.0) (log (* (- (* y y) (* x x)) 6.0)) (log (* (- (* y y) (* x x)) 6.0)) (exp (* (- (* y y) (* x x)) 6.0)) (pow (* (- (* y y) (* x x)) 6.0) 3) (* (cbrt (* (- (* y y) (* x x)) 6.0)) (cbrt (* (- (* y y) (* x x)) 6.0))) (cbrt (* (- (* y y) (* x x)) 6.0)) (pow (* (- (* y y) (* x x)) 6.0) 3) (sqrt (* (- (* y y) (* x x)) 6.0)) (sqrt (* (- (* y y) (* x x)) 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (- (* y y) (* x x)) (* (cbrt 6.0) (cbrt 6.0))) (* (- (* y y) (* x x)) (sqrt 6.0)) (- (* y y) (* x x)) (* (cbrt (- (* y y) (* x x))) 6.0) (* (sqrt (- (* y y) (* x x))) 6.0) (* (- (* y y) (* x x)) 6.0) (* (- y x) 6.0) (* 6.0 (- (pow y 6) (pow x 6))) (* 6.0 (- (pow y 4) (pow x 4))) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (- (* y y) (* x x)) (- (* y y) (* x x)) (- (* y y) (* x x)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0) 9.567 * * * [progress]: adding candidates to table 9.775 * * [progress]: iteration 4 / 4 9.775 * * * [progress]: picking best candidate 9.785 * * * * [pick]: Picked # 9.785 * * * [progress]: localizing error 9.792 * * * [progress]: generating rewritten candidates 9.792 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 9.804 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 9.814 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 9.818 * * * [progress]: generating series expansions 9.818 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 9.818 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 9.818 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 9.818 * [taylor]: Taking taylor expansion of 6.0 in z 9.818 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 9.818 * [taylor]: Taking taylor expansion of (- y x) in z 9.818 * [taylor]: Taking taylor expansion of y in z 9.818 * [taylor]: Taking taylor expansion of x in z 9.818 * [taylor]: Taking taylor expansion of z in z 9.818 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 9.818 * [taylor]: Taking taylor expansion of 6.0 in x 9.818 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 9.818 * [taylor]: Taking taylor expansion of (- y x) in x 9.818 * [taylor]: Taking taylor expansion of y in x 9.818 * [taylor]: Taking taylor expansion of x in x 9.818 * [taylor]: Taking taylor expansion of z in x 9.818 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 9.818 * [taylor]: Taking taylor expansion of 6.0 in y 9.818 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 9.818 * [taylor]: Taking taylor expansion of (- y x) in y 9.818 * [taylor]: Taking taylor expansion of y in y 9.818 * [taylor]: Taking taylor expansion of x in y 9.818 * [taylor]: Taking taylor expansion of z in y 9.818 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 9.818 * [taylor]: Taking taylor expansion of 6.0 in y 9.819 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 9.819 * [taylor]: Taking taylor expansion of (- y x) in y 9.819 * [taylor]: Taking taylor expansion of y in y 9.819 * [taylor]: Taking taylor expansion of x in y 9.819 * [taylor]: Taking taylor expansion of z in y 9.819 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 9.819 * [taylor]: Taking taylor expansion of -6.0 in x 9.819 * [taylor]: Taking taylor expansion of (* x z) in x 9.819 * [taylor]: Taking taylor expansion of x in x 9.819 * [taylor]: Taking taylor expansion of z in x 9.819 * [taylor]: Taking taylor expansion of 0 in z 9.820 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 9.820 * [taylor]: Taking taylor expansion of 6.0 in x 9.820 * [taylor]: Taking taylor expansion of z in x 9.820 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 9.820 * [taylor]: Taking taylor expansion of 6.0 in z 9.820 * [taylor]: Taking taylor expansion of z in z 9.821 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 9.821 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 9.821 * [taylor]: Taking taylor expansion of 6.0 in z 9.821 * [taylor]: Taking taylor expansion of z in z 9.823 * [taylor]: Taking taylor expansion of 0 in x 9.823 * [taylor]: Taking taylor expansion of 0 in z 9.824 * [taylor]: Taking taylor expansion of 0 in z 9.824 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 9.824 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 9.824 * [taylor]: Taking taylor expansion of 6.0 in z 9.824 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 9.824 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 9.824 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.824 * [taylor]: Taking taylor expansion of y in z 9.824 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.824 * [taylor]: Taking taylor expansion of x in z 9.824 * [taylor]: Taking taylor expansion of z in z 9.824 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 9.824 * [taylor]: Taking taylor expansion of 6.0 in x 9.824 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 9.824 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.824 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.824 * [taylor]: Taking taylor expansion of y in x 9.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.824 * [taylor]: Taking taylor expansion of x in x 9.825 * [taylor]: Taking taylor expansion of z in x 9.825 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 9.825 * [taylor]: Taking taylor expansion of 6.0 in y 9.825 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 9.825 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.825 * [taylor]: Taking taylor expansion of y in y 9.825 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.825 * [taylor]: Taking taylor expansion of x in y 9.826 * [taylor]: Taking taylor expansion of z in y 9.826 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 9.826 * [taylor]: Taking taylor expansion of 6.0 in y 9.826 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 9.826 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.826 * [taylor]: Taking taylor expansion of y in y 9.826 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.826 * [taylor]: Taking taylor expansion of x in y 9.826 * [taylor]: Taking taylor expansion of z in y 9.827 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 9.827 * [taylor]: Taking taylor expansion of 6.0 in x 9.827 * [taylor]: Taking taylor expansion of z in x 9.828 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 9.828 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 9.828 * [taylor]: Taking taylor expansion of 6.0 in x 9.828 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.828 * [taylor]: Taking taylor expansion of (* x z) in x 9.828 * [taylor]: Taking taylor expansion of x in x 9.828 * [taylor]: Taking taylor expansion of z in x 9.828 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 9.828 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 9.828 * [taylor]: Taking taylor expansion of 6.0 in z 9.828 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.828 * [taylor]: Taking taylor expansion of z in z 9.829 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 9.829 * [taylor]: Taking taylor expansion of 6.0 in z 9.829 * [taylor]: Taking taylor expansion of z in z 9.831 * [taylor]: Taking taylor expansion of 0 in x 9.832 * [taylor]: Taking taylor expansion of 0 in z 9.832 * [taylor]: Taking taylor expansion of 0 in z 9.835 * [taylor]: Taking taylor expansion of 0 in x 9.835 * [taylor]: Taking taylor expansion of 0 in z 9.837 * [taylor]: Taking taylor expansion of 0 in z 9.837 * [taylor]: Taking taylor expansion of 0 in z 9.840 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 9.840 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 9.840 * [taylor]: Taking taylor expansion of -6.0 in z 9.840 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 9.840 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 9.840 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.840 * [taylor]: Taking taylor expansion of x in z 9.840 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.840 * [taylor]: Taking taylor expansion of y in z 9.840 * [taylor]: Taking taylor expansion of z in z 9.840 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 9.840 * [taylor]: Taking taylor expansion of -6.0 in x 9.840 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 9.840 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.840 * [taylor]: Taking taylor expansion of x in x 9.840 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.840 * [taylor]: Taking taylor expansion of y in x 9.840 * [taylor]: Taking taylor expansion of z in x 9.841 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 9.841 * [taylor]: Taking taylor expansion of -6.0 in y 9.841 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 9.841 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.841 * [taylor]: Taking taylor expansion of x in y 9.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.841 * [taylor]: Taking taylor expansion of y in y 9.841 * [taylor]: Taking taylor expansion of z in y 9.842 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 9.842 * [taylor]: Taking taylor expansion of -6.0 in y 9.842 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 9.842 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.842 * [taylor]: Taking taylor expansion of x in y 9.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.842 * [taylor]: Taking taylor expansion of y in y 9.842 * [taylor]: Taking taylor expansion of z in y 9.843 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 9.843 * [taylor]: Taking taylor expansion of 6.0 in x 9.843 * [taylor]: Taking taylor expansion of z in x 9.844 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 9.844 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 9.844 * [taylor]: Taking taylor expansion of 6.0 in x 9.844 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.844 * [taylor]: Taking taylor expansion of (* x z) in x 9.844 * [taylor]: Taking taylor expansion of x in x 9.844 * [taylor]: Taking taylor expansion of z in x 9.844 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 9.844 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 9.844 * [taylor]: Taking taylor expansion of 6.0 in z 9.844 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.844 * [taylor]: Taking taylor expansion of z in z 9.845 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 9.845 * [taylor]: Taking taylor expansion of 6.0 in z 9.845 * [taylor]: Taking taylor expansion of z in z 9.847 * [taylor]: Taking taylor expansion of 0 in x 9.848 * [taylor]: Taking taylor expansion of 0 in z 9.848 * [taylor]: Taking taylor expansion of 0 in z 9.852 * [taylor]: Taking taylor expansion of 0 in x 9.852 * [taylor]: Taking taylor expansion of 0 in z 9.853 * [taylor]: Taking taylor expansion of 0 in z 9.853 * [taylor]: Taking taylor expansion of 0 in z 9.856 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 9.856 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 9.856 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 9.856 * [taylor]: Taking taylor expansion of (- y x) in z 9.856 * [taylor]: Taking taylor expansion of y in z 9.856 * [taylor]: Taking taylor expansion of x in z 9.856 * [taylor]: Taking taylor expansion of z in z 9.856 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 9.856 * [taylor]: Taking taylor expansion of (- y x) in x 9.856 * [taylor]: Taking taylor expansion of y in x 9.856 * [taylor]: Taking taylor expansion of x in x 9.856 * [taylor]: Taking taylor expansion of z in x 9.856 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 9.856 * [taylor]: Taking taylor expansion of (- y x) in y 9.856 * [taylor]: Taking taylor expansion of y in y 9.856 * [taylor]: Taking taylor expansion of x in y 9.856 * [taylor]: Taking taylor expansion of z in y 9.856 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 9.856 * [taylor]: Taking taylor expansion of (- y x) in y 9.856 * [taylor]: Taking taylor expansion of y in y 9.856 * [taylor]: Taking taylor expansion of x in y 9.856 * [taylor]: Taking taylor expansion of z in y 9.856 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 9.856 * [taylor]: Taking taylor expansion of -1 in x 9.856 * [taylor]: Taking taylor expansion of (* x z) in x 9.856 * [taylor]: Taking taylor expansion of x in x 9.856 * [taylor]: Taking taylor expansion of z in x 9.857 * [taylor]: Taking taylor expansion of 0 in z 9.857 * [taylor]: Taking taylor expansion of z in x 9.857 * [taylor]: Taking taylor expansion of z in z 9.858 * [taylor]: Taking taylor expansion of (- z) in z 9.858 * [taylor]: Taking taylor expansion of z in z 9.859 * [taylor]: Taking taylor expansion of 0 in x 9.859 * [taylor]: Taking taylor expansion of 0 in z 9.859 * [taylor]: Taking taylor expansion of 0 in z 9.859 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 9.859 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 9.859 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 9.859 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.859 * [taylor]: Taking taylor expansion of y in z 9.859 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.859 * [taylor]: Taking taylor expansion of x in z 9.860 * [taylor]: Taking taylor expansion of z in z 9.860 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 9.860 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.860 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.860 * [taylor]: Taking taylor expansion of y in x 9.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.860 * [taylor]: Taking taylor expansion of x in x 9.860 * [taylor]: Taking taylor expansion of z in x 9.861 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 9.861 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.861 * [taylor]: Taking taylor expansion of y in y 9.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.861 * [taylor]: Taking taylor expansion of x in y 9.861 * [taylor]: Taking taylor expansion of z in y 9.862 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 9.862 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.862 * [taylor]: Taking taylor expansion of y in y 9.862 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.862 * [taylor]: Taking taylor expansion of x in y 9.862 * [taylor]: Taking taylor expansion of z in y 9.862 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.862 * [taylor]: Taking taylor expansion of z in x 9.863 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 9.863 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.863 * [taylor]: Taking taylor expansion of (* x z) in x 9.863 * [taylor]: Taking taylor expansion of x in x 9.863 * [taylor]: Taking taylor expansion of z in x 9.864 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.864 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.864 * [taylor]: Taking taylor expansion of z in z 9.864 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.864 * [taylor]: Taking taylor expansion of z in z 9.866 * [taylor]: Taking taylor expansion of 0 in x 9.866 * [taylor]: Taking taylor expansion of 0 in z 9.867 * [taylor]: Taking taylor expansion of 0 in z 9.872 * [taylor]: Taking taylor expansion of 0 in x 9.872 * [taylor]: Taking taylor expansion of 0 in z 9.873 * [taylor]: Taking taylor expansion of 0 in z 9.874 * [taylor]: Taking taylor expansion of 0 in z 9.875 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 9.875 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 9.875 * [taylor]: Taking taylor expansion of -1 in z 9.875 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 9.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 9.875 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.875 * [taylor]: Taking taylor expansion of x in z 9.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.875 * [taylor]: Taking taylor expansion of y in z 9.875 * [taylor]: Taking taylor expansion of z in z 9.876 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 9.876 * [taylor]: Taking taylor expansion of -1 in x 9.876 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 9.876 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.876 * [taylor]: Taking taylor expansion of x in x 9.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.876 * [taylor]: Taking taylor expansion of y in x 9.876 * [taylor]: Taking taylor expansion of z in x 9.876 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 9.876 * [taylor]: Taking taylor expansion of -1 in y 9.876 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 9.876 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.876 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.876 * [taylor]: Taking taylor expansion of x in y 9.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.877 * [taylor]: Taking taylor expansion of y in y 9.877 * [taylor]: Taking taylor expansion of z in y 9.877 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 9.877 * [taylor]: Taking taylor expansion of -1 in y 9.877 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 9.877 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.877 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.878 * [taylor]: Taking taylor expansion of x in y 9.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.878 * [taylor]: Taking taylor expansion of y in y 9.878 * [taylor]: Taking taylor expansion of z in y 9.879 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.879 * [taylor]: Taking taylor expansion of z in x 9.880 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 9.880 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.880 * [taylor]: Taking taylor expansion of (* x z) in x 9.880 * [taylor]: Taking taylor expansion of x in x 9.880 * [taylor]: Taking taylor expansion of z in x 9.880 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.880 * [taylor]: Taking taylor expansion of z in z 9.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.881 * [taylor]: Taking taylor expansion of z in z 9.882 * [taylor]: Taking taylor expansion of 0 in x 9.883 * [taylor]: Taking taylor expansion of 0 in z 9.883 * [taylor]: Taking taylor expansion of 0 in z 9.886 * [taylor]: Taking taylor expansion of 0 in x 9.886 * [taylor]: Taking taylor expansion of 0 in z 9.887 * [taylor]: Taking taylor expansion of 0 in z 9.887 * [taylor]: Taking taylor expansion of 0 in z 9.889 * * * * [progress]: [ 3 / 3 ] generating series at (2) 9.889 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 9.889 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 9.889 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 9.889 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 9.889 * [taylor]: Taking taylor expansion of 6.0 in z 9.889 * [taylor]: Taking taylor expansion of (* z y) in z 9.889 * [taylor]: Taking taylor expansion of z in z 9.889 * [taylor]: Taking taylor expansion of y in z 9.889 * [taylor]: Taking taylor expansion of x in z 9.889 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 9.889 * [taylor]: Taking taylor expansion of 6.0 in z 9.889 * [taylor]: Taking taylor expansion of (* x z) in z 9.889 * [taylor]: Taking taylor expansion of x in z 9.889 * [taylor]: Taking taylor expansion of z in z 9.889 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 9.889 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 9.889 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 9.889 * [taylor]: Taking taylor expansion of 6.0 in y 9.889 * [taylor]: Taking taylor expansion of (* z y) in y 9.889 * [taylor]: Taking taylor expansion of z in y 9.889 * [taylor]: Taking taylor expansion of y in y 9.890 * [taylor]: Taking taylor expansion of x in y 9.890 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 9.890 * [taylor]: Taking taylor expansion of 6.0 in y 9.890 * [taylor]: Taking taylor expansion of (* x z) in y 9.890 * [taylor]: Taking taylor expansion of x in y 9.890 * [taylor]: Taking taylor expansion of z in y 9.890 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 9.890 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 9.890 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 9.890 * [taylor]: Taking taylor expansion of 6.0 in x 9.890 * [taylor]: Taking taylor expansion of (* z y) in x 9.890 * [taylor]: Taking taylor expansion of z in x 9.890 * [taylor]: Taking taylor expansion of y in x 9.890 * [taylor]: Taking taylor expansion of x in x 9.890 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 9.890 * [taylor]: Taking taylor expansion of 6.0 in x 9.890 * [taylor]: Taking taylor expansion of (* x z) in x 9.890 * [taylor]: Taking taylor expansion of x in x 9.890 * [taylor]: Taking taylor expansion of z in x 9.890 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 9.890 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 9.890 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 9.890 * [taylor]: Taking taylor expansion of 6.0 in x 9.890 * [taylor]: Taking taylor expansion of (* z y) in x 9.890 * [taylor]: Taking taylor expansion of z in x 9.890 * [taylor]: Taking taylor expansion of y in x 9.890 * [taylor]: Taking taylor expansion of x in x 9.890 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 9.890 * [taylor]: Taking taylor expansion of 6.0 in x 9.890 * [taylor]: Taking taylor expansion of (* x z) in x 9.890 * [taylor]: Taking taylor expansion of x in x 9.890 * [taylor]: Taking taylor expansion of z in x 9.891 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 9.891 * [taylor]: Taking taylor expansion of 6.0 in y 9.891 * [taylor]: Taking taylor expansion of (* z y) in y 9.891 * [taylor]: Taking taylor expansion of z in y 9.891 * [taylor]: Taking taylor expansion of y in y 9.891 * [taylor]: Taking taylor expansion of 0 in z 9.892 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 9.892 * [taylor]: Taking taylor expansion of 1 in y 9.892 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 9.892 * [taylor]: Taking taylor expansion of 6.0 in y 9.892 * [taylor]: Taking taylor expansion of z in y 9.893 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 9.893 * [taylor]: Taking taylor expansion of 1 in z 9.893 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 9.893 * [taylor]: Taking taylor expansion of 6.0 in z 9.893 * [taylor]: Taking taylor expansion of z in z 9.894 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 9.894 * [taylor]: Taking taylor expansion of 6.0 in z 9.894 * [taylor]: Taking taylor expansion of z in z 9.897 * [taylor]: Taking taylor expansion of 0 in y 9.897 * [taylor]: Taking taylor expansion of 0 in z 9.898 * [taylor]: Taking taylor expansion of 0 in z 9.899 * [taylor]: Taking taylor expansion of 0 in z 9.902 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 9.902 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 9.902 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 9.902 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 9.902 * [taylor]: Taking taylor expansion of 6.0 in z 9.902 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.902 * [taylor]: Taking taylor expansion of (* z y) in z 9.902 * [taylor]: Taking taylor expansion of z in z 9.903 * [taylor]: Taking taylor expansion of y in z 9.903 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.903 * [taylor]: Taking taylor expansion of x in z 9.903 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 9.903 * [taylor]: Taking taylor expansion of 6.0 in z 9.903 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.903 * [taylor]: Taking taylor expansion of (* x z) in z 9.903 * [taylor]: Taking taylor expansion of x in z 9.903 * [taylor]: Taking taylor expansion of z in z 9.903 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 9.903 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 9.903 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 9.903 * [taylor]: Taking taylor expansion of 6.0 in y 9.903 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.903 * [taylor]: Taking taylor expansion of (* z y) in y 9.903 * [taylor]: Taking taylor expansion of z in y 9.903 * [taylor]: Taking taylor expansion of y in y 9.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.904 * [taylor]: Taking taylor expansion of x in y 9.904 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 9.904 * [taylor]: Taking taylor expansion of 6.0 in y 9.904 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 9.904 * [taylor]: Taking taylor expansion of (* x z) in y 9.904 * [taylor]: Taking taylor expansion of x in y 9.904 * [taylor]: Taking taylor expansion of z in y 9.904 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 9.904 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 9.904 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 9.904 * [taylor]: Taking taylor expansion of 6.0 in x 9.904 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.904 * [taylor]: Taking taylor expansion of (* z y) in x 9.904 * [taylor]: Taking taylor expansion of z in x 9.904 * [taylor]: Taking taylor expansion of y in x 9.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.904 * [taylor]: Taking taylor expansion of x in x 9.905 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 9.905 * [taylor]: Taking taylor expansion of 6.0 in x 9.905 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.905 * [taylor]: Taking taylor expansion of (* x z) in x 9.905 * [taylor]: Taking taylor expansion of x in x 9.905 * [taylor]: Taking taylor expansion of z in x 9.905 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 9.905 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 9.905 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 9.905 * [taylor]: Taking taylor expansion of 6.0 in x 9.905 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.905 * [taylor]: Taking taylor expansion of (* z y) in x 9.905 * [taylor]: Taking taylor expansion of z in x 9.905 * [taylor]: Taking taylor expansion of y in x 9.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.905 * [taylor]: Taking taylor expansion of x in x 9.905 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 9.905 * [taylor]: Taking taylor expansion of 6.0 in x 9.905 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.905 * [taylor]: Taking taylor expansion of (* x z) in x 9.905 * [taylor]: Taking taylor expansion of x in x 9.906 * [taylor]: Taking taylor expansion of z in x 9.906 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 9.906 * [taylor]: Taking taylor expansion of 1 in y 9.906 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 9.906 * [taylor]: Taking taylor expansion of 6.0 in y 9.906 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.906 * [taylor]: Taking taylor expansion of z in y 9.908 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 9.908 * [taylor]: Taking taylor expansion of 6.0 in y 9.908 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.908 * [taylor]: Taking taylor expansion of (* z y) in y 9.908 * [taylor]: Taking taylor expansion of z in y 9.908 * [taylor]: Taking taylor expansion of y in y 9.908 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 9.908 * [taylor]: Taking taylor expansion of 6.0 in z 9.909 * [taylor]: Taking taylor expansion of z in z 9.909 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 9.909 * [taylor]: Taking taylor expansion of 1 in z 9.909 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 9.909 * [taylor]: Taking taylor expansion of 6.0 in z 9.909 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.909 * [taylor]: Taking taylor expansion of z in z 9.913 * [taylor]: Taking taylor expansion of 0 in y 9.914 * [taylor]: Taking taylor expansion of 0 in z 9.915 * [taylor]: Taking taylor expansion of 0 in z 9.917 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 9.918 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 9.918 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 9.918 * [taylor]: Taking taylor expansion of 6.0 in z 9.918 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.918 * [taylor]: Taking taylor expansion of (* z y) in z 9.918 * [taylor]: Taking taylor expansion of z in z 9.918 * [taylor]: Taking taylor expansion of y in z 9.918 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 9.918 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 9.918 * [taylor]: Taking taylor expansion of 6.0 in z 9.918 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.918 * [taylor]: Taking taylor expansion of (* x z) in z 9.918 * [taylor]: Taking taylor expansion of x in z 9.918 * [taylor]: Taking taylor expansion of z in z 9.918 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.918 * [taylor]: Taking taylor expansion of x in z 9.918 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 9.919 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 9.919 * [taylor]: Taking taylor expansion of 6.0 in y 9.919 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.919 * [taylor]: Taking taylor expansion of (* z y) in y 9.919 * [taylor]: Taking taylor expansion of z in y 9.919 * [taylor]: Taking taylor expansion of y in y 9.919 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 9.919 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 9.919 * [taylor]: Taking taylor expansion of 6.0 in y 9.919 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 9.919 * [taylor]: Taking taylor expansion of (* x z) in y 9.919 * [taylor]: Taking taylor expansion of x in y 9.919 * [taylor]: Taking taylor expansion of z in y 9.919 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.919 * [taylor]: Taking taylor expansion of x in y 9.919 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 9.919 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 9.919 * [taylor]: Taking taylor expansion of 6.0 in x 9.919 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.919 * [taylor]: Taking taylor expansion of (* z y) in x 9.919 * [taylor]: Taking taylor expansion of z in x 9.919 * [taylor]: Taking taylor expansion of y in x 9.919 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 9.919 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 9.919 * [taylor]: Taking taylor expansion of 6.0 in x 9.919 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.919 * [taylor]: Taking taylor expansion of (* x z) in x 9.919 * [taylor]: Taking taylor expansion of x in x 9.919 * [taylor]: Taking taylor expansion of z in x 9.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.920 * [taylor]: Taking taylor expansion of x in x 9.920 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 9.920 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 9.920 * [taylor]: Taking taylor expansion of 6.0 in x 9.920 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.920 * [taylor]: Taking taylor expansion of (* z y) in x 9.920 * [taylor]: Taking taylor expansion of z in x 9.920 * [taylor]: Taking taylor expansion of y in x 9.920 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 9.920 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 9.920 * [taylor]: Taking taylor expansion of 6.0 in x 9.920 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.920 * [taylor]: Taking taylor expansion of (* x z) in x 9.920 * [taylor]: Taking taylor expansion of x in x 9.920 * [taylor]: Taking taylor expansion of z in x 9.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.921 * [taylor]: Taking taylor expansion of x in x 9.921 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 9.921 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 9.921 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 9.921 * [taylor]: Taking taylor expansion of 6.0 in y 9.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.921 * [taylor]: Taking taylor expansion of z in y 9.921 * [taylor]: Taking taylor expansion of 1 in y 9.923 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 9.923 * [taylor]: Taking taylor expansion of 6.0 in y 9.923 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.923 * [taylor]: Taking taylor expansion of (* z y) in y 9.923 * [taylor]: Taking taylor expansion of z in y 9.923 * [taylor]: Taking taylor expansion of y in y 9.924 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 9.924 * [taylor]: Taking taylor expansion of 6.0 in z 9.924 * [taylor]: Taking taylor expansion of z in z 9.924 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 9.924 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 9.924 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 9.924 * [taylor]: Taking taylor expansion of 6.0 in z 9.924 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.924 * [taylor]: Taking taylor expansion of z in z 9.924 * [taylor]: Taking taylor expansion of 1 in z 9.928 * [taylor]: Taking taylor expansion of 0 in y 9.929 * [taylor]: Taking taylor expansion of 0 in z 9.930 * [taylor]: Taking taylor expansion of 0 in z 9.932 * * * [progress]: simplifying candidates 9.933 * [simplify]: Simplifying using # : (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (+ (log 6.0) (+ (log (- y x)) (log z))) (+ (log 6.0) (log (* (- y x) z))) (log (* 6.0 (* (- y x) z))) (exp (* 6.0 (* (- y x) z))) (* (* (* 6.0 6.0) 6.0) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))) (* (* (* 6.0 6.0) 6.0) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))) (* (cbrt (* 6.0 (* (- y x) z))) (cbrt (* 6.0 (* (- y x) z)))) (cbrt (* 6.0 (* (- y x) z))) (* (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z))) (* 6.0 (* (- y x) z))) (sqrt (* 6.0 (* (- y x) z))) (sqrt (* 6.0 (* (- y x) z))) (* 6.0 (- y x)) (* (cbrt 6.0) (* (- y x) z)) (* (sqrt 6.0) (* (- y x) z)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- (pow y 3) (pow x 3)) z)) (* 6.0 (* (- (* y y) (* x x)) z)) (* (- y x) z) (+ (log (- y x)) (log z)) (log (* (- y x) z)) (exp (* (- y x) z)) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z))) (cbrt (* (- y x) z)) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (sqrt (* (- y x) z)) (sqrt (* (- y x) z)) (* (sqrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (sqrt z)) (* (- y x) 1) (* (cbrt (- y x)) z) (* (sqrt (- y x)) z) (* (- y x) z) (* (- (sqrt y) (sqrt x)) z) (* (- y x) z) (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (* (exp x) (exp (* 6.0 (* (- y x) z)))) (log (+ x (* 6.0 (* (- y x) z)))) (exp (+ x (* 6.0 (* (- y x) z)))) (* (cbrt (+ x (* 6.0 (* (- y x) z)))) (cbrt (+ x (* 6.0 (* (- y x) z))))) (cbrt (+ x (* 6.0 (* (- y x) z)))) (* (* (+ x (* 6.0 (* (- y x) z))) (+ x (* 6.0 (* (- y x) z)))) (+ x (* 6.0 (* (- y x) z)))) (sqrt (+ x (* 6.0 (* (- y x) z)))) (sqrt (+ x (* 6.0 (* (- y x) z)))) (+ (pow x 3) (pow (* 6.0 (* (- y x) z)) 3)) (+ (* x x) (- (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z))) (* x (* 6.0 (* (- y x) z))))) (- (* x x) (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)))) (- x (* 6.0 (* (- y x) z))) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) 0 (- (* z y) (* x z)) (- (* z y) (* x z)) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 9.936 * * [simplify]: iteration 0 : 94 enodes (cost 637 ) 9.955 * * [simplify]: iteration 1 : 239 enodes (cost 604 ) 10.014 * * [simplify]: iteration 2 : 788 enodes (cost 518 ) 10.650 * * [simplify]: iteration 3 : 4136 enodes (cost 518 ) 12.209 * * [simplify]: iteration done : 5001 enodes (cost 518 ) 12.209 * [simplify]: Simplified to: (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (log (* 6.0 (* (- y x) z))) (log (* 6.0 (* (- y x) z))) (log (* 6.0 (* (- y x) z))) (exp (* 6.0 (* (- y x) z))) (pow (* 6.0 (* (- y x) z)) 3) (pow (* 6.0 (* (- y x) z)) 3) (* (cbrt (* 6.0 (* (- y x) z))) (cbrt (* 6.0 (* (- y x) z)))) (cbrt (* 6.0 (* (- y x) z))) (pow (* 6.0 (* (- y x) z)) 3) (sqrt (* 6.0 (* (- y x) z))) (sqrt (* 6.0 (* (- y x) z))) (* 6.0 (- y x)) (* (cbrt 6.0) (* (- y x) z)) (* (sqrt 6.0) (* (- y x) z)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- (pow y 3) (pow x 3)) z)) (* 6.0 (* (- (* y y) (* x x)) z)) (* (- y x) z) (log (* (- y x) z)) (log (* (- y x) z)) (exp (* (- y x) z)) (pow (* (- y x) z) 3) (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z))) (cbrt (* (- y x) z)) (pow (* (- y x) z) 3) (sqrt (* (- y x) z)) (sqrt (* (- y x) z)) (* (sqrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (sqrt z)) (- y x) (* (cbrt (- y x)) z) (* (sqrt (- y x)) z) (* (- y x) z) (* (- (sqrt y) (sqrt x)) z) (* (- y x) z) (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (exp (+ x (* 6.0 (* (- y x) z)))) (log (+ x (* 6.0 (* (- y x) z)))) (exp (+ x (* 6.0 (* (- y x) z)))) (* (cbrt (+ x (* 6.0 (* (- y x) z)))) (cbrt (+ x (* 6.0 (* (- y x) z))))) (cbrt (+ x (* 6.0 (* (- y x) z)))) (pow (+ x (* 6.0 (* (- y x) z))) 3) (sqrt (+ x (* 6.0 (* (- y x) z)))) (sqrt (+ x (* 6.0 (* (- y x) z)))) (+ (pow x 3) (pow (* 6.0 (* (- y x) z)) 3)) (+ (* (* 6.0 (* (- y x) z)) (- (* 6.0 (* (- y x) z)) x)) (* x x)) (- (* x x) (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)))) (- x (* 6.0 (* (- y x) z))) 0 (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) 0 (* (- y x) z) (* (- y x) z) (+ x (* 6.0 (* (- y x) z))) (+ x (* 6.0 (* (- y x) z))) (+ x (* 6.0 (* (- y x) z))) 12.210 * * * [progress]: adding candidates to table 12.322 * [progress]: [Phase 3 of 3] Extracting. 12.322 * * [regime]: Finding splitpoints for: (# # # # # # #) 12.323 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (* (- y x) 6.0) z)) z y x) 12.323 * * * * [regimes]: Trying to branch on (+ x (* (* (- y x) 6.0) z)) from (# # # # # # #) 12.352 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 12.377 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 12.403 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 12.430 * * * [regime]: Found split indices: #