47.502 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.424 * * * [progress]: [2/2] Setting up program. 0.427 * [progress]: [Phase 2 of 3] Improving. 0.427 * [simplify]: Simplifying using # : (/ (* x y) (* (* z z) (+ z 1.0))) 0.484 * * [simplify]: iteration 0 : 5021 enodes (cost 11 ) 0.484 * [simplify]: Simplified to: (/ (* x y) (* (* z z) (+ z 1.0))) 0.487 * * [progress]: iteration 1 / 4 0.487 * * * [progress]: picking best candidate 0.490 * * * * [pick]: Picked # 0.490 * * * [progress]: localizing error 0.498 * * * [progress]: generating rewritten candidates 0.498 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.507 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.516 * * * [progress]: generating series expansions 0.516 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.516 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x y z) around 0 0.516 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 0.516 * [taylor]: Taking taylor expansion of (* x y) in z 0.516 * [taylor]: Taking taylor expansion of x in z 0.516 * [taylor]: Taking taylor expansion of y in z 0.516 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.516 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.516 * [taylor]: Taking taylor expansion of z in z 0.516 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.516 * [taylor]: Taking taylor expansion of z in z 0.516 * [taylor]: Taking taylor expansion of 1.0 in z 0.517 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 0.517 * [taylor]: Taking taylor expansion of (* x y) in y 0.517 * [taylor]: Taking taylor expansion of x in y 0.517 * [taylor]: Taking taylor expansion of y in y 0.517 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.517 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.517 * [taylor]: Taking taylor expansion of z in y 0.517 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.517 * [taylor]: Taking taylor expansion of z in y 0.517 * [taylor]: Taking taylor expansion of 1.0 in y 0.517 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.517 * [taylor]: Taking taylor expansion of (* x y) in x 0.517 * [taylor]: Taking taylor expansion of x in x 0.517 * [taylor]: Taking taylor expansion of y in x 0.517 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.517 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.517 * [taylor]: Taking taylor expansion of z in x 0.517 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.517 * [taylor]: Taking taylor expansion of z in x 0.517 * [taylor]: Taking taylor expansion of 1.0 in x 0.517 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.517 * [taylor]: Taking taylor expansion of (* x y) in x 0.517 * [taylor]: Taking taylor expansion of x in x 0.517 * [taylor]: Taking taylor expansion of y in x 0.517 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.517 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.517 * [taylor]: Taking taylor expansion of z in x 0.517 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.517 * [taylor]: Taking taylor expansion of z in x 0.517 * [taylor]: Taking taylor expansion of 1.0 in x 0.518 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in y 0.518 * [taylor]: Taking taylor expansion of y in y 0.518 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in y 0.518 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.518 * [taylor]: Taking taylor expansion of z in y 0.518 * [taylor]: Taking taylor expansion of 1.0 in y 0.518 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.518 * [taylor]: Taking taylor expansion of z in y 0.518 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ z 1.0))) in z 0.518 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.518 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.518 * [taylor]: Taking taylor expansion of z in z 0.518 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.518 * [taylor]: Taking taylor expansion of z in z 0.518 * [taylor]: Taking taylor expansion of 1.0 in z 0.519 * [taylor]: Taking taylor expansion of 0 in y 0.519 * [taylor]: Taking taylor expansion of 0 in z 0.519 * [taylor]: Taking taylor expansion of 0 in z 0.520 * [taylor]: Taking taylor expansion of 0 in y 0.520 * [taylor]: Taking taylor expansion of 0 in z 0.520 * [taylor]: Taking taylor expansion of 0 in z 0.520 * [taylor]: Taking taylor expansion of 0 in z 0.521 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x y z) around 0 0.521 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 0.521 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.521 * [taylor]: Taking taylor expansion of z in z 0.521 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.521 * [taylor]: Taking taylor expansion of x in z 0.521 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.521 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.521 * [taylor]: Taking taylor expansion of z in z 0.521 * [taylor]: Taking taylor expansion of 1.0 in z 0.521 * [taylor]: Taking taylor expansion of y in z 0.521 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 0.521 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.521 * [taylor]: Taking taylor expansion of z in y 0.521 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.521 * [taylor]: Taking taylor expansion of x in y 0.521 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.521 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.521 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.521 * [taylor]: Taking taylor expansion of z in y 0.521 * [taylor]: Taking taylor expansion of 1.0 in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.521 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.521 * [taylor]: Taking taylor expansion of z in x 0.522 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.522 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.522 * [taylor]: Taking taylor expansion of z in x 0.522 * [taylor]: Taking taylor expansion of 1.0 in x 0.522 * [taylor]: Taking taylor expansion of y in x 0.522 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.522 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.522 * [taylor]: Taking taylor expansion of z in x 0.522 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.522 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.522 * [taylor]: Taking taylor expansion of z in x 0.522 * [taylor]: Taking taylor expansion of 1.0 in x 0.522 * [taylor]: Taking taylor expansion of y in x 0.523 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in y 0.523 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.523 * [taylor]: Taking taylor expansion of z in y 0.523 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in y 0.523 * [taylor]: Taking taylor expansion of (/ y z) in y 0.523 * [taylor]: Taking taylor expansion of y in y 0.523 * [taylor]: Taking taylor expansion of z in y 0.523 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.523 * [taylor]: Taking taylor expansion of 1.0 in y 0.523 * [taylor]: Taking taylor expansion of y in y 0.523 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ 1 z) 1.0)) in z 0.523 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.523 * [taylor]: Taking taylor expansion of z in z 0.523 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.523 * [taylor]: Taking taylor expansion of z in z 0.523 * [taylor]: Taking taylor expansion of 1.0 in z 0.524 * [taylor]: Taking taylor expansion of 0 in y 0.524 * [taylor]: Taking taylor expansion of 0 in z 0.525 * [taylor]: Taking taylor expansion of 0 in y 0.525 * [taylor]: Taking taylor expansion of 0 in z 0.525 * [taylor]: Taking taylor expansion of 0 in z 0.526 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (x y z) around 0 0.526 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 0.526 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.526 * [taylor]: Taking taylor expansion of z in z 0.526 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.526 * [taylor]: Taking taylor expansion of 1.0 in z 0.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.526 * [taylor]: Taking taylor expansion of z in z 0.526 * [taylor]: Taking taylor expansion of (* x y) in z 0.526 * [taylor]: Taking taylor expansion of x in z 0.526 * [taylor]: Taking taylor expansion of y in z 0.526 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 0.526 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.526 * [taylor]: Taking taylor expansion of z in y 0.526 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.526 * [taylor]: Taking taylor expansion of 1.0 in y 0.526 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.526 * [taylor]: Taking taylor expansion of z in y 0.526 * [taylor]: Taking taylor expansion of (* x y) in y 0.526 * [taylor]: Taking taylor expansion of x in y 0.526 * [taylor]: Taking taylor expansion of y in y 0.527 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.527 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.527 * [taylor]: Taking taylor expansion of z in x 0.527 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.527 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.527 * [taylor]: Taking taylor expansion of 1.0 in x 0.527 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.527 * [taylor]: Taking taylor expansion of z in x 0.527 * [taylor]: Taking taylor expansion of (* x y) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of y in x 0.527 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.527 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.527 * [taylor]: Taking taylor expansion of z in x 0.527 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.527 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.527 * [taylor]: Taking taylor expansion of 1.0 in x 0.527 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.527 * [taylor]: Taking taylor expansion of z in x 0.527 * [taylor]: Taking taylor expansion of (* x y) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of y in x 0.528 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in y 0.528 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.528 * [taylor]: Taking taylor expansion of z in y 0.528 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in y 0.528 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.528 * [taylor]: Taking taylor expansion of 1.0 in y 0.528 * [taylor]: Taking taylor expansion of y in y 0.528 * [taylor]: Taking taylor expansion of (/ y z) in y 0.528 * [taylor]: Taking taylor expansion of y in y 0.528 * [taylor]: Taking taylor expansion of z in y 0.528 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- 1.0 (/ 1 z))) in z 0.528 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.528 * [taylor]: Taking taylor expansion of z in z 0.528 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.528 * [taylor]: Taking taylor expansion of 1.0 in z 0.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.528 * [taylor]: Taking taylor expansion of z in z 0.529 * [taylor]: Taking taylor expansion of 0 in y 0.529 * [taylor]: Taking taylor expansion of 0 in z 0.533 * [taylor]: Taking taylor expansion of 0 in y 0.533 * [taylor]: Taking taylor expansion of 0 in z 0.533 * [taylor]: Taking taylor expansion of 0 in z 0.534 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.534 * [approximate]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in (z) around 0 0.534 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.534 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.534 * [taylor]: Taking taylor expansion of z in z 0.534 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.534 * [taylor]: Taking taylor expansion of z in z 0.534 * [taylor]: Taking taylor expansion of 1.0 in z 0.534 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.534 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.534 * [taylor]: Taking taylor expansion of z in z 0.534 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.534 * [taylor]: Taking taylor expansion of z in z 0.534 * [taylor]: Taking taylor expansion of 1.0 in z 0.535 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in (z) around 0 0.535 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 0.535 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.535 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.535 * [taylor]: Taking taylor expansion of z in z 0.536 * [taylor]: Taking taylor expansion of 1.0 in z 0.536 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.536 * [taylor]: Taking taylor expansion of z in z 0.536 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.536 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.536 * [taylor]: Taking taylor expansion of z in z 0.536 * [taylor]: Taking taylor expansion of 1.0 in z 0.536 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.536 * [taylor]: Taking taylor expansion of z in z 0.537 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in (z) around 0 0.537 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 0.537 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.537 * [taylor]: Taking taylor expansion of 1.0 in z 0.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.537 * [taylor]: Taking taylor expansion of z in z 0.537 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.537 * [taylor]: Taking taylor expansion of z in z 0.538 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 0.538 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.538 * [taylor]: Taking taylor expansion of 1.0 in z 0.538 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.538 * [taylor]: Taking taylor expansion of z in z 0.538 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.538 * [taylor]: Taking taylor expansion of z in z 0.539 * * * [progress]: simplifying candidates 0.540 * [simplify]: Simplifying using # : (- (+ (log x) (log y)) (+ (+ (log z) (log z)) (log (+ z 1.0)))) (- (+ (log x) (log y)) (+ (log (* z z)) (log (+ z 1.0)))) (- (+ (log x) (log y)) (log (* (* z z) (+ z 1.0)))) (- (log (* x y)) (+ (+ (log z) (log z)) (log (+ z 1.0)))) (- (log (* x y)) (+ (log (* z z)) (log (+ z 1.0)))) (- (log (* x y)) (log (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (exp (/ (* x y) (* (* z z) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)))) (* (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0))))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (* (* (/ (* x y) (* (* z z) (+ z 1.0))) (/ (* x y) (* (* z z) (+ z 1.0)))) (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (neg (* x y)) (neg (* (* z z) (+ z 1.0))) (/ x (* z z)) (/ y (+ z 1.0)) (/ 1 (* (* z z) (+ z 1.0))) (/ (* (* z z) (+ z 1.0)) (* x y)) (/ (* x y) (* z z)) (/ (* (* z z) (+ z 1.0)) y) (/ (* x y) (* (* z z) (+ (pow z 3) (pow 1.0 3)))) (/ (* x y) (* (* z z) (- (* z z) (* 1.0 1.0)))) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) (+ (+ (log z) (log z)) (log (+ z 1.0))) (+ (log (* z z)) (log (+ z 1.0))) (log (* (* z z) (+ z 1.0))) (exp (* (* z z) (+ z 1.0))) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (cbrt (* (* z z) (+ z 1.0))) (cbrt (* (* z z) (+ z 1.0)))) (cbrt (* (* z z) (+ z 1.0))) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (* z (sqrt (+ z 1.0))) (* z (sqrt (+ z 1.0))) (* (* z z) z) (* (* z z) 1.0) (* z (* z z)) (* 1.0 (* z z)) (* (* z z) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* (* z z) (sqrt (+ z 1.0))) (* (* z z) 1) (* (* z z) 1) (* z (+ z 1.0)) (* (* z z) (+ (pow z 3) (pow 1.0 3))) (* (* z z) (- (* z z) (* 1.0 1.0))) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (+ (pow z 3) (* 1.0 (pow z 2))) (+ (pow z 3) (* 1.0 (pow z 2))) (+ (pow z 3) (* 1.0 (pow z 2))) 0.560 * * [simplify]: iteration 0 : 5052 enodes (cost 618 ) 0.563 * [simplify]: Simplified to: (log (/ (* x y) (* (+ z 1.0) (* z z)))) (log (/ (* x y) (* (+ z 1.0) (* z z)))) (log (/ (* x y) (* (+ z 1.0) (* z z)))) (log (/ (* x y) (* (+ z 1.0) (* z z)))) (log (/ (* x y) (* (+ z 1.0) (* z z)))) (log (/ (* x y) (* (+ z 1.0) (* z z)))) (log (/ (* x y) (* (+ z 1.0) (* z z)))) (exp (/ (* x y) (* (+ z 1.0) (* z z)))) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (* (cbrt (/ (* x y) (* (+ z 1.0) (* z z)))) (cbrt (/ (* x y) (* (+ z 1.0) (* z z))))) (cbrt (/ (* x y) (* (+ z 1.0) (* z z)))) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (sqrt (/ (* x y) (* (+ z 1.0) (* z z)))) (sqrt (/ (* x y) (* (+ z 1.0) (* z z)))) (neg (* x y)) (neg (* (+ z 1.0) (* z z))) (/ x (* z z)) (/ y (+ z 1.0)) (/ 1 (* (+ z 1.0) (* z z))) (/ (* (+ z 1.0) (* z z)) (* x y)) (* y (/ x (* z z))) (/ (* z z) (/ y (+ z 1.0))) (/ (* x y) (+ (pow z 5) (* (* z z) (pow 1.0 3)))) (/ (* x y) (* (* z z) (- (* z z) (* 1.0 1.0)))) (* (+ z 1.0) (* z z)) (* (+ z 1.0) (* z z)) (log (* (+ z 1.0) (* z z))) (log (* (+ z 1.0) (* z z))) (log (* (+ z 1.0) (* z z))) (exp (* (+ z 1.0) (* z z))) (* (pow z 6) (pow (+ z 1.0) 3)) (* (pow z 6) (pow (+ z 1.0) 3)) (* (cbrt (* (+ z 1.0) (* z z))) (cbrt (* (+ z 1.0) (* z z)))) (cbrt (* (+ z 1.0) (* z z))) (* (pow z 6) (pow (+ z 1.0) 3)) (sqrt (* (+ z 1.0) (* z z))) (sqrt (* (+ z 1.0) (* z z))) (* z (sqrt (+ z 1.0))) (* z (sqrt (+ z 1.0))) (pow z 3) (* 1.0 (* z z)) (pow z 3) (* 1.0 (* z z)) (* (* z z) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* z (* z (sqrt (+ z 1.0)))) (* z z) (* z z) (* z (+ z 1.0)) (+ (pow z 5) (* (* z z) (pow 1.0 3))) (* (* z z) (- (* z z) (* 1.0 1.0))) (* 1.0 (+ (* (/ x z) (- (/ y z) y)) (* x y))) (+ (/ (* x y) (pow z 3)) (* 1.0 (- (/ (* x y) (pow z 5)) (/ (* x y) (pow z 4))))) (+ (/ (* x y) (pow z 3)) (* 1.0 (- (/ (* x y) (pow z 5)) (/ (* x y) (pow z 4))))) (* (+ z 1.0) (* z z)) (* (+ z 1.0) (* z z)) (* (+ z 1.0) (* z z)) 0.563 * * * [progress]: adding candidates to table 0.651 * * [progress]: iteration 2 / 4 0.651 * * * [progress]: picking best candidate 0.673 * * * * [pick]: Picked # 0.673 * * * [progress]: localizing error 0.681 * * * [progress]: generating rewritten candidates 0.681 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.685 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.692 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.704 * * * [progress]: generating series expansions 0.704 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.704 * [approximate]: Taking taylor expansion of (/ x (pow z 2)) in (x z) around 0 0.704 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.704 * [taylor]: Taking taylor expansion of x in z 0.704 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.704 * [taylor]: Taking taylor expansion of z in z 0.704 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.704 * [taylor]: Taking taylor expansion of z in x 0.704 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.704 * [taylor]: Taking taylor expansion of z in x 0.704 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.704 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.704 * [taylor]: Taking taylor expansion of z in z 0.705 * [taylor]: Taking taylor expansion of 0 in z 0.705 * [taylor]: Taking taylor expansion of 0 in z 0.705 * [taylor]: Taking taylor expansion of 0 in z 0.706 * [taylor]: Taking taylor expansion of 0 in z 0.706 * [approximate]: Taking taylor expansion of (/ (pow z 2) x) in (x z) around 0 0.706 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.706 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.706 * [taylor]: Taking taylor expansion of z in z 0.706 * [taylor]: Taking taylor expansion of x in z 0.706 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.706 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.706 * [taylor]: Taking taylor expansion of z in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.706 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.706 * [taylor]: Taking taylor expansion of z in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.707 * [taylor]: Taking taylor expansion of z in z 0.707 * [taylor]: Taking taylor expansion of 0 in z 0.707 * [taylor]: Taking taylor expansion of 0 in z 0.707 * [taylor]: Taking taylor expansion of 0 in z 0.707 * [approximate]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in (x z) around 0 0.707 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in z 0.707 * [taylor]: Taking taylor expansion of -1 in z 0.707 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.707 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.707 * [taylor]: Taking taylor expansion of z in z 0.707 * [taylor]: Taking taylor expansion of x in z 0.707 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in x 0.707 * [taylor]: Taking taylor expansion of -1 in x 0.707 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.707 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.708 * [taylor]: Taking taylor expansion of z in x 0.708 * [taylor]: Taking taylor expansion of x in x 0.708 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in x 0.708 * [taylor]: Taking taylor expansion of -1 in x 0.708 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.708 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.708 * [taylor]: Taking taylor expansion of z in x 0.708 * [taylor]: Taking taylor expansion of x in x 0.708 * [taylor]: Taking taylor expansion of (* -1 (pow z 2)) in z 0.708 * [taylor]: Taking taylor expansion of -1 in z 0.708 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.708 * [taylor]: Taking taylor expansion of z in z 0.708 * [taylor]: Taking taylor expansion of 0 in z 0.708 * [taylor]: Taking taylor expansion of 0 in z 0.709 * [taylor]: Taking taylor expansion of 0 in z 0.709 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.709 * [approximate]: Taking taylor expansion of (/ (* x y) (pow z 2)) in (y x z) around 0 0.709 * [taylor]: Taking taylor expansion of (/ (* x y) (pow z 2)) in z 0.709 * [taylor]: Taking taylor expansion of (* x y) in z 0.709 * [taylor]: Taking taylor expansion of x in z 0.709 * [taylor]: Taking taylor expansion of y in z 0.709 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.709 * [taylor]: Taking taylor expansion of z in z 0.709 * [taylor]: Taking taylor expansion of (/ (* x y) (pow z 2)) in x 0.709 * [taylor]: Taking taylor expansion of (* x y) in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of y in x 0.709 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.709 * [taylor]: Taking taylor expansion of z in x 0.709 * [taylor]: Taking taylor expansion of (/ (* x y) (pow z 2)) in y 0.709 * [taylor]: Taking taylor expansion of (* x y) in y 0.709 * [taylor]: Taking taylor expansion of x in y 0.709 * [taylor]: Taking taylor expansion of y in y 0.709 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.709 * [taylor]: Taking taylor expansion of z in y 0.710 * [taylor]: Taking taylor expansion of (/ (* x y) (pow z 2)) in y 0.710 * [taylor]: Taking taylor expansion of (* x y) in y 0.710 * [taylor]: Taking taylor expansion of x in y 0.710 * [taylor]: Taking taylor expansion of y in y 0.710 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.710 * [taylor]: Taking taylor expansion of z in y 0.710 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.710 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.710 * [taylor]: Taking taylor expansion of z in x 0.710 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.710 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.710 * [taylor]: Taking taylor expansion of z in z 0.710 * [taylor]: Taking taylor expansion of 0 in x 0.710 * [taylor]: Taking taylor expansion of 0 in z 0.710 * [taylor]: Taking taylor expansion of 0 in z 0.711 * [taylor]: Taking taylor expansion of 0 in x 0.711 * [taylor]: Taking taylor expansion of 0 in z 0.711 * [taylor]: Taking taylor expansion of 0 in z 0.711 * [taylor]: Taking taylor expansion of 0 in z 0.712 * [taylor]: Taking taylor expansion of 0 in x 0.712 * [taylor]: Taking taylor expansion of 0 in z 0.712 * [taylor]: Taking taylor expansion of 0 in z 0.712 * [taylor]: Taking taylor expansion of 0 in z 0.712 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [taylor]: Taking taylor expansion of 0 in x 0.713 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x y)) in (y x z) around 0 0.713 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in z 0.713 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.713 * [taylor]: Taking taylor expansion of z in z 0.713 * [taylor]: Taking taylor expansion of (* x y) in z 0.713 * [taylor]: Taking taylor expansion of x in z 0.713 * [taylor]: Taking taylor expansion of y in z 0.713 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in x 0.713 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.713 * [taylor]: Taking taylor expansion of z in x 0.714 * [taylor]: Taking taylor expansion of (* x y) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of y in x 0.714 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in y 0.714 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.714 * [taylor]: Taking taylor expansion of z in y 0.714 * [taylor]: Taking taylor expansion of (* x y) in y 0.714 * [taylor]: Taking taylor expansion of x in y 0.714 * [taylor]: Taking taylor expansion of y in y 0.714 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in y 0.714 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.714 * [taylor]: Taking taylor expansion of z in y 0.714 * [taylor]: Taking taylor expansion of (* x y) in y 0.714 * [taylor]: Taking taylor expansion of x in y 0.714 * [taylor]: Taking taylor expansion of y in y 0.714 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.714 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.714 * [taylor]: Taking taylor expansion of z in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.714 * [taylor]: Taking taylor expansion of z in z 0.714 * [taylor]: Taking taylor expansion of 0 in x 0.715 * [taylor]: Taking taylor expansion of 0 in z 0.715 * [taylor]: Taking taylor expansion of 0 in x 0.715 * [taylor]: Taking taylor expansion of 0 in z 0.715 * [taylor]: Taking taylor expansion of 0 in z 0.715 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x y)) in (y x z) around 0 0.715 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in z 0.715 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.715 * [taylor]: Taking taylor expansion of z in z 0.715 * [taylor]: Taking taylor expansion of (* x y) in z 0.715 * [taylor]: Taking taylor expansion of x in z 0.715 * [taylor]: Taking taylor expansion of y in z 0.716 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in x 0.716 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.716 * [taylor]: Taking taylor expansion of z in x 0.716 * [taylor]: Taking taylor expansion of (* x y) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of y in x 0.716 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in y 0.716 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.716 * [taylor]: Taking taylor expansion of z in y 0.716 * [taylor]: Taking taylor expansion of (* x y) in y 0.716 * [taylor]: Taking taylor expansion of x in y 0.716 * [taylor]: Taking taylor expansion of y in y 0.716 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x y)) in y 0.716 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.716 * [taylor]: Taking taylor expansion of z in y 0.716 * [taylor]: Taking taylor expansion of (* x y) in y 0.716 * [taylor]: Taking taylor expansion of x in y 0.716 * [taylor]: Taking taylor expansion of y in y 0.716 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.716 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.716 * [taylor]: Taking taylor expansion of z in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.716 * [taylor]: Taking taylor expansion of z in z 0.717 * [taylor]: Taking taylor expansion of 0 in x 0.717 * [taylor]: Taking taylor expansion of 0 in z 0.717 * [taylor]: Taking taylor expansion of 0 in x 0.717 * [taylor]: Taking taylor expansion of 0 in z 0.717 * [taylor]: Taking taylor expansion of 0 in z 0.717 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.717 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (y x z) around 0 0.717 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 0.717 * [taylor]: Taking taylor expansion of (* x y) in z 0.718 * [taylor]: Taking taylor expansion of x in z 0.718 * [taylor]: Taking taylor expansion of y in z 0.718 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.718 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.718 * [taylor]: Taking taylor expansion of z in z 0.718 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.718 * [taylor]: Taking taylor expansion of z in z 0.718 * [taylor]: Taking taylor expansion of 1.0 in z 0.718 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.718 * [taylor]: Taking taylor expansion of (* x y) in x 0.718 * [taylor]: Taking taylor expansion of x in x 0.718 * [taylor]: Taking taylor expansion of y in x 0.718 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.718 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.718 * [taylor]: Taking taylor expansion of z in x 0.718 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.718 * [taylor]: Taking taylor expansion of z in x 0.718 * [taylor]: Taking taylor expansion of 1.0 in x 0.718 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 0.718 * [taylor]: Taking taylor expansion of (* x y) in y 0.718 * [taylor]: Taking taylor expansion of x in y 0.718 * [taylor]: Taking taylor expansion of y in y 0.718 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.718 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.718 * [taylor]: Taking taylor expansion of z in y 0.718 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.718 * [taylor]: Taking taylor expansion of z in y 0.718 * [taylor]: Taking taylor expansion of 1.0 in y 0.718 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 0.718 * [taylor]: Taking taylor expansion of (* x y) in y 0.719 * [taylor]: Taking taylor expansion of x in y 0.719 * [taylor]: Taking taylor expansion of y in y 0.719 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.719 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.719 * [taylor]: Taking taylor expansion of z in y 0.719 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.719 * [taylor]: Taking taylor expansion of z in y 0.719 * [taylor]: Taking taylor expansion of 1.0 in y 0.719 * [taylor]: Taking taylor expansion of (/ x (* (pow z 2) (+ z 1.0))) in x 0.719 * [taylor]: Taking taylor expansion of x in x 0.719 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.719 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.719 * [taylor]: Taking taylor expansion of z in x 0.719 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.719 * [taylor]: Taking taylor expansion of z in x 0.719 * [taylor]: Taking taylor expansion of 1.0 in x 0.719 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ z 1.0))) in z 0.719 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.719 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.719 * [taylor]: Taking taylor expansion of z in z 0.719 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.719 * [taylor]: Taking taylor expansion of z in z 0.719 * [taylor]: Taking taylor expansion of 1.0 in z 0.720 * [taylor]: Taking taylor expansion of 0 in x 0.720 * [taylor]: Taking taylor expansion of 0 in z 0.720 * [taylor]: Taking taylor expansion of 0 in z 0.721 * [taylor]: Taking taylor expansion of 0 in x 0.721 * [taylor]: Taking taylor expansion of 0 in z 0.721 * [taylor]: Taking taylor expansion of 0 in z 0.721 * [taylor]: Taking taylor expansion of 0 in z 0.722 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (y x z) around 0 0.722 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 0.722 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.722 * [taylor]: Taking taylor expansion of z in z 0.722 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.722 * [taylor]: Taking taylor expansion of x in z 0.722 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.722 * [taylor]: Taking taylor expansion of z in z 0.722 * [taylor]: Taking taylor expansion of 1.0 in z 0.722 * [taylor]: Taking taylor expansion of y in z 0.722 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.722 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.722 * [taylor]: Taking taylor expansion of z in x 0.722 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.722 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.722 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.722 * [taylor]: Taking taylor expansion of z in x 0.722 * [taylor]: Taking taylor expansion of 1.0 in x 0.722 * [taylor]: Taking taylor expansion of y in x 0.723 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 0.723 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.723 * [taylor]: Taking taylor expansion of z in y 0.723 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.723 * [taylor]: Taking taylor expansion of x in y 0.723 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.723 * [taylor]: Taking taylor expansion of z in y 0.723 * [taylor]: Taking taylor expansion of 1.0 in y 0.723 * [taylor]: Taking taylor expansion of y in y 0.723 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 0.723 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.723 * [taylor]: Taking taylor expansion of z in y 0.723 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.723 * [taylor]: Taking taylor expansion of x in y 0.723 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.723 * [taylor]: Taking taylor expansion of z in y 0.723 * [taylor]: Taking taylor expansion of 1.0 in y 0.723 * [taylor]: Taking taylor expansion of y in y 0.724 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (* 1.0 x) (/ x z))) in x 0.724 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.724 * [taylor]: Taking taylor expansion of z in x 0.724 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (/ x z)) in x 0.724 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.724 * [taylor]: Taking taylor expansion of 1.0 in x 0.724 * [taylor]: Taking taylor expansion of x in x 0.724 * [taylor]: Taking taylor expansion of (/ x z) in x 0.724 * [taylor]: Taking taylor expansion of x in x 0.724 * [taylor]: Taking taylor expansion of z in x 0.724 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ 1 z) 1.0)) in z 0.724 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.724 * [taylor]: Taking taylor expansion of z in z 0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.724 * [taylor]: Taking taylor expansion of z in z 0.724 * [taylor]: Taking taylor expansion of 1.0 in z 0.725 * [taylor]: Taking taylor expansion of 0 in x 0.725 * [taylor]: Taking taylor expansion of 0 in z 0.726 * [taylor]: Taking taylor expansion of 0 in x 0.726 * [taylor]: Taking taylor expansion of 0 in z 0.726 * [taylor]: Taking taylor expansion of 0 in z 0.727 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (y x z) around 0 0.727 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 0.727 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.727 * [taylor]: Taking taylor expansion of z in z 0.727 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.727 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.727 * [taylor]: Taking taylor expansion of 1.0 in z 0.727 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.727 * [taylor]: Taking taylor expansion of z in z 0.727 * [taylor]: Taking taylor expansion of (* x y) in z 0.727 * [taylor]: Taking taylor expansion of x in z 0.727 * [taylor]: Taking taylor expansion of y in z 0.727 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.727 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.727 * [taylor]: Taking taylor expansion of z in x 0.727 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.728 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.728 * [taylor]: Taking taylor expansion of 1.0 in x 0.728 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.728 * [taylor]: Taking taylor expansion of z in x 0.728 * [taylor]: Taking taylor expansion of (* x y) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of y in x 0.728 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 0.728 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.728 * [taylor]: Taking taylor expansion of z in y 0.728 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.728 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.728 * [taylor]: Taking taylor expansion of 1.0 in y 0.728 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.728 * [taylor]: Taking taylor expansion of z in y 0.728 * [taylor]: Taking taylor expansion of (* x y) in y 0.728 * [taylor]: Taking taylor expansion of x in y 0.728 * [taylor]: Taking taylor expansion of y in y 0.729 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 0.729 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.729 * [taylor]: Taking taylor expansion of z in y 0.729 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.729 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.729 * [taylor]: Taking taylor expansion of 1.0 in y 0.729 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.729 * [taylor]: Taking taylor expansion of z in y 0.729 * [taylor]: Taking taylor expansion of (* x y) in y 0.729 * [taylor]: Taking taylor expansion of x in y 0.729 * [taylor]: Taking taylor expansion of y in y 0.729 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 x) (/ x z))) in x 0.729 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.729 * [taylor]: Taking taylor expansion of z in x 0.729 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (/ x z)) in x 0.729 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.729 * [taylor]: Taking taylor expansion of 1.0 in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (/ x z) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of z in x 0.729 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- 1.0 (/ 1 z))) in z 0.730 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.730 * [taylor]: Taking taylor expansion of z in z 0.730 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.730 * [taylor]: Taking taylor expansion of 1.0 in z 0.730 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.730 * [taylor]: Taking taylor expansion of z in z 0.730 * [taylor]: Taking taylor expansion of 0 in x 0.730 * [taylor]: Taking taylor expansion of 0 in z 0.731 * [taylor]: Taking taylor expansion of 0 in x 0.731 * [taylor]: Taking taylor expansion of 0 in z 0.731 * [taylor]: Taking taylor expansion of 0 in z 0.732 * * * [progress]: simplifying candidates 0.733 * [simplify]: Simplifying using # : (- (log x) (+ (log z) (log z))) (- (log x) (log (* z z))) (log (/ x (* z z))) (exp (/ x (* z z))) (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z))) (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (/ x (* z z))) (cbrt (/ x (* z z)))) (cbrt (/ x (* z z))) (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z))) (sqrt (/ x (* z z))) (sqrt (/ x (* z z))) (neg x) (neg (* z z)) (/ (* (cbrt x) (cbrt x)) z) (/ (cbrt x) z) (/ (sqrt x) z) (/ (sqrt x) z) (/ 1 z) (/ x z) (/ 1 (* z z)) (/ (* z z) x) (/ x z) (/ (* z z) (cbrt x)) (/ (* z z) (sqrt x)) (/ (* z z) x) (* y (/ x (* z z))) (+ (log y) (- (log x) (+ (log z) (log z)))) (+ (log y) (- (log x) (log (* z z)))) (+ (log y) (log (/ x (* z z)))) (log (* y (/ x (* z z)))) (exp (* y (/ x (* z z)))) (* (* (* y y) y) (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z)))) (* (* (* y y) y) (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z)))) (* (* (* y y) y) (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z)))) (* (cbrt (* y (/ x (* z z)))) (cbrt (* y (/ x (* z z))))) (cbrt (* y (/ x (* z z)))) (* (* (* y (/ x (* z z))) (* y (/ x (* z z)))) (* y (/ x (* z z)))) (sqrt (* y (/ x (* z z)))) (sqrt (* y (/ x (* z z)))) (* (sqrt y) (sqrt (/ x (* z z)))) (* (sqrt y) (sqrt (/ x (* z z)))) (* (sqrt y) (/ (sqrt x) z)) (* (sqrt y) (/ (sqrt x) z)) (* y (* (cbrt (/ x (* z z))) (cbrt (/ x (* z z))))) (* y (sqrt (/ x (* z z)))) (* y (/ (* (cbrt x) (cbrt x)) z)) (* y (/ (sqrt x) z)) (* y (/ 1 z)) (* y 1) (* y x) (* (cbrt y) (/ x (* z z))) (* (sqrt y) (/ x (* z z))) (* y (/ x (* z z))) (* y x) (- (+ (log y) (- (log x) (+ (log z) (log z)))) (log (+ z 1.0))) (- (+ (log y) (- (log x) (log (* z z)))) (log (+ z 1.0))) (- (+ (log y) (log (/ x (* z z)))) (log (+ z 1.0))) (- (log (* y (/ x (* z z)))) (log (+ z 1.0))) (log (/ (* y (/ x (* z z))) (+ z 1.0))) (exp (/ (* y (/ x (* z z))) (+ z 1.0))) (/ (* (* (* y y) y) (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z)))) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (/ (* (* (* y y) y) (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z)))) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (/ (* (* (* y y) y) (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z)))) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (/ (* (* (* y (/ x (* z z))) (* y (/ x (* z z)))) (* y (/ x (* z z)))) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (cbrt (/ (* y (/ x (* z z))) (+ z 1.0))) (cbrt (/ (* y (/ x (* z z))) (+ z 1.0)))) (cbrt (/ (* y (/ x (* z z))) (+ z 1.0))) (* (* (/ (* y (/ x (* z z))) (+ z 1.0)) (/ (* y (/ x (* z z))) (+ z 1.0))) (/ (* y (/ x (* z z))) (+ z 1.0))) (sqrt (/ (* y (/ x (* z z))) (+ z 1.0))) (sqrt (/ (* y (/ x (* z z))) (+ z 1.0))) (neg (* y (/ x (* z z)))) (neg (+ z 1.0)) (/ y (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (/ x (* z z)) (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ (/ x (* z z)) (sqrt (+ z 1.0))) (/ y 1) (/ (/ x (* z z)) (+ z 1.0)) (/ y 1) (/ (/ x (* z z)) (+ z 1.0)) (/ 1 (+ z 1.0)) (/ (+ z 1.0) (* y (/ x (* z z)))) (/ (* y (/ x (* z z))) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (* y (/ x (* z z))) (sqrt (+ z 1.0))) (/ (* y (/ x (* z z))) 1) (/ (* y (/ x (* z z))) 1) (/ (+ z 1.0) (/ x (* z z))) (/ (* y (/ x (* z z))) (+ (pow z 3) (pow 1.0 3))) (/ (* y (/ x (* z z))) (- (* z z) (* 1.0 1.0))) (* (+ z 1.0) (* z z)) (/ x (pow z 2)) (/ x (pow z 2)) (/ x (pow z 2)) (/ (* x y) (pow z 2)) (/ (* x y) (pow z 2)) (/ (* x y) (pow z 2)) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) 0.792 * * [simplify]: iteration 0 : 4948 enodes (cost 837 ) 0.793 * * [simplify]: iteration 1 : 4948 enodes (cost 837 ) 0.796 * [simplify]: Simplified to: (log (/ x (* z z))) (log (/ x (* z z))) (log (/ x (* z z))) (exp (/ x (* z z))) (/ (pow x 3) (pow z 6)) (/ (pow x 3) (pow z 6)) (* (cbrt (/ x (* z z))) (cbrt (/ x (* z z)))) (cbrt (/ x (* z z))) (/ (pow x 3) (pow z 6)) (sqrt (/ x (* z z))) (sqrt (/ x (* z z))) (neg x) (neg (* z z)) (/ (* (cbrt x) (cbrt x)) z) (/ (cbrt x) z) (/ (sqrt x) z) (/ (sqrt x) z) (/ 1 z) (/ x z) (/ 1 (* z z)) (/ z (/ x z)) (/ x z) (/ z (/ (cbrt x) z)) (/ z (/ (sqrt x) z)) (/ z (/ x z)) (* (/ x (* z z)) y) (log (* (/ x (* z z)) y)) (log (* (/ x (* z z)) y)) (log (* (/ x (* z z)) y)) (log (* (/ x (* z z)) y)) (pow (exp (/ x (* z z))) y) (/ (pow (* x y) 3) (pow z 6)) (/ (pow (* x y) 3) (pow z 6)) (/ (pow (* x y) 3) (pow z 6)) (* (cbrt (* (/ x (* z z)) y)) (cbrt (* (/ x (* z z)) y))) (cbrt (* (/ x (* z z)) y)) (/ (pow (* x y) 3) (pow z 6)) (sqrt (* (/ x (* z z)) y)) (sqrt (* (/ x (* z z)) y)) (* (sqrt (/ x (* z z))) (sqrt y)) (* (sqrt (/ x (* z z))) (sqrt y)) (* (/ (sqrt x) z) (sqrt y)) (* (/ (sqrt x) z) (sqrt y)) (* (* (cbrt (/ x (* z z))) (cbrt (/ x (* z z)))) y) (* (sqrt (/ x (* z z))) y) (* (/ (* (cbrt x) (cbrt x)) z) y) (* (/ (sqrt x) z) y) (/ y z) y (* x y) (* (/ x (* z z)) (cbrt y)) (* (/ x (* z z)) (sqrt y)) (* (/ x (* z z)) y) (* x y) (log (/ (* (/ x (* z z)) y) (+ z 1.0))) (log (/ (* (/ x (* z z)) y) (+ z 1.0))) (log (/ (* (/ x (* z z)) y) (+ z 1.0))) (log (/ (* (/ x (* z z)) y) (+ z 1.0))) (log (/ (* (/ x (* z z)) y) (+ z 1.0))) (exp (/ (* (/ x (* z z)) y) (+ z 1.0))) (/ (pow (/ y (/ (+ z 1.0) x)) 3) (pow z 6)) (/ (pow (/ y (/ (+ z 1.0) x)) 3) (pow z 6)) (/ (pow (/ y (/ (+ z 1.0) x)) 3) (pow z 6)) (/ (pow (/ y (/ (+ z 1.0) x)) 3) (pow z 6)) (* (cbrt (/ (* (/ x (* z z)) y) (+ z 1.0))) (cbrt (/ (* (/ x (* z z)) y) (+ z 1.0)))) (cbrt (/ (* (/ x (* z z)) y) (+ z 1.0))) (/ (pow (/ y (/ (+ z 1.0) x)) 3) (pow z 6)) (sqrt (/ (* (/ x (* z z)) y) (+ z 1.0))) (sqrt (/ (* (/ x (* z z)) y) (+ z 1.0))) (neg (* (/ x (* z z)) y)) (neg (+ z 1.0)) (/ y (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (/ x (* z z)) (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ (/ x (* z z)) (sqrt (+ z 1.0))) y (/ (/ x (* z z)) (+ z 1.0)) y (/ (/ x (* z z)) (+ z 1.0)) (/ 1 (+ z 1.0)) (/ (+ z 1.0) (* (/ x (* z z)) y)) (* (/ x (* z z)) (/ y (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ y (sqrt (+ z 1.0)))) (* (/ x (* z z)) y) (* (/ x (* z z)) y) (/ (+ z 1.0) (/ x (* z z))) (/ (* (/ x (* z z)) y) (+ (pow z 3) (pow 1.0 3))) (/ (* (/ x (* z z)) y) (- (* z z) (* 1.0 1.0))) (* (* z z) (+ z 1.0)) (/ x (* z z)) (/ x (* z z)) (/ x (* z z)) (* (/ x (* z z)) y) (* (/ x (* z z)) y) (* (/ x (* z z)) y) (* 1.0 (+ (* (/ x z) (- (/ y z) y)) (* x y))) (+ (/ (* x y) (pow z 3)) (* 1.0 (- (/ (* x y) (pow z 5)) (/ (* x y) (pow z 4))))) (+ (/ (* x y) (pow z 3)) (* 1.0 (- (/ (* x y) (pow z 5)) (/ (* x y) (pow z 4))))) 0.797 * * * [progress]: adding candidates to table 0.913 * * [progress]: iteration 3 / 4 0.913 * * * [progress]: picking best candidate 0.935 * * * * [pick]: Picked # 0.935 * * * [progress]: localizing error 0.947 * * * [progress]: generating rewritten candidates 0.947 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.955 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 0.956 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2) 0.957 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 0.959 * * * [progress]: generating series expansions 0.960 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.960 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in (x z y) around 0 0.960 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in y 0.960 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in y 0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in y 0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in y 0.960 * [taylor]: Taking taylor expansion of 1/3 in y 0.960 * [taylor]: Taking taylor expansion of (log (pow x 2)) in y 0.960 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.960 * [taylor]: Taking taylor expansion of x in y 0.960 * [taylor]: Taking taylor expansion of (/ y z) in y 0.960 * [taylor]: Taking taylor expansion of y in y 0.960 * [taylor]: Taking taylor expansion of z in y 0.960 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in z 0.960 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in z 0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in z 0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in z 0.960 * [taylor]: Taking taylor expansion of 1/3 in z 0.960 * [taylor]: Taking taylor expansion of (log (pow x 2)) in z 0.960 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.960 * [taylor]: Taking taylor expansion of x in z 0.960 * [taylor]: Taking taylor expansion of (/ y z) in z 0.961 * [taylor]: Taking taylor expansion of y in z 0.961 * [taylor]: Taking taylor expansion of z in z 0.961 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in x 0.961 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.961 * [taylor]: Taking taylor expansion of 1/3 in x 0.961 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.961 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.961 * [taylor]: Taking taylor expansion of x in x 0.961 * [taylor]: Taking taylor expansion of (/ y z) in x 0.961 * [taylor]: Taking taylor expansion of y in x 0.961 * [taylor]: Taking taylor expansion of z in x 0.961 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in x 0.961 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.961 * [taylor]: Taking taylor expansion of 1/3 in x 0.961 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.961 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.961 * [taylor]: Taking taylor expansion of x in x 0.961 * [taylor]: Taking taylor expansion of (/ y z) in x 0.961 * [taylor]: Taking taylor expansion of y in x 0.961 * [taylor]: Taking taylor expansion of z in x 0.961 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) y) z) in z 0.961 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) y) in z 0.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log x))))) in z 0.962 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log x)))) in z 0.962 * [taylor]: Taking taylor expansion of 1/3 in z 0.962 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log x))) in z 0.962 * [taylor]: Taking taylor expansion of (log 1) in z 0.962 * [taylor]: Taking taylor expansion of 1 in z 0.962 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 0.962 * [taylor]: Taking taylor expansion of 2 in z 0.962 * [taylor]: Taking taylor expansion of (log x) in z 0.962 * [taylor]: Taking taylor expansion of x in z 0.962 * [taylor]: Taking taylor expansion of y in z 0.962 * [taylor]: Taking taylor expansion of z in z 0.962 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) y) in y 0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log x))))) in y 0.962 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log x)))) in y 0.962 * [taylor]: Taking taylor expansion of 1/3 in y 0.962 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log x))) in y 0.962 * [taylor]: Taking taylor expansion of (log 1) in y 0.962 * [taylor]: Taking taylor expansion of 1 in y 0.962 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 0.962 * [taylor]: Taking taylor expansion of 2 in y 0.962 * [taylor]: Taking taylor expansion of (log x) in y 0.962 * [taylor]: Taking taylor expansion of x in y 0.962 * [taylor]: Taking taylor expansion of y in y 0.963 * [taylor]: Taking taylor expansion of 0 in z 0.964 * [taylor]: Taking taylor expansion of 0 in y 0.965 * [taylor]: Taking taylor expansion of 0 in z 0.965 * [taylor]: Taking taylor expansion of 0 in y 0.966 * [taylor]: Taking taylor expansion of 0 in y 0.968 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in (x z y) around 0 0.968 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in y 0.968 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 0.968 * [taylor]: Taking taylor expansion of 1/3 in y 0.968 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 0.968 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.968 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.968 * [taylor]: Taking taylor expansion of x in y 0.968 * [taylor]: Taking taylor expansion of (/ z y) in y 0.968 * [taylor]: Taking taylor expansion of z in y 0.968 * [taylor]: Taking taylor expansion of y in y 0.968 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in z 0.968 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 0.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 0.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 0.968 * [taylor]: Taking taylor expansion of 1/3 in z 0.968 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 0.968 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.968 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.968 * [taylor]: Taking taylor expansion of x in z 0.968 * [taylor]: Taking taylor expansion of (/ z y) in z 0.968 * [taylor]: Taking taylor expansion of z in z 0.969 * [taylor]: Taking taylor expansion of y in z 0.969 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in x 0.969 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.969 * [taylor]: Taking taylor expansion of 1/3 in x 0.969 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.969 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.969 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.969 * [taylor]: Taking taylor expansion of x in x 0.969 * [taylor]: Taking taylor expansion of (/ z y) in x 0.969 * [taylor]: Taking taylor expansion of z in x 0.969 * [taylor]: Taking taylor expansion of y in x 0.969 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in x 0.969 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.969 * [taylor]: Taking taylor expansion of 1/3 in x 0.969 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.969 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.969 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.969 * [taylor]: Taking taylor expansion of x in x 0.969 * [taylor]: Taking taylor expansion of (/ z y) in x 0.969 * [taylor]: Taking taylor expansion of z in x 0.969 * [taylor]: Taking taylor expansion of y in x 0.969 * [taylor]: Taking taylor expansion of (/ (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))) y) in z 0.969 * [taylor]: Taking taylor expansion of (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))) in z 0.969 * [taylor]: Taking taylor expansion of z in z 0.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z 0.970 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z 0.970 * [taylor]: Taking taylor expansion of 1/3 in z 0.970 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z 0.970 * [taylor]: Taking taylor expansion of (log 1) in z 0.970 * [taylor]: Taking taylor expansion of 1 in z 0.970 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 0.970 * [taylor]: Taking taylor expansion of 2 in z 0.970 * [taylor]: Taking taylor expansion of (log x) in z 0.970 * [taylor]: Taking taylor expansion of x in z 0.970 * [taylor]: Taking taylor expansion of y in z 0.970 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log x))))) y) in y 0.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in y 0.971 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in y 0.971 * [taylor]: Taking taylor expansion of 1/3 in y 0.971 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in y 0.971 * [taylor]: Taking taylor expansion of (log 1) in y 0.971 * [taylor]: Taking taylor expansion of 1 in y 0.971 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 0.971 * [taylor]: Taking taylor expansion of 2 in y 0.971 * [taylor]: Taking taylor expansion of (log x) in y 0.971 * [taylor]: Taking taylor expansion of x in y 0.971 * [taylor]: Taking taylor expansion of y in y 0.972 * [taylor]: Taking taylor expansion of 0 in z 0.972 * [taylor]: Taking taylor expansion of 0 in y 0.972 * [taylor]: Taking taylor expansion of 0 in y 0.974 * [taylor]: Taking taylor expansion of 0 in z 0.974 * [taylor]: Taking taylor expansion of 0 in y 0.974 * [taylor]: Taking taylor expansion of 0 in y 0.975 * [taylor]: Taking taylor expansion of 0 in y 0.976 * [taylor]: Taking taylor expansion of 0 in z 0.976 * [taylor]: Taking taylor expansion of 0 in y 0.977 * [taylor]: Taking taylor expansion of 0 in y 0.977 * [taylor]: Taking taylor expansion of 0 in y 0.978 * [taylor]: Taking taylor expansion of 0 in y 0.979 * [approximate]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in (x z y) around 0 0.979 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in y 0.979 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in y 0.979 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in y 0.979 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 0.979 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.979 * [taylor]: Taking taylor expansion of -1 in y 0.979 * [taylor]: Taking taylor expansion of z in y 0.979 * [taylor]: Taking taylor expansion of y in y 0.979 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 0.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 0.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 0.979 * [taylor]: Taking taylor expansion of 1/3 in y 0.979 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 0.979 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.979 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.979 * [taylor]: Taking taylor expansion of x in y 0.980 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in z 0.980 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in z 0.980 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in z 0.980 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.980 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.980 * [taylor]: Taking taylor expansion of -1 in z 0.980 * [taylor]: Taking taylor expansion of z in z 0.980 * [taylor]: Taking taylor expansion of y in z 0.981 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 0.981 * [taylor]: Taking taylor expansion of 1/3 in z 0.981 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 0.981 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.981 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.981 * [taylor]: Taking taylor expansion of x in z 0.981 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in x 0.981 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in x 0.981 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in x 0.981 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.981 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.981 * [taylor]: Taking taylor expansion of -1 in x 0.981 * [taylor]: Taking taylor expansion of z in x 0.981 * [taylor]: Taking taylor expansion of y in x 0.981 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.982 * [taylor]: Taking taylor expansion of 1/3 in x 0.982 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.982 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.982 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.982 * [taylor]: Taking taylor expansion of x in x 0.982 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in x 0.982 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in x 0.982 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in x 0.982 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.982 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.982 * [taylor]: Taking taylor expansion of -1 in x 0.982 * [taylor]: Taking taylor expansion of z in x 0.982 * [taylor]: Taking taylor expansion of y in x 0.982 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.982 * [taylor]: Taking taylor expansion of 1/3 in x 0.982 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.982 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.982 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.982 * [taylor]: Taking taylor expansion of x in x 0.983 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (* 2 (log x))))) (* (pow (cbrt -1) 2) z)) y) in z 0.983 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (* 2 (log x))))) (* (pow (cbrt -1) 2) z)) in z 0.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z 0.983 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z 0.983 * [taylor]: Taking taylor expansion of 1/3 in z 0.983 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z 0.983 * [taylor]: Taking taylor expansion of (log 1) in z 0.983 * [taylor]: Taking taylor expansion of 1 in z 0.983 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 0.983 * [taylor]: Taking taylor expansion of 2 in z 0.983 * [taylor]: Taking taylor expansion of (log x) in z 0.983 * [taylor]: Taking taylor expansion of x in z 0.983 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in z 0.983 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.983 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.983 * [taylor]: Taking taylor expansion of -1 in z 0.984 * [taylor]: Taking taylor expansion of z in z 0.984 * [taylor]: Taking taylor expansion of y in z 0.985 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log x)))))) y) in y 0.985 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log x)))))) in y 0.985 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 0.985 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.985 * [taylor]: Taking taylor expansion of -1 in y 0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in y 0.985 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in y 0.985 * [taylor]: Taking taylor expansion of 1/3 in y 0.985 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in y 0.985 * [taylor]: Taking taylor expansion of (log 1) in y 0.985 * [taylor]: Taking taylor expansion of 1 in y 0.985 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 0.985 * [taylor]: Taking taylor expansion of 2 in y 0.985 * [taylor]: Taking taylor expansion of (log x) in y 0.985 * [taylor]: Taking taylor expansion of x in y 0.985 * [taylor]: Taking taylor expansion of y in y 0.987 * [taylor]: Taking taylor expansion of 0 in z 0.987 * [taylor]: Taking taylor expansion of 0 in y 0.989 * [taylor]: Taking taylor expansion of 0 in y 0.993 * [taylor]: Taking taylor expansion of 0 in z 0.993 * [taylor]: Taking taylor expansion of 0 in y 0.993 * [taylor]: Taking taylor expansion of 0 in y 0.995 * [taylor]: Taking taylor expansion of 0 in y 0.998 * [taylor]: Taking taylor expansion of 0 in z 0.998 * [taylor]: Taking taylor expansion of 0 in y 0.998 * [taylor]: Taking taylor expansion of 0 in y 0.998 * [taylor]: Taking taylor expansion of 0 in y 1.000 * [taylor]: Taking taylor expansion of 0 in y 1.001 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.001 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.001 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.001 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.001 * [taylor]: Taking taylor expansion of 1/3 in x 1.001 * [taylor]: Taking taylor expansion of (log x) in x 1.001 * [taylor]: Taking taylor expansion of x in x 1.001 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.001 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.001 * [taylor]: Taking taylor expansion of 1/3 in x 1.001 * [taylor]: Taking taylor expansion of (log x) in x 1.001 * [taylor]: Taking taylor expansion of x in x 1.007 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.007 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.007 * [taylor]: Taking taylor expansion of 1/3 in x 1.007 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.007 * [taylor]: Taking taylor expansion of x in x 1.007 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.008 * [taylor]: Taking taylor expansion of 1/3 in x 1.008 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.008 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.008 * [taylor]: Taking taylor expansion of x in x 1.014 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.014 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.014 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.014 * [taylor]: Taking taylor expansion of -1 in x 1.014 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.014 * [taylor]: Taking taylor expansion of 1/3 in x 1.014 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.014 * [taylor]: Taking taylor expansion of x in x 1.014 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.014 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.014 * [taylor]: Taking taylor expansion of -1 in x 1.014 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.015 * [taylor]: Taking taylor expansion of 1/3 in x 1.015 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.015 * [taylor]: Taking taylor expansion of x in x 1.022 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2) 1.023 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.023 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.023 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.023 * [taylor]: Taking taylor expansion of 1/3 in x 1.023 * [taylor]: Taking taylor expansion of (log x) in x 1.023 * [taylor]: Taking taylor expansion of x in x 1.023 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.023 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.023 * [taylor]: Taking taylor expansion of 1/3 in x 1.023 * [taylor]: Taking taylor expansion of (log x) in x 1.023 * [taylor]: Taking taylor expansion of x in x 1.029 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.029 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.029 * [taylor]: Taking taylor expansion of 1/3 in x 1.029 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.029 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.029 * [taylor]: Taking taylor expansion of 1/3 in x 1.029 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.036 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.036 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.036 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.036 * [taylor]: Taking taylor expansion of -1 in x 1.036 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.036 * [taylor]: Taking taylor expansion of 1/3 in x 1.036 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.036 * [taylor]: Taking taylor expansion of x in x 1.036 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.036 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.036 * [taylor]: Taking taylor expansion of -1 in x 1.036 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.036 * [taylor]: Taking taylor expansion of 1/3 in x 1.036 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.045 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 1.045 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.045 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.045 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.045 * [taylor]: Taking taylor expansion of 1/3 in x 1.045 * [taylor]: Taking taylor expansion of (log x) in x 1.045 * [taylor]: Taking taylor expansion of x in x 1.046 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.046 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.046 * [taylor]: Taking taylor expansion of 1/3 in x 1.046 * [taylor]: Taking taylor expansion of (log x) in x 1.046 * [taylor]: Taking taylor expansion of x in x 1.052 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.052 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.052 * [taylor]: Taking taylor expansion of 1/3 in x 1.052 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.052 * [taylor]: Taking taylor expansion of 1/3 in x 1.052 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.059 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.059 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.059 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.059 * [taylor]: Taking taylor expansion of -1 in x 1.059 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.059 * [taylor]: Taking taylor expansion of 1/3 in x 1.059 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.060 * [taylor]: Taking taylor expansion of x in x 1.060 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.060 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.060 * [taylor]: Taking taylor expansion of -1 in x 1.060 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.060 * [taylor]: Taking taylor expansion of 1/3 in x 1.060 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.060 * [taylor]: Taking taylor expansion of x in x 1.068 * * * [progress]: simplifying candidates 1.069 * [simplify]: Simplifying using # : (* (/ (* (cbrt x) (cbrt x)) z) y) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (log y)) (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (log y)) (+ (log (/ (* (cbrt x) (cbrt x)) z)) (log y)) (log (* (/ (* (cbrt x) (cbrt x)) z) y)) (exp (* (/ (* (cbrt x) (cbrt x)) z) y)) (* (/ (* x x) (* (* z z) z)) (* (* y y) y)) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* (* y y) y)) (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* (* y y) y)) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) z) y)) (cbrt (* (/ (* (cbrt x) (cbrt x)) z) y))) (cbrt (* (/ (* (cbrt x) (cbrt x)) z) y)) (* (* (* (/ (* (cbrt x) (cbrt x)) z) y) (* (/ (* (cbrt x) (cbrt x)) z) y)) (* (/ (* (cbrt x) (cbrt x)) z) y)) (sqrt (* (/ (* (cbrt x) (cbrt x)) z) y)) (sqrt (* (/ (* (cbrt x) (cbrt x)) z) y)) (* (sqrt (/ (* (cbrt x) (cbrt x)) z)) (sqrt y)) (* (sqrt (/ (* (cbrt x) (cbrt x)) z)) (sqrt y)) (* (/ (cbrt x) (sqrt z)) (sqrt y)) (* (/ (cbrt x) (sqrt z)) (sqrt y)) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt y) (cbrt y))) (* (/ (* (cbrt x) (cbrt x)) z) (sqrt y)) (* (/ (* (cbrt x) (cbrt x)) z) 1) (* (cbrt (/ (* (cbrt x) (cbrt x)) z)) y) (* (sqrt (/ (* (cbrt x) (cbrt x)) z)) y) (* (/ (cbrt x) (cbrt z)) y) (* (/ (cbrt x) (sqrt z)) y) (* (/ (cbrt x) z) y) (* (/ (* (cbrt x) (cbrt x)) z) y) (* (/ 1 z) y) (* (* (cbrt x) (cbrt x)) y) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (/ (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) y) z) (/ (* (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) y) z) (/ (* (pow (cbrt -1) 2) (* y (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))) z) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.120 * * [simplify]: iteration 0 : 5135 enodes (cost 409 ) 1.122 * [simplify]: Simplified to: (* (/ (pow x 2/3) z) y) (log (* (/ (pow x 2/3) z) y)) (log (* (/ (pow x 2/3) z) y)) (log (* (/ (pow x 2/3) z) y)) (log (* (/ (pow x 2/3) z) y)) (pow (exp y) (/ (pow x 2/3) z)) (* (pow (/ y z) 3) (* x x)) (* (pow (/ y z) 3) (* x x)) (* (pow (/ y z) 3) (* x x)) (* (cbrt (* (/ (pow x 2/3) z) y)) (cbrt (* (/ (pow x 2/3) z) y))) (cbrt (* (/ (pow x 2/3) z) y)) (* (pow (/ y z) 3) (* x x)) (sqrt (* (/ (pow x 2/3) z) y)) (sqrt (* (/ (pow x 2/3) z) y)) (* (sqrt (/ (pow x 2/3) z)) (sqrt y)) (* (sqrt (/ (pow x 2/3) z)) (sqrt y)) (* (sqrt y) (/ (cbrt x) (sqrt z))) (* (sqrt y) (/ (cbrt x) (sqrt z))) (* (/ (pow x 2/3) z) (* (cbrt y) (cbrt y))) (* (/ (pow x 2/3) z) (sqrt y)) (/ (pow x 2/3) z) (* y (cbrt (/ (pow x 2/3) z))) (* y (sqrt (/ (pow x 2/3) z))) (* y (/ (cbrt x) (cbrt z))) (* y (/ (cbrt x) (sqrt z))) (* y (/ (cbrt x) z)) (* (/ (pow x 2/3) z) y) (/ y z) (* (pow x 2/3) y) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* (/ (pow x 2/3) z) y) (* (/ (pow x 2/3) z) y) (* (* (/ (pow x 2/3) z) y) (pow (cbrt -1) 2)) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (* x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (* x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (* x -1))) 1.123 * * * [progress]: adding candidates to table 1.216 * * [progress]: iteration 4 / 4 1.216 * * * [progress]: picking best candidate 1.241 * * * * [pick]: Picked # 1.242 * * * [progress]: localizing error 1.254 * * * [progress]: generating rewritten candidates 1.254 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.266 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.267 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1) 1.268 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.272 * * * [progress]: generating series expansions 1.272 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.272 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in (x y z) around 0 1.272 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in z 1.272 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in z 1.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in z 1.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in z 1.272 * [taylor]: Taking taylor expansion of 1/3 in z 1.272 * [taylor]: Taking taylor expansion of (log (pow x 2)) in z 1.272 * [taylor]: Taking taylor expansion of (pow x 2) in z 1.272 * [taylor]: Taking taylor expansion of x in z 1.273 * [taylor]: Taking taylor expansion of (/ y z) in z 1.273 * [taylor]: Taking taylor expansion of y in z 1.273 * [taylor]: Taking taylor expansion of z in z 1.273 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in y 1.273 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in y 1.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in y 1.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in y 1.273 * [taylor]: Taking taylor expansion of 1/3 in y 1.273 * [taylor]: Taking taylor expansion of (log (pow x 2)) in y 1.273 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.273 * [taylor]: Taking taylor expansion of x in y 1.273 * [taylor]: Taking taylor expansion of (/ y z) in y 1.273 * [taylor]: Taking taylor expansion of y in y 1.273 * [taylor]: Taking taylor expansion of z in y 1.273 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in x 1.273 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 1.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 1.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 1.273 * [taylor]: Taking taylor expansion of 1/3 in x 1.273 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 1.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.273 * [taylor]: Taking taylor expansion of x in x 1.273 * [taylor]: Taking taylor expansion of (/ y z) in x 1.273 * [taylor]: Taking taylor expansion of y in x 1.273 * [taylor]: Taking taylor expansion of z in x 1.273 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (/ y z)) in x 1.273 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 1.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 1.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 1.273 * [taylor]: Taking taylor expansion of 1/3 in x 1.273 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 1.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.273 * [taylor]: Taking taylor expansion of x in x 1.274 * [taylor]: Taking taylor expansion of (/ y z) in x 1.274 * [taylor]: Taking taylor expansion of y in x 1.274 * [taylor]: Taking taylor expansion of z in x 1.274 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) y) z) in y 1.274 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) y) in y 1.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log x))))) in y 1.274 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log x)))) in y 1.274 * [taylor]: Taking taylor expansion of 1/3 in y 1.274 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log x))) in y 1.274 * [taylor]: Taking taylor expansion of (log 1) in y 1.274 * [taylor]: Taking taylor expansion of 1 in y 1.274 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 1.274 * [taylor]: Taking taylor expansion of 2 in y 1.274 * [taylor]: Taking taylor expansion of (log x) in y 1.274 * [taylor]: Taking taylor expansion of x in y 1.274 * [taylor]: Taking taylor expansion of y in y 1.274 * [taylor]: Taking taylor expansion of z in y 1.275 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log 1) (* 2 (log x))))) z) in z 1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log 1) (* 2 (log x))))) in z 1.275 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log 1) (* 2 (log x)))) in z 1.275 * [taylor]: Taking taylor expansion of 1/3 in z 1.275 * [taylor]: Taking taylor expansion of (+ (log 1) (* 2 (log x))) in z 1.275 * [taylor]: Taking taylor expansion of (log 1) in z 1.275 * [taylor]: Taking taylor expansion of 1 in z 1.275 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 1.275 * [taylor]: Taking taylor expansion of 2 in z 1.275 * [taylor]: Taking taylor expansion of (log x) in z 1.275 * [taylor]: Taking taylor expansion of x in z 1.275 * [taylor]: Taking taylor expansion of z in z 1.276 * [taylor]: Taking taylor expansion of 0 in y 1.276 * [taylor]: Taking taylor expansion of 0 in z 1.277 * [taylor]: Taking taylor expansion of 0 in z 1.278 * [taylor]: Taking taylor expansion of 0 in y 1.278 * [taylor]: Taking taylor expansion of 0 in z 1.278 * [taylor]: Taking taylor expansion of 0 in z 1.279 * [taylor]: Taking taylor expansion of 0 in z 1.281 * [taylor]: Taking taylor expansion of 0 in y 1.281 * [taylor]: Taking taylor expansion of 0 in z 1.281 * [taylor]: Taking taylor expansion of 0 in z 1.281 * [taylor]: Taking taylor expansion of 0 in z 1.283 * [taylor]: Taking taylor expansion of 0 in z 1.283 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in (x y z) around 0 1.283 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in z 1.283 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 1.283 * [taylor]: Taking taylor expansion of 1/3 in z 1.283 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 1.283 * [taylor]: Taking taylor expansion of (pow x 2) in z 1.283 * [taylor]: Taking taylor expansion of x in z 1.283 * [taylor]: Taking taylor expansion of (/ z y) in z 1.283 * [taylor]: Taking taylor expansion of z in z 1.283 * [taylor]: Taking taylor expansion of y in z 1.283 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in y 1.283 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 1.283 * [taylor]: Taking taylor expansion of 1/3 in y 1.283 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.283 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.283 * [taylor]: Taking taylor expansion of x in y 1.284 * [taylor]: Taking taylor expansion of (/ z y) in y 1.284 * [taylor]: Taking taylor expansion of z in y 1.284 * [taylor]: Taking taylor expansion of y in y 1.284 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in x 1.284 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.284 * [taylor]: Taking taylor expansion of 1/3 in x 1.284 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.284 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.284 * [taylor]: Taking taylor expansion of x in x 1.284 * [taylor]: Taking taylor expansion of (/ z y) in x 1.284 * [taylor]: Taking taylor expansion of z in x 1.284 * [taylor]: Taking taylor expansion of y in x 1.284 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ z y)) in x 1.284 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.284 * [taylor]: Taking taylor expansion of 1/3 in x 1.284 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.284 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.284 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (/ z y) in x 1.285 * [taylor]: Taking taylor expansion of z in x 1.285 * [taylor]: Taking taylor expansion of y in x 1.285 * [taylor]: Taking taylor expansion of (/ (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))) y) in y 1.285 * [taylor]: Taking taylor expansion of (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))) in y 1.285 * [taylor]: Taking taylor expansion of z in y 1.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in y 1.285 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in y 1.285 * [taylor]: Taking taylor expansion of 1/3 in y 1.285 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in y 1.285 * [taylor]: Taking taylor expansion of (log 1) in y 1.285 * [taylor]: Taking taylor expansion of 1 in y 1.285 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 1.285 * [taylor]: Taking taylor expansion of 2 in y 1.285 * [taylor]: Taking taylor expansion of (log x) in y 1.285 * [taylor]: Taking taylor expansion of x in y 1.285 * [taylor]: Taking taylor expansion of y in y 1.285 * [taylor]: Taking taylor expansion of (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))) in z 1.285 * [taylor]: Taking taylor expansion of z in z 1.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z 1.285 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z 1.285 * [taylor]: Taking taylor expansion of 1/3 in z 1.285 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z 1.285 * [taylor]: Taking taylor expansion of (log 1) in z 1.285 * [taylor]: Taking taylor expansion of 1 in z 1.286 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 1.286 * [taylor]: Taking taylor expansion of 2 in z 1.286 * [taylor]: Taking taylor expansion of (log x) in z 1.286 * [taylor]: Taking taylor expansion of x in z 1.287 * [taylor]: Taking taylor expansion of 0 in y 1.287 * [taylor]: Taking taylor expansion of 0 in z 1.289 * [taylor]: Taking taylor expansion of 0 in y 1.289 * [taylor]: Taking taylor expansion of 0 in z 1.290 * [taylor]: Taking taylor expansion of 0 in z 1.291 * [approximate]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in (x y z) around 0 1.291 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in z 1.291 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in z 1.291 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in z 1.291 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.291 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.291 * [taylor]: Taking taylor expansion of -1 in z 1.292 * [taylor]: Taking taylor expansion of z in z 1.292 * [taylor]: Taking taylor expansion of y in z 1.292 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 1.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 1.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 1.292 * [taylor]: Taking taylor expansion of 1/3 in z 1.292 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 1.292 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 1.292 * [taylor]: Taking taylor expansion of (pow x 2) in z 1.292 * [taylor]: Taking taylor expansion of x in z 1.293 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in y 1.293 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in y 1.293 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in y 1.293 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.293 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.293 * [taylor]: Taking taylor expansion of -1 in y 1.293 * [taylor]: Taking taylor expansion of z in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.293 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y 1.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y 1.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y 1.293 * [taylor]: Taking taylor expansion of 1/3 in y 1.293 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.293 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.293 * [taylor]: Taking taylor expansion of x in y 1.294 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in x 1.294 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in x 1.294 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in x 1.294 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 1.294 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.294 * [taylor]: Taking taylor expansion of -1 in x 1.294 * [taylor]: Taking taylor expansion of z in x 1.294 * [taylor]: Taking taylor expansion of y in x 1.294 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.294 * [taylor]: Taking taylor expansion of 1/3 in x 1.294 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.294 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.294 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.294 * [taylor]: Taking taylor expansion of x in x 1.295 * [taylor]: Taking taylor expansion of (* (/ (* (pow (cbrt -1) 2) z) y) (pow (/ 1 (pow x 2)) 1/3)) in x 1.295 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) z) y) in x 1.295 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in x 1.295 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 1.295 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.295 * [taylor]: Taking taylor expansion of -1 in x 1.295 * [taylor]: Taking taylor expansion of z in x 1.295 * [taylor]: Taking taylor expansion of y in x 1.295 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 1.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 1.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 1.295 * [taylor]: Taking taylor expansion of 1/3 in x 1.295 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.295 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.295 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.295 * [taylor]: Taking taylor expansion of x in x 1.296 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (* 2 (log x))))) (* (pow (cbrt -1) 2) z)) y) in y 1.296 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (* 2 (log x))))) (* (pow (cbrt -1) 2) z)) in y 1.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in y 1.296 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in y 1.296 * [taylor]: Taking taylor expansion of 1/3 in y 1.296 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in y 1.296 * [taylor]: Taking taylor expansion of (log 1) in y 1.296 * [taylor]: Taking taylor expansion of 1 in y 1.296 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 1.296 * [taylor]: Taking taylor expansion of 2 in y 1.296 * [taylor]: Taking taylor expansion of (log x) in y 1.296 * [taylor]: Taking taylor expansion of x in y 1.296 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) z) in y 1.296 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.296 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.296 * [taylor]: Taking taylor expansion of -1 in y 1.296 * [taylor]: Taking taylor expansion of z in y 1.296 * [taylor]: Taking taylor expansion of y in y 1.297 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (* z (exp (* 1/3 (- (log 1) (* 2 (log x))))))) in z 1.297 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.297 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.297 * [taylor]: Taking taylor expansion of -1 in z 1.297 * [taylor]: Taking taylor expansion of (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))) in z 1.297 * [taylor]: Taking taylor expansion of z in z 1.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log x))))) in z 1.297 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log x)))) in z 1.297 * [taylor]: Taking taylor expansion of 1/3 in z 1.297 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log x))) in z 1.297 * [taylor]: Taking taylor expansion of (log 1) in z 1.297 * [taylor]: Taking taylor expansion of 1 in z 1.297 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z 1.297 * [taylor]: Taking taylor expansion of 2 in z 1.297 * [taylor]: Taking taylor expansion of (log x) in z 1.297 * [taylor]: Taking taylor expansion of x in z 1.300 * [taylor]: Taking taylor expansion of 0 in y 1.301 * [taylor]: Taking taylor expansion of 0 in z 1.303 * [taylor]: Taking taylor expansion of 0 in y 1.303 * [taylor]: Taking taylor expansion of 0 in z 1.305 * [taylor]: Taking taylor expansion of 0 in z 1.307 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.307 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.307 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.307 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.307 * [taylor]: Taking taylor expansion of 1/3 in x 1.307 * [taylor]: Taking taylor expansion of (log x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.307 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.307 * [taylor]: Taking taylor expansion of 1/3 in x 1.307 * [taylor]: Taking taylor expansion of (log x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.313 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.313 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.313 * [taylor]: Taking taylor expansion of 1/3 in x 1.313 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.313 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.313 * [taylor]: Taking taylor expansion of 1/3 in x 1.313 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.320 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.320 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.320 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.320 * [taylor]: Taking taylor expansion of -1 in x 1.320 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.320 * [taylor]: Taking taylor expansion of 1/3 in x 1.320 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.320 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.320 * [taylor]: Taking taylor expansion of -1 in x 1.320 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.320 * [taylor]: Taking taylor expansion of 1/3 in x 1.321 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.321 * [taylor]: Taking taylor expansion of x in x 1.331 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1) 1.331 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.331 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.331 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.331 * [taylor]: Taking taylor expansion of 1/3 in x 1.331 * [taylor]: Taking taylor expansion of (log x) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.331 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.331 * [taylor]: Taking taylor expansion of 1/3 in x 1.331 * [taylor]: Taking taylor expansion of (log x) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.337 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.337 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.337 * [taylor]: Taking taylor expansion of 1/3 in x 1.337 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.337 * [taylor]: Taking taylor expansion of x in x 1.337 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.338 * [taylor]: Taking taylor expansion of 1/3 in x 1.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.344 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.344 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.344 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.344 * [taylor]: Taking taylor expansion of -1 in x 1.344 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.344 * [taylor]: Taking taylor expansion of 1/3 in x 1.344 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.344 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.344 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.344 * [taylor]: Taking taylor expansion of -1 in x 1.345 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.345 * [taylor]: Taking taylor expansion of 1/3 in x 1.345 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.345 * [taylor]: Taking taylor expansion of x in x 1.352 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 1.352 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.353 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.353 * [taylor]: Taking taylor expansion of 1/3 in x 1.353 * [taylor]: Taking taylor expansion of (log x) in x 1.353 * [taylor]: Taking taylor expansion of x in x 1.353 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.353 * [taylor]: Taking taylor expansion of 1/3 in x 1.353 * [taylor]: Taking taylor expansion of (log x) in x 1.353 * [taylor]: Taking taylor expansion of x in x 1.359 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.359 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.359 * [taylor]: Taking taylor expansion of 1/3 in x 1.359 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.359 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.359 * [taylor]: Taking taylor expansion of 1/3 in x 1.359 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.365 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.365 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.366 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.366 * [taylor]: Taking taylor expansion of -1 in x 1.366 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.366 * [taylor]: Taking taylor expansion of 1/3 in x 1.366 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.366 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.366 * [taylor]: Taking taylor expansion of -1 in x 1.366 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.366 * [taylor]: Taking taylor expansion of 1/3 in x 1.366 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.374 * * * [progress]: simplifying candidates 1.376 * [simplify]: Simplifying using # : (* (/ (cbrt x) 1) (* y (/ (cbrt x) z))) (* (/ (cbrt x) 1) (* y (/ (cbrt x) z))) (+ (- (log (cbrt x)) 0) (+ (log y) (- (log (cbrt x)) (log z)))) (+ (- (log (cbrt x)) 0) (+ (log y) (log (/ (cbrt x) z)))) (+ (- (log (cbrt x)) 0) (log (* y (/ (cbrt x) z)))) (+ (- (log (cbrt x)) (log 1)) (+ (log y) (- (log (cbrt x)) (log z)))) (+ (- (log (cbrt x)) (log 1)) (+ (log y) (log (/ (cbrt x) z)))) (+ (- (log (cbrt x)) (log 1)) (log (* y (/ (cbrt x) z)))) (+ (log (/ (cbrt x) 1)) (+ (log y) (- (log (cbrt x)) (log z)))) (+ (log (/ (cbrt x) 1)) (+ (log y) (log (/ (cbrt x) z)))) (+ (log (/ (cbrt x) 1)) (log (* y (/ (cbrt x) z)))) (log (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (exp (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (* (/ x (* (* 1 1) 1)) (* (* (* y y) y) (/ x (* (* z z) z)))) (* (/ x (* (* 1 1) 1)) (* (* (* y y) y) (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)))) (* (/ x (* (* 1 1) 1)) (* (* (* y (/ (cbrt x) z)) (* y (/ (cbrt x) z))) (* y (/ (cbrt x) z)))) (* (* (* (/ (cbrt x) 1) (/ (cbrt x) 1)) (/ (cbrt x) 1)) (* (* (* y y) y) (/ x (* (* z z) z)))) (* (* (* (/ (cbrt x) 1) (/ (cbrt x) 1)) (/ (cbrt x) 1)) (* (* (* y y) y) (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)))) (* (* (* (/ (cbrt x) 1) (/ (cbrt x) 1)) (/ (cbrt x) 1)) (* (* (* y (/ (cbrt x) z)) (* y (/ (cbrt x) z))) (* y (/ (cbrt x) z)))) (* (cbrt (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (cbrt (* (/ (cbrt x) 1) (* y (/ (cbrt x) z))))) (cbrt (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (* (* (* (/ (cbrt x) 1) (* y (/ (cbrt x) z))) (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (sqrt (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (sqrt (* (/ (cbrt x) 1) (* y (/ (cbrt x) z)))) (* (cbrt x) (* y (cbrt x))) (* 1 z) (* (/ (cbrt x) 1) y) (* (cbrt (/ (cbrt x) 1)) (* y (/ (cbrt x) z))) (* (sqrt (/ (cbrt x) 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt (cbrt x)) (cbrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt (cbrt x)) (sqrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt (cbrt x)) 1) (* y (/ (cbrt x) z))) (* (/ (cbrt (sqrt x)) (cbrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt (sqrt x)) (sqrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt (sqrt x)) 1) (* y (/ (cbrt x) z))) (* (/ (cbrt x) (cbrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt x) (sqrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt x) 1) (* y (/ (cbrt x) z))) (* (/ (cbrt (cbrt x)) (cbrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt (cbrt x)) (sqrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt (cbrt x)) 1) (* y (/ (cbrt x) z))) (* (/ (sqrt (cbrt x)) (cbrt 1)) (* y (/ (cbrt x) z))) (* (/ (sqrt (cbrt x)) (sqrt 1)) (* y (/ (cbrt x) z))) (* (/ (sqrt (cbrt x)) 1) (* y (/ (cbrt x) z))) (* (/ (cbrt x) (cbrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt x) (sqrt 1)) (* y (/ (cbrt x) z))) (* (/ (cbrt x) 1) (* y (/ (cbrt x) z))) (* (/ (cbrt x) 1) (* y (/ (cbrt x) z))) (* (/ 1 1) (* y (/ (cbrt x) z))) (* (/ (cbrt x) 1) (* y (cbrt x))) (* (cbrt x) (* y (/ (cbrt x) z))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (/ (* (exp (* 1/3 (+ (log 1) (* 2 (log x))))) y) z) (/ (* (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) y) z) (/ (* (pow (cbrt -1) 2) (* y (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))) z) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.420 * * [simplify]: iteration 0 : 5284 enodes (cost 599 ) 1.423 * [simplify]: Simplified to: (* y (/ (pow x 2/3) z)) (* y (/ (pow x 2/3) z)) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (log (* y (/ (pow x 2/3) z))) (pow (exp y) (/ (pow x 2/3) z)) (* x (* x (pow (/ y z) 3))) (* x (* x (pow (/ y z) 3))) (* x (* x (pow (/ y z) 3))) (* x (* x (pow (/ y z) 3))) (* x (* x (pow (/ y z) 3))) (* x (* x (pow (/ y z) 3))) (* (cbrt (* y (/ (pow x 2/3) z))) (cbrt (* y (/ (pow x 2/3) z)))) (cbrt (* y (/ (pow x 2/3) z))) (* x (* x (pow (/ y z) 3))) (sqrt (* y (/ (pow x 2/3) z))) (sqrt (* y (/ (pow x 2/3) z))) (* y (pow x 2/3)) z (* (cbrt x) y) (* (* y (/ (cbrt x) z)) (cbrt (cbrt x))) (* (* y (/ (cbrt x) z)) (sqrt (cbrt x))) (* (* y (/ (cbrt x) z)) (cbrt (cbrt x))) (* (* y (/ (cbrt x) z)) (cbrt (cbrt x))) (* (* y (/ (cbrt x) z)) (cbrt (cbrt x))) (* (* y (/ (cbrt x) z)) (cbrt (sqrt x))) (* (* y (/ (cbrt x) z)) (cbrt (sqrt x))) (* (* y (/ (cbrt x) z)) (cbrt (sqrt x))) (* y (/ (pow x 2/3) z)) (* y (/ (pow x 2/3) z)) (* y (/ (pow x 2/3) z)) (* (* y (/ (cbrt x) z)) (cbrt (cbrt x))) (* (* y (/ (cbrt x) z)) (cbrt (cbrt x))) (* (* y (/ (cbrt x) z)) (cbrt (cbrt x))) (* (* y (/ (cbrt x) z)) (sqrt (cbrt x))) (* (* y (/ (cbrt x) z)) (sqrt (cbrt x))) (* (* y (/ (cbrt x) z)) (sqrt (cbrt x))) (* y (/ (pow x 2/3) z)) (* y (/ (pow x 2/3) z)) (* y (/ (pow x 2/3) z)) (* y (/ (pow x 2/3) z)) (* y (/ (cbrt x) z)) (* y (pow x 2/3)) (* y (/ (pow x 2/3) z)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* y (/ (pow x 2/3) z)) (* y (/ (pow x 2/3) z)) (* (pow x 2/3) (* y (/ (pow (cbrt -1) 2) z))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (* x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (* x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (* x -1))) 1.423 * * * [progress]: adding candidates to table 1.558 * [progress]: [Phase 3 of 3] Extracting. 1.558 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 1.559 * * * [regime-changes]: Trying 4 branch expressions: ((* x y) z y x) 1.560 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # # # # # #) 1.625 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # #) 1.718 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 1.816 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 1.883 * * * [regime]: Found split indices: #