29.069 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (/ (* x y) (* (* z z) (+ z 1.0))) 0.022 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 0.023 * * [simplify]: iteration 1 : 27 enodes (cost 11 ) 0.027 * * [simplify]: iteration 2 : 74 enodes (cost 11 ) 0.037 * * [simplify]: iteration 3 : 158 enodes (cost 11 ) 0.064 * * [simplify]: iteration 4 : 243 enodes (cost 11 ) 0.102 * * [simplify]: iteration 5 : 299 enodes (cost 11 ) 0.150 * * [simplify]: iteration 6 : 351 enodes (cost 11 ) 0.209 * * [simplify]: iteration 7 : 481 enodes (cost 11 ) 0.315 * * [simplify]: iteration 8 : 983 enodes (cost 11 ) 0.813 * * [simplify]: iteration 9 : 3598 enodes (cost 11 ) 2.382 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 2.382 * [simplify]: Simplified to: (/ (* x y) (* (* z z) (+ z 1.0))) 2.382 * * [progress]: iteration 1 / 4 2.382 * * * [progress]: picking best candidate 2.384 * * * * [pick]: Picked # 2.384 * * * [progress]: localizing error 2.392 * * * [progress]: generating rewritten candidates 2.392 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.403 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.423 * * * [progress]: generating series expansions 2.423 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.423 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x y z) around 0 2.423 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 2.423 * [taylor]: Taking taylor expansion of (* x y) in z 2.423 * [taylor]: Taking taylor expansion of x in z 2.423 * [taylor]: Taking taylor expansion of y in z 2.423 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 2.423 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.423 * [taylor]: Taking taylor expansion of z in z 2.423 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 2.423 * [taylor]: Taking taylor expansion of z in z 2.423 * [taylor]: Taking taylor expansion of 1.0 in z 2.424 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 2.424 * [taylor]: Taking taylor expansion of (* x y) in y 2.424 * [taylor]: Taking taylor expansion of x in y 2.424 * [taylor]: Taking taylor expansion of y in y 2.424 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 2.424 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.424 * [taylor]: Taking taylor expansion of z in y 2.424 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 2.425 * [taylor]: Taking taylor expansion of z in y 2.425 * [taylor]: Taking taylor expansion of 1.0 in y 2.425 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 2.425 * [taylor]: Taking taylor expansion of (* x y) in x 2.425 * [taylor]: Taking taylor expansion of x in x 2.425 * [taylor]: Taking taylor expansion of y in x 2.425 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 2.425 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.425 * [taylor]: Taking taylor expansion of z in x 2.425 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 2.425 * [taylor]: Taking taylor expansion of z in x 2.425 * [taylor]: Taking taylor expansion of 1.0 in x 2.426 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 2.426 * [taylor]: Taking taylor expansion of (* x y) in x 2.426 * [taylor]: Taking taylor expansion of x in x 2.426 * [taylor]: Taking taylor expansion of y in x 2.426 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 2.426 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.426 * [taylor]: Taking taylor expansion of z in x 2.426 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 2.426 * [taylor]: Taking taylor expansion of z in x 2.426 * [taylor]: Taking taylor expansion of 1.0 in x 2.426 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in y 2.427 * [taylor]: Taking taylor expansion of y in y 2.427 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in y 2.427 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 2.427 * [taylor]: Taking taylor expansion of z in y 2.427 * [taylor]: Taking taylor expansion of 1.0 in y 2.427 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.427 * [taylor]: Taking taylor expansion of z in y 2.427 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ z 1.0))) in z 2.427 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 2.427 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.427 * [taylor]: Taking taylor expansion of z in z 2.427 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 2.427 * [taylor]: Taking taylor expansion of z in z 2.427 * [taylor]: Taking taylor expansion of 1.0 in z 2.429 * [taylor]: Taking taylor expansion of 0 in y 2.429 * [taylor]: Taking taylor expansion of 0 in z 2.430 * [taylor]: Taking taylor expansion of 0 in z 2.434 * [taylor]: Taking taylor expansion of 0 in y 2.435 * [taylor]: Taking taylor expansion of 0 in z 2.435 * [taylor]: Taking taylor expansion of 0 in z 2.436 * [taylor]: Taking taylor expansion of 0 in z 2.440 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x y z) around 0 2.441 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 2.441 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.441 * [taylor]: Taking taylor expansion of z in z 2.441 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 2.441 * [taylor]: Taking taylor expansion of x in z 2.441 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 2.441 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.441 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.441 * [taylor]: Taking taylor expansion of z in z 2.441 * [taylor]: Taking taylor expansion of 1.0 in z 2.441 * [taylor]: Taking taylor expansion of y in z 2.442 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 2.442 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.442 * [taylor]: Taking taylor expansion of z in y 2.442 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 2.442 * [taylor]: Taking taylor expansion of x in y 2.442 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 2.442 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 2.442 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.442 * [taylor]: Taking taylor expansion of z in y 2.442 * [taylor]: Taking taylor expansion of 1.0 in y 2.442 * [taylor]: Taking taylor expansion of y in y 2.443 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 2.443 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.443 * [taylor]: Taking taylor expansion of z in x 2.443 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 2.443 * [taylor]: Taking taylor expansion of x in x 2.443 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 2.443 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 2.443 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.443 * [taylor]: Taking taylor expansion of z in x 2.443 * [taylor]: Taking taylor expansion of 1.0 in x 2.443 * [taylor]: Taking taylor expansion of y in x 2.444 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 2.444 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.444 * [taylor]: Taking taylor expansion of z in x 2.444 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 2.444 * [taylor]: Taking taylor expansion of x in x 2.444 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 2.444 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 2.444 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.444 * [taylor]: Taking taylor expansion of z in x 2.444 * [taylor]: Taking taylor expansion of 1.0 in x 2.444 * [taylor]: Taking taylor expansion of y in x 2.445 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in y 2.445 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.445 * [taylor]: Taking taylor expansion of z in y 2.445 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in y 2.445 * [taylor]: Taking taylor expansion of (/ y z) in y 2.445 * [taylor]: Taking taylor expansion of y in y 2.445 * [taylor]: Taking taylor expansion of z in y 2.445 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 2.445 * [taylor]: Taking taylor expansion of 1.0 in y 2.445 * [taylor]: Taking taylor expansion of y in y 2.447 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ 1 z) 1.0)) in z 2.447 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.447 * [taylor]: Taking taylor expansion of z in z 2.447 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.447 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.447 * [taylor]: Taking taylor expansion of z in z 2.447 * [taylor]: Taking taylor expansion of 1.0 in z 2.449 * [taylor]: Taking taylor expansion of 0 in y 2.451 * [taylor]: Taking taylor expansion of 0 in z 2.456 * [taylor]: Taking taylor expansion of 0 in y 2.456 * [taylor]: Taking taylor expansion of 0 in z 2.457 * [taylor]: Taking taylor expansion of 0 in z 2.462 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (x y z) around 0 2.462 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 2.462 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.462 * [taylor]: Taking taylor expansion of z in z 2.462 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 2.462 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.462 * [taylor]: Taking taylor expansion of 1.0 in z 2.462 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.462 * [taylor]: Taking taylor expansion of z in z 2.463 * [taylor]: Taking taylor expansion of (* x y) in z 2.463 * [taylor]: Taking taylor expansion of x in z 2.463 * [taylor]: Taking taylor expansion of y in z 2.464 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 2.464 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.464 * [taylor]: Taking taylor expansion of z in y 2.464 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 2.464 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 2.464 * [taylor]: Taking taylor expansion of 1.0 in y 2.464 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.464 * [taylor]: Taking taylor expansion of z in y 2.464 * [taylor]: Taking taylor expansion of (* x y) in y 2.464 * [taylor]: Taking taylor expansion of x in y 2.464 * [taylor]: Taking taylor expansion of y in y 2.465 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 2.465 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.465 * [taylor]: Taking taylor expansion of z in x 2.465 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 2.465 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 2.465 * [taylor]: Taking taylor expansion of 1.0 in x 2.465 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.465 * [taylor]: Taking taylor expansion of z in x 2.465 * [taylor]: Taking taylor expansion of (* x y) in x 2.465 * [taylor]: Taking taylor expansion of x in x 2.466 * [taylor]: Taking taylor expansion of y in x 2.467 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 2.467 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.467 * [taylor]: Taking taylor expansion of z in x 2.467 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 2.467 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 2.467 * [taylor]: Taking taylor expansion of 1.0 in x 2.467 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.467 * [taylor]: Taking taylor expansion of z in x 2.467 * [taylor]: Taking taylor expansion of (* x y) in x 2.467 * [taylor]: Taking taylor expansion of x in x 2.467 * [taylor]: Taking taylor expansion of y in x 2.469 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in y 2.469 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.469 * [taylor]: Taking taylor expansion of z in y 2.469 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in y 2.469 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 2.469 * [taylor]: Taking taylor expansion of 1.0 in y 2.469 * [taylor]: Taking taylor expansion of y in y 2.469 * [taylor]: Taking taylor expansion of (/ y z) in y 2.469 * [taylor]: Taking taylor expansion of y in y 2.469 * [taylor]: Taking taylor expansion of z in y 2.470 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- 1.0 (/ 1 z))) in z 2.470 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.471 * [taylor]: Taking taylor expansion of z in z 2.471 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.471 * [taylor]: Taking taylor expansion of 1.0 in z 2.471 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.471 * [taylor]: Taking taylor expansion of z in z 2.474 * [taylor]: Taking taylor expansion of 0 in y 2.475 * [taylor]: Taking taylor expansion of 0 in z 2.480 * [taylor]: Taking taylor expansion of 0 in y 2.481 * [taylor]: Taking taylor expansion of 0 in z 2.482 * [taylor]: Taking taylor expansion of 0 in z 2.488 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.488 * [approximate]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in (z) around 0 2.488 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 2.488 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.488 * [taylor]: Taking taylor expansion of z in z 2.488 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 2.488 * [taylor]: Taking taylor expansion of z in z 2.488 * [taylor]: Taking taylor expansion of 1.0 in z 2.488 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 2.488 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.488 * [taylor]: Taking taylor expansion of z in z 2.488 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 2.488 * [taylor]: Taking taylor expansion of z in z 2.488 * [taylor]: Taking taylor expansion of 1.0 in z 2.504 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in (z) around 0 2.504 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 2.504 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.504 * [taylor]: Taking taylor expansion of z in z 2.504 * [taylor]: Taking taylor expansion of 1.0 in z 2.504 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.504 * [taylor]: Taking taylor expansion of z in z 2.505 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 2.505 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.505 * [taylor]: Taking taylor expansion of z in z 2.505 * [taylor]: Taking taylor expansion of 1.0 in z 2.505 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.505 * [taylor]: Taking taylor expansion of z in z 2.520 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in (z) around 0 2.521 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 2.521 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.521 * [taylor]: Taking taylor expansion of 1.0 in z 2.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.521 * [taylor]: Taking taylor expansion of z in z 2.521 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.521 * [taylor]: Taking taylor expansion of z in z 2.522 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 2.522 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.522 * [taylor]: Taking taylor expansion of 1.0 in z 2.522 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.522 * [taylor]: Taking taylor expansion of z in z 2.522 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.522 * [taylor]: Taking taylor expansion of z in z 2.539 * * * [progress]: simplifying candidates 2.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)))) (- (* x y)) (- (* (* 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))) 2.543 * * [simplify]: iteration 0 : 112 enodes (cost 858 ) 2.571 * * [simplify]: iteration 1 : 369 enodes (cost 788 ) 2.744 * * [simplify]: iteration 2 : 1986 enodes (cost 626 ) 3.207 * * [simplify]: iteration done : 5000 enodes (cost 626 ) 3.207 * [simplify]: Simplified to: (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (exp (/ (* x y) (* (* z z) (+ z 1.0)))) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (* (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0))))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (pow (/ (* x y) (* (* z z) (+ z 1.0))) 3) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (- (* x y)) (- (* (* 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 1.0) (/ (* z z) 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 z) (+ z 1.0))) (log (* (* z z) (+ z 1.0))) (log (* (* z z) (+ z 1.0))) (exp (* (* z z) (+ z 1.0))) (pow (* (* z z) (+ z 1.0)) 3) (pow (* (* z z) (+ z 1.0)) 3) (* (cbrt (* (* z z) (+ z 1.0))) (cbrt (* (* z z) (+ z 1.0)))) (cbrt (* (* z z) (+ z 1.0))) (pow (* (* z z) (+ z 1.0)) 3) (sqrt (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (* 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)) (* (* z z) (+ (pow z 3) (pow 1.0 3))) (* (* z z) (- (* z z) (* 1.0 1.0))) (* 1.0 (- (+ (* x y) (/ (* x y) (* z z))) (/ (* 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)))) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) 3.208 * * * [progress]: adding candidates to table 3.298 * * [progress]: iteration 2 / 4 3.298 * * * [progress]: picking best candidate 3.308 * * * * [pick]: Picked # 3.308 * * * [progress]: localizing error 3.316 * * * [progress]: generating rewritten candidates 3.316 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.319 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 3.346 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 3.355 * * * [progress]: generating series expansions 3.355 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.355 * [approximate]: Taking taylor expansion of (/ x (pow z 2)) in (x z) around 0 3.355 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 3.355 * [taylor]: Taking taylor expansion of x in z 3.355 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.355 * [taylor]: Taking taylor expansion of z in z 3.356 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 3.356 * [taylor]: Taking taylor expansion of x in x 3.356 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.356 * [taylor]: Taking taylor expansion of z in x 3.356 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 3.356 * [taylor]: Taking taylor expansion of x in x 3.356 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.356 * [taylor]: Taking taylor expansion of z in x 3.356 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.356 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.356 * [taylor]: Taking taylor expansion of z in z 3.357 * [taylor]: Taking taylor expansion of 0 in z 3.358 * [taylor]: Taking taylor expansion of 0 in z 3.360 * [taylor]: Taking taylor expansion of 0 in z 3.362 * [taylor]: Taking taylor expansion of 0 in z 3.363 * [approximate]: Taking taylor expansion of (/ (pow z 2) x) in (x z) around 0 3.363 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 3.363 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.363 * [taylor]: Taking taylor expansion of z in z 3.363 * [taylor]: Taking taylor expansion of x in z 3.363 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 3.363 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.363 * [taylor]: Taking taylor expansion of z in x 3.363 * [taylor]: Taking taylor expansion of x in x 3.363 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 3.363 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.363 * [taylor]: Taking taylor expansion of z in x 3.363 * [taylor]: Taking taylor expansion of x in x 3.363 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.363 * [taylor]: Taking taylor expansion of z in z 3.364 * [taylor]: Taking taylor expansion of 0 in z 3.366 * [taylor]: Taking taylor expansion of 0 in z 3.368 * [taylor]: Taking taylor expansion of 0 in z 3.368 * [approximate]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in (x z) around 0 3.368 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in z 3.368 * [taylor]: Taking taylor expansion of -1 in z 3.368 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 3.368 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.368 * [taylor]: Taking taylor expansion of z in z 3.368 * [taylor]: Taking taylor expansion of x in z 3.369 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in x 3.369 * [taylor]: Taking taylor expansion of -1 in x 3.369 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 3.369 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.369 * [taylor]: Taking taylor expansion of z in x 3.369 * [taylor]: Taking taylor expansion of x in x 3.369 * [taylor]: Taking taylor expansion of (* -1 (/ (pow z 2) x)) in x 3.369 * [taylor]: Taking taylor expansion of -1 in x 3.369 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 3.369 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.369 * [taylor]: Taking taylor expansion of z in x 3.369 * [taylor]: Taking taylor expansion of x in x 3.369 * [taylor]: Taking taylor expansion of (* -1 (pow z 2)) in z 3.369 * [taylor]: Taking taylor expansion of -1 in z 3.369 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.369 * [taylor]: Taking taylor expansion of z in z 3.370 * [taylor]: Taking taylor expansion of 0 in z 3.373 * [taylor]: Taking taylor expansion of 0 in z 3.376 * [taylor]: Taking taylor expansion of 0 in z 3.377 * * * * [progress]: [ 2 / 3 ] generating series at (2) 3.377 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x z y) around 0 3.377 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 3.377 * [taylor]: Taking taylor expansion of (* x y) in y 3.377 * [taylor]: Taking taylor expansion of x in y 3.377 * [taylor]: Taking taylor expansion of y in y 3.377 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 3.377 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.377 * [taylor]: Taking taylor expansion of z in y 3.377 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 3.377 * [taylor]: Taking taylor expansion of z in y 3.377 * [taylor]: Taking taylor expansion of 1.0 in y 3.377 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 3.377 * [taylor]: Taking taylor expansion of (* x y) in z 3.377 * [taylor]: Taking taylor expansion of x in z 3.377 * [taylor]: Taking taylor expansion of y in z 3.377 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 3.377 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.377 * [taylor]: Taking taylor expansion of z in z 3.377 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 3.377 * [taylor]: Taking taylor expansion of z in z 3.378 * [taylor]: Taking taylor expansion of 1.0 in z 3.378 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 3.378 * [taylor]: Taking taylor expansion of (* x y) in x 3.378 * [taylor]: Taking taylor expansion of x in x 3.378 * [taylor]: Taking taylor expansion of y in x 3.378 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 3.378 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.378 * [taylor]: Taking taylor expansion of z in x 3.378 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 3.378 * [taylor]: Taking taylor expansion of z in x 3.379 * [taylor]: Taking taylor expansion of 1.0 in x 3.379 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 3.379 * [taylor]: Taking taylor expansion of (* x y) in x 3.379 * [taylor]: Taking taylor expansion of x in x 3.379 * [taylor]: Taking taylor expansion of y in x 3.379 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 3.379 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.379 * [taylor]: Taking taylor expansion of z in x 3.379 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 3.379 * [taylor]: Taking taylor expansion of z in x 3.379 * [taylor]: Taking taylor expansion of 1.0 in x 3.380 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in z 3.380 * [taylor]: Taking taylor expansion of y in z 3.380 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in z 3.380 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 3.380 * [taylor]: Taking taylor expansion of z in z 3.380 * [taylor]: Taking taylor expansion of 1.0 in z 3.380 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.380 * [taylor]: Taking taylor expansion of z in z 3.381 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.381 * [taylor]: Taking taylor expansion of 1.0 in y 3.381 * [taylor]: Taking taylor expansion of y in y 3.383 * [taylor]: Taking taylor expansion of 0 in z 3.384 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y 3.385 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.385 * [taylor]: Taking taylor expansion of 1.0 in y 3.385 * [taylor]: Taking taylor expansion of y in y 3.389 * [taylor]: Taking taylor expansion of 0 in z 3.391 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.391 * [taylor]: Taking taylor expansion of 1.0 in y 3.391 * [taylor]: Taking taylor expansion of y in y 3.392 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x z y) around 0 3.392 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 3.392 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.393 * [taylor]: Taking taylor expansion of z in y 3.393 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 3.393 * [taylor]: Taking taylor expansion of x in y 3.393 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 3.393 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 3.393 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.393 * [taylor]: Taking taylor expansion of z in y 3.393 * [taylor]: Taking taylor expansion of 1.0 in y 3.393 * [taylor]: Taking taylor expansion of y in y 3.394 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 3.394 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.394 * [taylor]: Taking taylor expansion of z in z 3.394 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 3.394 * [taylor]: Taking taylor expansion of x in z 3.394 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 3.394 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.394 * [taylor]: Taking taylor expansion of z in z 3.394 * [taylor]: Taking taylor expansion of 1.0 in z 3.394 * [taylor]: Taking taylor expansion of y in z 3.395 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 3.395 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.395 * [taylor]: Taking taylor expansion of z in x 3.395 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 3.395 * [taylor]: Taking taylor expansion of x in x 3.395 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 3.395 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 3.395 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.395 * [taylor]: Taking taylor expansion of z in x 3.395 * [taylor]: Taking taylor expansion of 1.0 in x 3.395 * [taylor]: Taking taylor expansion of y in x 3.396 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 3.396 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.396 * [taylor]: Taking taylor expansion of z in x 3.396 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 3.396 * [taylor]: Taking taylor expansion of x in x 3.396 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 3.396 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 3.396 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.396 * [taylor]: Taking taylor expansion of z in x 3.396 * [taylor]: Taking taylor expansion of 1.0 in x 3.396 * [taylor]: Taking taylor expansion of y in x 3.397 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in z 3.397 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.397 * [taylor]: Taking taylor expansion of z in z 3.397 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in z 3.397 * [taylor]: Taking taylor expansion of (/ y z) in z 3.397 * [taylor]: Taking taylor expansion of y in z 3.397 * [taylor]: Taking taylor expansion of z in z 3.397 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 3.397 * [taylor]: Taking taylor expansion of 1.0 in z 3.397 * [taylor]: Taking taylor expansion of y in z 3.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.398 * [taylor]: Taking taylor expansion of y in y 3.399 * [taylor]: Taking taylor expansion of 0 in z 3.399 * [taylor]: Taking taylor expansion of 0 in y 3.400 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 3.400 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.400 * [taylor]: Taking taylor expansion of 1.0 in y 3.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.400 * [taylor]: Taking taylor expansion of y in y 3.404 * [taylor]: Taking taylor expansion of 0 in z 3.404 * [taylor]: Taking taylor expansion of 0 in y 3.404 * [taylor]: Taking taylor expansion of 0 in y 3.406 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.406 * [taylor]: Taking taylor expansion of 1.0 in y 3.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.406 * [taylor]: Taking taylor expansion of y in y 3.408 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (x z y) around 0 3.408 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 3.408 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.408 * [taylor]: Taking taylor expansion of z in y 3.408 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 3.408 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 3.408 * [taylor]: Taking taylor expansion of 1.0 in y 3.408 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.408 * [taylor]: Taking taylor expansion of z in y 3.408 * [taylor]: Taking taylor expansion of (* x y) in y 3.408 * [taylor]: Taking taylor expansion of x in y 3.408 * [taylor]: Taking taylor expansion of y in y 3.412 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 3.412 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.412 * [taylor]: Taking taylor expansion of z in z 3.412 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 3.412 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.412 * [taylor]: Taking taylor expansion of 1.0 in z 3.412 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.412 * [taylor]: Taking taylor expansion of z in z 3.413 * [taylor]: Taking taylor expansion of (* x y) in z 3.413 * [taylor]: Taking taylor expansion of x in z 3.413 * [taylor]: Taking taylor expansion of y in z 3.413 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 3.413 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.413 * [taylor]: Taking taylor expansion of z in x 3.413 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 3.413 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 3.413 * [taylor]: Taking taylor expansion of 1.0 in x 3.413 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.414 * [taylor]: Taking taylor expansion of z in x 3.414 * [taylor]: Taking taylor expansion of (* x y) in x 3.414 * [taylor]: Taking taylor expansion of x in x 3.414 * [taylor]: Taking taylor expansion of y in x 3.415 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 3.415 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.415 * [taylor]: Taking taylor expansion of z in x 3.415 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 3.415 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 3.415 * [taylor]: Taking taylor expansion of 1.0 in x 3.415 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.415 * [taylor]: Taking taylor expansion of z in x 3.415 * [taylor]: Taking taylor expansion of (* x y) in x 3.415 * [taylor]: Taking taylor expansion of x in x 3.415 * [taylor]: Taking taylor expansion of y in x 3.416 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in z 3.416 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.416 * [taylor]: Taking taylor expansion of z in z 3.417 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in z 3.417 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 3.417 * [taylor]: Taking taylor expansion of 1.0 in z 3.417 * [taylor]: Taking taylor expansion of y in z 3.417 * [taylor]: Taking taylor expansion of (/ y z) in z 3.417 * [taylor]: Taking taylor expansion of y in z 3.417 * [taylor]: Taking taylor expansion of z in z 3.417 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.417 * [taylor]: Taking taylor expansion of -1 in y 3.417 * [taylor]: Taking taylor expansion of y in y 3.419 * [taylor]: Taking taylor expansion of 0 in z 3.419 * [taylor]: Taking taylor expansion of 0 in y 3.420 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 3.420 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.420 * [taylor]: Taking taylor expansion of 1.0 in y 3.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.420 * [taylor]: Taking taylor expansion of y in y 3.424 * [taylor]: Taking taylor expansion of 0 in z 3.424 * [taylor]: Taking taylor expansion of 0 in y 3.424 * [taylor]: Taking taylor expansion of 0 in y 3.426 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 3.426 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.426 * [taylor]: Taking taylor expansion of 1.0 in y 3.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.426 * [taylor]: Taking taylor expansion of y in y 3.429 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 3.429 * [approximate]: Taking taylor expansion of (/ y (+ z 1.0)) in (y z) around 0 3.429 * [taylor]: Taking taylor expansion of (/ y (+ z 1.0)) in z 3.429 * [taylor]: Taking taylor expansion of y in z 3.429 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 3.429 * [taylor]: Taking taylor expansion of z in z 3.429 * [taylor]: Taking taylor expansion of 1.0 in z 3.429 * [taylor]: Taking taylor expansion of (/ y (+ z 1.0)) in y 3.429 * [taylor]: Taking taylor expansion of y in y 3.429 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 3.429 * [taylor]: Taking taylor expansion of z in y 3.429 * [taylor]: Taking taylor expansion of 1.0 in y 3.429 * [taylor]: Taking taylor expansion of (/ y (+ z 1.0)) in y 3.429 * [taylor]: Taking taylor expansion of y in y 3.429 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 3.429 * [taylor]: Taking taylor expansion of z in y 3.429 * [taylor]: Taking taylor expansion of 1.0 in y 3.429 * [taylor]: Taking taylor expansion of (/ 1 (+ z 1.0)) in z 3.429 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 3.429 * [taylor]: Taking taylor expansion of z in z 3.429 * [taylor]: Taking taylor expansion of 1.0 in z 3.430 * [taylor]: Taking taylor expansion of 0 in z 3.432 * [taylor]: Taking taylor expansion of 0 in z 3.436 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in (y z) around 0 3.436 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in z 3.436 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 3.436 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.436 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.436 * [taylor]: Taking taylor expansion of z in z 3.436 * [taylor]: Taking taylor expansion of 1.0 in z 3.436 * [taylor]: Taking taylor expansion of y in z 3.437 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in y 3.437 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 3.437 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 3.437 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.437 * [taylor]: Taking taylor expansion of z in y 3.437 * [taylor]: Taking taylor expansion of 1.0 in y 3.437 * [taylor]: Taking taylor expansion of y in y 3.437 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) 1.0) y)) in y 3.437 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 3.437 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 3.437 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.437 * [taylor]: Taking taylor expansion of z in y 3.438 * [taylor]: Taking taylor expansion of 1.0 in y 3.438 * [taylor]: Taking taylor expansion of y in y 3.438 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) 1.0)) in z 3.439 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.439 * [taylor]: Taking taylor expansion of z in z 3.439 * [taylor]: Taking taylor expansion of 1.0 in z 3.440 * [taylor]: Taking taylor expansion of 0 in z 3.443 * [taylor]: Taking taylor expansion of 0 in z 3.448 * [approximate]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in (y z) around 0 3.448 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in z 3.448 * [taylor]: Taking taylor expansion of -1 in z 3.448 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 3.448 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.448 * [taylor]: Taking taylor expansion of 1.0 in z 3.448 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.448 * [taylor]: Taking taylor expansion of z in z 3.448 * [taylor]: Taking taylor expansion of y in z 3.449 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in y 3.449 * [taylor]: Taking taylor expansion of -1 in y 3.449 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 3.449 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 3.449 * [taylor]: Taking taylor expansion of 1.0 in y 3.449 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.449 * [taylor]: Taking taylor expansion of z in y 3.449 * [taylor]: Taking taylor expansion of y in y 3.450 * [taylor]: Taking taylor expansion of (/ -1 (* (- 1.0 (/ 1 z)) y)) in y 3.450 * [taylor]: Taking taylor expansion of -1 in y 3.450 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 3.450 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 3.450 * [taylor]: Taking taylor expansion of 1.0 in y 3.450 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.450 * [taylor]: Taking taylor expansion of z in y 3.450 * [taylor]: Taking taylor expansion of y in y 3.451 * [taylor]: Taking taylor expansion of (/ -1 (- 1.0 (/ 1 z))) in z 3.451 * [taylor]: Taking taylor expansion of -1 in z 3.451 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 3.451 * [taylor]: Taking taylor expansion of 1.0 in z 3.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.451 * [taylor]: Taking taylor expansion of z in z 3.453 * [taylor]: Taking taylor expansion of 0 in z 3.457 * [taylor]: Taking taylor expansion of 0 in z 3.461 * * * [progress]: simplifying candidates 3.462 * [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))) (- x) (- (* 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) (* (/ x (* z z)) (/ y (+ z 1.0))) (+ (- (log x) (+ (log z) (log z))) (- (log y) (log (+ z 1.0)))) (+ (- (log x) (+ (log z) (log z))) (log (/ y (+ z 1.0)))) (+ (- (log x) (log (* z z))) (- (log y) (log (+ z 1.0)))) (+ (- (log x) (log (* z z))) (log (/ y (+ z 1.0)))) (+ (log (/ x (* z z))) (- (log y) (log (+ z 1.0)))) (+ (log (/ x (* z z))) (log (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (exp (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) z) (* (* z z) z))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (* (/ (* (* x x) x) (* (* (* z z) (* z z)) (* z z))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0)))) (* (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (* (* (* (/ x (* z z)) (/ x (* z z))) (/ x (* z z))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0)))) (* (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0))))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (* (* (/ x (* z z)) (/ y (+ z 1.0))) (* (/ x (* z z)) (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (* x y) (* (* z z) (+ z 1.0)) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (* (/ x (* z z)) (sqrt (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) 1)) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) 1)) (* (/ x (* z z)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (/ (sqrt y) 1)) (* (/ x (* z z)) (/ (sqrt y) 1)) (* (/ x (* z z)) (/ 1 (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ 1 (sqrt (+ z 1.0)))) (* (/ x (* z z)) (/ 1 1)) (* (/ x (* z z)) (/ 1 1)) (* (/ x (* z z)) 1) (* (/ x (* z z)) y) (* (/ x (* z z)) (/ y (+ (pow z 3) (pow 1.0 3)))) (* (/ x (* z z)) (/ y (- (* z z) (* 1.0 1.0)))) (* (cbrt (/ x (* z z))) (/ y (+ z 1.0))) (* (sqrt (/ x (* z z))) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (sqrt x) z) (/ y (+ z 1.0))) (* (/ x z) (/ y (+ z 1.0))) (* (/ x (* z z)) (/ y (+ z 1.0))) (* (/ 1 (* z z)) (/ y (+ z 1.0))) (* (/ x (* z z)) y) (* x (/ y (+ z 1.0))) (- (log y) (log (+ z 1.0))) (log (/ y (+ z 1.0))) (exp (/ y (+ z 1.0))) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0)))) (cbrt (/ y (+ z 1.0))) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))) (sqrt (/ y (+ z 1.0))) (sqrt (/ y (+ z 1.0))) (- y) (- (+ z 1.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (cbrt y) (cbrt (+ z 1.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0))) (/ (cbrt y) (sqrt (+ z 1.0))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (+ z 1.0)) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (+ z 1.0)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (sqrt y) (cbrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (/ (sqrt y) 1) (/ (sqrt y) (+ z 1.0)) (/ (sqrt y) 1) (/ (sqrt y) (+ z 1.0)) (/ 1 (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (cbrt (+ z 1.0))) (/ 1 (sqrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ 1 1) (/ y (+ z 1.0)) (/ 1 1) (/ y (+ z 1.0)) (/ 1 (+ z 1.0)) (/ (+ z 1.0) y) (/ y (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (sqrt (+ z 1.0))) (/ y 1) (/ y 1) (/ (+ z 1.0) (cbrt y)) (/ (+ z 1.0) (sqrt y)) (/ (+ z 1.0) y) (/ y (+ (pow z 3) (pow 1.0 3))) (/ y (- (* z z) (* 1.0 1.0))) (/ x (pow z 2)) (/ x (pow z 2)) (/ x (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)))) (- (+ (* 1.0 (* (pow z 2) y)) (* 1.0 y)) (* 1.0 (* z y))) (- (+ (* 1.0 (/ y (pow z 3))) (/ y z)) (* 1.0 (/ y (pow z 2)))) (- (+ (* 1.0 (/ y (pow z 3))) (/ y z)) (* 1.0 (/ y (pow z 2)))) 3.467 * * [simplify]: iteration 0 : 180 enodes (cost 1501 ) 3.511 * * [simplify]: iteration 1 : 517 enodes (cost 1416 ) 3.734 * * [simplify]: iteration 2 : 2005 enodes (cost 1228 ) 4.314 * * [simplify]: iteration done : 5000 enodes (cost 1228 ) 4.314 * [simplify]: Simplified to: (log (/ x (pow z 2))) (log (/ x (pow z 2))) (log (/ x (pow z 2))) (exp (/ x (* z z))) (pow (/ x (pow z 2)) 3) (pow (/ x (pow z 2)) 3) (* (cbrt (/ x (* z z))) (cbrt (/ x (* z z)))) (cbrt (/ x (* z z))) (pow (/ x (pow z 2)) 3) (sqrt (/ x (* z z))) (sqrt (/ x (* z z))) (- x) (- (* 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) (* (/ 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)))) (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 (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (* (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 (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (* x y) (* (* z z) (+ z 1.0)) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (sqrt (/ y (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (sqrt (/ x (* z z))) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (sqrt (/ y (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ (sqrt x) z) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ x (* z z)) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (* (/ x (* z z)) (sqrt (/ y (+ z 1.0)))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0)))) (* (/ x (pow z 2)) (* (cbrt y) (cbrt y))) (* (/ x (pow z 2)) (* (cbrt y) (cbrt y))) (* (/ x (* z z)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* (/ x (* z z)) (/ (sqrt y) (sqrt (+ z 1.0)))) (* (/ x (pow z 2)) (sqrt y)) (* (/ x (pow z 2)) (sqrt y)) (/ (/ x (pow z 2)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (/ x (pow z 2)) (sqrt (+ z 1.0))) (/ x (pow z 2)) (/ x (pow z 2)) (/ x (pow z 2)) (* (/ x (* z z)) y) (* (/ x (* z z)) (/ y (+ (pow z 3) (pow 1.0 3)))) (* (/ x (* z z)) (/ y (- (* z z) (* 1.0 1.0)))) (* (cbrt (/ x (* z z))) (/ y (+ z 1.0))) (* (sqrt (/ x (* z z))) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (sqrt x) z) (/ y (+ z 1.0))) (* (/ x z) (/ y (+ z 1.0))) (* (/ x (* z z)) (/ y (+ z 1.0))) (/ (/ y (+ z 1.0)) (* z z)) (* (/ x (* z z)) y) (* x (/ y (+ z 1.0))) (log (/ y (+ z 1.0))) (log (/ y (+ z 1.0))) (exp (/ y (+ z 1.0))) (pow (/ y (+ z 1.0)) 3) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0)))) (cbrt (/ y (+ z 1.0))) (pow (/ y (+ z 1.0)) 3) (sqrt (/ y (+ z 1.0))) (sqrt (/ y (+ z 1.0))) (- y) (- (+ z 1.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (cbrt y) (cbrt (+ z 1.0))) (/ (* (cbrt y) (cbrt y)) (sqrt (+ z 1.0))) (/ (cbrt y) (sqrt (+ z 1.0))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z 1.0)) (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z 1.0)) (/ (sqrt y) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ (sqrt y) (cbrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (/ (sqrt y) (sqrt (+ z 1.0))) (sqrt y) (/ (sqrt y) (+ z 1.0)) (sqrt y) (/ (sqrt y) (+ z 1.0)) (/ 1 (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (cbrt (+ z 1.0))) (/ 1 (sqrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) 1 (/ y (+ z 1.0)) 1 (/ y (+ z 1.0)) (/ 1 (+ z 1.0)) (/ (+ z 1.0) y) (/ y (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (/ y (sqrt (+ z 1.0))) y y (/ (+ z 1.0) (cbrt y)) (/ (+ z 1.0) (sqrt y)) (/ (+ z 1.0) y) (/ y (+ (pow z 3) (pow 1.0 3))) (/ y (- (* z z) (* 1.0 1.0))) (/ x (pow z 2)) (/ x (pow z 2)) (/ x (pow z 2)) (* 1.0 (- (* y (+ x (/ x (pow z 2)))) (* (/ x z) y))) (- (+ (* 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)))) (* 1.0 (- (+ (* (pow z 2) y) y) (* z y))) (- (+ (* 1.0 (/ y (pow z 3))) (/ y z)) (* 1.0 (/ y (pow z 2)))) (- (+ (* 1.0 (/ y (pow z 3))) (/ y z)) (* 1.0 (/ y (pow z 2)))) 4.315 * * * [progress]: adding candidates to table 4.529 * * [progress]: iteration 3 / 4 4.529 * * * [progress]: picking best candidate 4.544 * * * * [pick]: Picked # 4.544 * * * [progress]: localizing error 4.555 * * * [progress]: generating rewritten candidates 4.555 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.591 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 4.591 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 4.592 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 4.596 * * * [progress]: generating series expansions 4.596 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.596 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x z y) around 0 4.596 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 4.596 * [taylor]: Taking taylor expansion of (* x y) in y 4.596 * [taylor]: Taking taylor expansion of x in y 4.596 * [taylor]: Taking taylor expansion of y in y 4.596 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 4.596 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.596 * [taylor]: Taking taylor expansion of z in y 4.596 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 4.596 * [taylor]: Taking taylor expansion of z in y 4.596 * [taylor]: Taking taylor expansion of 1.0 in y 4.597 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 4.597 * [taylor]: Taking taylor expansion of (* x y) in z 4.597 * [taylor]: Taking taylor expansion of x in z 4.597 * [taylor]: Taking taylor expansion of y in z 4.597 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 4.597 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.597 * [taylor]: Taking taylor expansion of z in z 4.597 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 4.597 * [taylor]: Taking taylor expansion of z in z 4.597 * [taylor]: Taking taylor expansion of 1.0 in z 4.598 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 4.598 * [taylor]: Taking taylor expansion of (* x y) in x 4.598 * [taylor]: Taking taylor expansion of x in x 4.598 * [taylor]: Taking taylor expansion of y in x 4.598 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 4.598 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.598 * [taylor]: Taking taylor expansion of z in x 4.598 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 4.598 * [taylor]: Taking taylor expansion of z in x 4.598 * [taylor]: Taking taylor expansion of 1.0 in x 4.599 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 4.599 * [taylor]: Taking taylor expansion of (* x y) in x 4.599 * [taylor]: Taking taylor expansion of x in x 4.599 * [taylor]: Taking taylor expansion of y in x 4.599 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 4.599 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.599 * [taylor]: Taking taylor expansion of z in x 4.599 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 4.599 * [taylor]: Taking taylor expansion of z in x 4.599 * [taylor]: Taking taylor expansion of 1.0 in x 4.599 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in z 4.599 * [taylor]: Taking taylor expansion of y in z 4.599 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in z 4.599 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 4.599 * [taylor]: Taking taylor expansion of z in z 4.599 * [taylor]: Taking taylor expansion of 1.0 in z 4.599 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.599 * [taylor]: Taking taylor expansion of z in z 4.600 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 4.600 * [taylor]: Taking taylor expansion of 1.0 in y 4.600 * [taylor]: Taking taylor expansion of y in y 4.605 * [taylor]: Taking taylor expansion of 0 in z 4.606 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y 4.606 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 4.606 * [taylor]: Taking taylor expansion of 1.0 in y 4.606 * [taylor]: Taking taylor expansion of y in y 4.610 * [taylor]: Taking taylor expansion of 0 in z 4.612 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 4.612 * [taylor]: Taking taylor expansion of 1.0 in y 4.612 * [taylor]: Taking taylor expansion of y in y 4.614 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x z y) around 0 4.614 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 4.614 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.614 * [taylor]: Taking taylor expansion of z in y 4.614 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 4.614 * [taylor]: Taking taylor expansion of x in y 4.614 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 4.614 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 4.614 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.614 * [taylor]: Taking taylor expansion of z in y 4.614 * [taylor]: Taking taylor expansion of 1.0 in y 4.614 * [taylor]: Taking taylor expansion of y in y 4.615 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 4.615 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.615 * [taylor]: Taking taylor expansion of z in z 4.616 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 4.616 * [taylor]: Taking taylor expansion of x in z 4.616 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 4.616 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 4.616 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.616 * [taylor]: Taking taylor expansion of z in z 4.616 * [taylor]: Taking taylor expansion of 1.0 in z 4.616 * [taylor]: Taking taylor expansion of y in z 4.616 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 4.616 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.616 * [taylor]: Taking taylor expansion of z in x 4.616 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 4.617 * [taylor]: Taking taylor expansion of x in x 4.617 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 4.617 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 4.617 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.617 * [taylor]: Taking taylor expansion of z in x 4.617 * [taylor]: Taking taylor expansion of 1.0 in x 4.617 * [taylor]: Taking taylor expansion of y in x 4.618 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 4.618 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.618 * [taylor]: Taking taylor expansion of z in x 4.618 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 4.618 * [taylor]: Taking taylor expansion of x in x 4.618 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 4.618 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 4.618 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.618 * [taylor]: Taking taylor expansion of z in x 4.618 * [taylor]: Taking taylor expansion of 1.0 in x 4.618 * [taylor]: Taking taylor expansion of y in x 4.619 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in z 4.619 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.619 * [taylor]: Taking taylor expansion of z in z 4.619 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in z 4.619 * [taylor]: Taking taylor expansion of (/ y z) in z 4.619 * [taylor]: Taking taylor expansion of y in z 4.619 * [taylor]: Taking taylor expansion of z in z 4.619 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 4.619 * [taylor]: Taking taylor expansion of 1.0 in z 4.619 * [taylor]: Taking taylor expansion of y in z 4.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.619 * [taylor]: Taking taylor expansion of y in y 4.621 * [taylor]: Taking taylor expansion of 0 in z 4.621 * [taylor]: Taking taylor expansion of 0 in y 4.622 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 4.622 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.622 * [taylor]: Taking taylor expansion of 1.0 in y 4.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.622 * [taylor]: Taking taylor expansion of y in y 4.626 * [taylor]: Taking taylor expansion of 0 in z 4.626 * [taylor]: Taking taylor expansion of 0 in y 4.626 * [taylor]: Taking taylor expansion of 0 in y 4.628 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.628 * [taylor]: Taking taylor expansion of 1.0 in y 4.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.628 * [taylor]: Taking taylor expansion of y in y 4.630 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in (x z y) around 0 4.630 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in y 4.630 * [taylor]: Taking taylor expansion of -1 in y 4.630 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in y 4.630 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in y 4.630 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 4.630 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.630 * [taylor]: Taking taylor expansion of -1 in y 4.631 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.631 * [taylor]: Taking taylor expansion of z in y 4.631 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 4.631 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 4.631 * [taylor]: Taking taylor expansion of 1.0 in y 4.631 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.631 * [taylor]: Taking taylor expansion of z in y 4.631 * [taylor]: Taking taylor expansion of (* x y) in y 4.631 * [taylor]: Taking taylor expansion of x in y 4.631 * [taylor]: Taking taylor expansion of y in y 4.635 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in z 4.635 * [taylor]: Taking taylor expansion of -1 in z 4.635 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in z 4.635 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in z 4.635 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 4.635 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.635 * [taylor]: Taking taylor expansion of -1 in z 4.636 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.636 * [taylor]: Taking taylor expansion of z in z 4.636 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 4.636 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 4.636 * [taylor]: Taking taylor expansion of 1.0 in z 4.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.636 * [taylor]: Taking taylor expansion of z in z 4.636 * [taylor]: Taking taylor expansion of (* x y) in z 4.636 * [taylor]: Taking taylor expansion of x in z 4.636 * [taylor]: Taking taylor expansion of y in z 4.640 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in x 4.640 * [taylor]: Taking taylor expansion of -1 in x 4.640 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in x 4.641 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in x 4.641 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 4.641 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.641 * [taylor]: Taking taylor expansion of -1 in x 4.641 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.641 * [taylor]: Taking taylor expansion of z in x 4.641 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 4.641 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 4.641 * [taylor]: Taking taylor expansion of 1.0 in x 4.641 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.641 * [taylor]: Taking taylor expansion of z in x 4.641 * [taylor]: Taking taylor expansion of (* x y) in x 4.641 * [taylor]: Taking taylor expansion of x in x 4.641 * [taylor]: Taking taylor expansion of y in x 4.646 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in x 4.646 * [taylor]: Taking taylor expansion of -1 in x 4.646 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in x 4.646 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in x 4.646 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 4.646 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.646 * [taylor]: Taking taylor expansion of -1 in x 4.646 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.646 * [taylor]: Taking taylor expansion of z in x 4.646 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 4.646 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 4.646 * [taylor]: Taking taylor expansion of 1.0 in x 4.646 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.646 * [taylor]: Taking taylor expansion of z in x 4.647 * [taylor]: Taking taylor expansion of (* x y) in x 4.647 * [taylor]: Taking taylor expansion of x in x 4.647 * [taylor]: Taking taylor expansion of y in x 4.651 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in z 4.651 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.651 * [taylor]: Taking taylor expansion of z in z 4.651 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in z 4.651 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 4.651 * [taylor]: Taking taylor expansion of 1.0 in z 4.651 * [taylor]: Taking taylor expansion of y in z 4.651 * [taylor]: Taking taylor expansion of (/ y z) in z 4.651 * [taylor]: Taking taylor expansion of y in z 4.651 * [taylor]: Taking taylor expansion of z in z 4.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.651 * [taylor]: Taking taylor expansion of -1 in y 4.651 * [taylor]: Taking taylor expansion of y in y 4.655 * [taylor]: Taking taylor expansion of 0 in z 4.655 * [taylor]: Taking taylor expansion of 0 in y 4.656 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 4.656 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.657 * [taylor]: Taking taylor expansion of 1.0 in y 4.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.657 * [taylor]: Taking taylor expansion of y in y 4.664 * [taylor]: Taking taylor expansion of 0 in z 4.664 * [taylor]: Taking taylor expansion of 0 in y 4.664 * [taylor]: Taking taylor expansion of 0 in y 4.666 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 4.666 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 4.666 * [taylor]: Taking taylor expansion of 1.0 in y 4.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.666 * [taylor]: Taking taylor expansion of y in y 4.668 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 4.668 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.668 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.668 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.668 * [taylor]: Taking taylor expansion of 1/3 in x 4.668 * [taylor]: Taking taylor expansion of (log x) in x 4.668 * [taylor]: Taking taylor expansion of x in x 4.669 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.669 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.669 * [taylor]: Taking taylor expansion of 1/3 in x 4.669 * [taylor]: Taking taylor expansion of (log x) in x 4.669 * [taylor]: Taking taylor expansion of x in x 4.719 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.719 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.719 * [taylor]: Taking taylor expansion of 1/3 in x 4.719 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.719 * [taylor]: Taking taylor expansion of x in x 4.720 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.720 * [taylor]: Taking taylor expansion of 1/3 in x 4.720 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.720 * [taylor]: Taking taylor expansion of x in x 4.775 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.775 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.775 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.775 * [taylor]: Taking taylor expansion of -1 in x 4.776 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.776 * [taylor]: Taking taylor expansion of 1/3 in x 4.776 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.777 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.777 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.777 * [taylor]: Taking taylor expansion of -1 in x 4.777 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.777 * [taylor]: Taking taylor expansion of 1/3 in x 4.777 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.777 * [taylor]: Taking taylor expansion of x in x 4.844 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 4.844 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.844 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.844 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.844 * [taylor]: Taking taylor expansion of 1/3 in x 4.844 * [taylor]: Taking taylor expansion of (log x) in x 4.844 * [taylor]: Taking taylor expansion of x in x 4.845 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.845 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.845 * [taylor]: Taking taylor expansion of 1/3 in x 4.845 * [taylor]: Taking taylor expansion of (log x) in x 4.845 * [taylor]: Taking taylor expansion of x in x 4.893 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.893 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.893 * [taylor]: Taking taylor expansion of 1/3 in x 4.893 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.893 * [taylor]: Taking taylor expansion of x in x 4.894 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.894 * [taylor]: Taking taylor expansion of 1/3 in x 4.894 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.894 * [taylor]: Taking taylor expansion of x in x 4.949 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.949 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.949 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.949 * [taylor]: Taking taylor expansion of -1 in x 4.949 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.950 * [taylor]: Taking taylor expansion of 1/3 in x 4.950 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.950 * [taylor]: Taking taylor expansion of x in x 4.950 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.950 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.950 * [taylor]: Taking taylor expansion of -1 in x 4.951 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.951 * [taylor]: Taking taylor expansion of 1/3 in x 4.951 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.951 * [taylor]: Taking taylor expansion of x in x 5.020 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 5.021 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.021 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.021 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.021 * [taylor]: Taking taylor expansion of 1/3 in x 5.021 * [taylor]: Taking taylor expansion of (log x) in x 5.021 * [taylor]: Taking taylor expansion of x in x 5.021 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.021 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.021 * [taylor]: Taking taylor expansion of 1/3 in x 5.021 * [taylor]: Taking taylor expansion of (log x) in x 5.021 * [taylor]: Taking taylor expansion of x in x 5.076 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.076 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.076 * [taylor]: Taking taylor expansion of 1/3 in x 5.076 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.076 * [taylor]: Taking taylor expansion of x in x 5.077 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.077 * [taylor]: Taking taylor expansion of 1/3 in x 5.077 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.077 * [taylor]: Taking taylor expansion of x in x 5.127 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.127 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.127 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.127 * [taylor]: Taking taylor expansion of -1 in x 5.128 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.128 * [taylor]: Taking taylor expansion of 1/3 in x 5.128 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.128 * [taylor]: Taking taylor expansion of x in x 5.129 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.129 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.129 * [taylor]: Taking taylor expansion of -1 in x 5.136 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.136 * [taylor]: Taking taylor expansion of 1/3 in x 5.136 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.136 * [taylor]: Taking taylor expansion of x in x 5.197 * * * [progress]: simplifying candidates 5.198 * [simplify]: Simplifying using # : (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (+ (log (/ (* (cbrt x) (cbrt x)) z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (log (/ (* (cbrt x) (cbrt x)) z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (log (/ (* (cbrt x) (cbrt x)) z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (log (/ (* (cbrt x) (cbrt x)) z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (log (/ (* (cbrt x) (cbrt x)) z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (exp (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* x x) (* (* z z) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* x x) (* (* z z) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* x x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* x x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* x x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (* (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (sqrt (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (sqrt (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) y)) (* z (* z (+ z 1.0))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) z) y)) (* z (+ z 1.0)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y (+ z 1.0)))) (* z z) (* (/ (* (cbrt x) (cbrt x)) z) (/ (cbrt x) z)) (* (cbrt (/ (* (cbrt x) (cbrt x)) z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ 1 z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)) (* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) y)) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) (/ y (+ z 1.0)))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (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)) (- (+ (* 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 x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 5.203 * * [simplify]: iteration 0 : 161 enodes (cost 1803 ) 5.239 * * [simplify]: iteration 1 : 533 enodes (cost 1703 ) 5.398 * * [simplify]: iteration 2 : 2168 enodes (cost 1085 ) 5.838 * * [simplify]: iteration done : 5000 enodes (cost 1085 ) 5.839 * [simplify]: Simplified to: (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (log (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (exp (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (* (pow (/ y (+ z 1.0)) 3) (* (/ (* x x) (pow z 3)) (/ x (pow z 3)))) (* (pow (/ y (+ z 1.0)) 3) (* (/ (* x x) (pow z 3)) (/ x (pow z 3)))) (* (/ (* x x) (pow z 3)) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (* (/ (* x x) (pow z 3)) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (* (/ (* x x) (pow z 3)) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (* (pow (/ y (+ z 1.0)) 3) (/ (* (pow (/ (pow x 2/3) z) 3) x) (pow z 3))) (* (pow (/ y (+ z 1.0)) 3) (/ (* (pow (/ (pow x 2/3) z) 3) x) (pow z 3))) (pow (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) 3) (pow (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) 3) (pow (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) 3) (* (pow (/ y (+ z 1.0)) 3) (/ (* (pow (/ (pow x 2/3) z) 3) x) (pow z 3))) (* (pow (/ y (+ z 1.0)) 3) (/ (* (pow (/ (pow x 2/3) z) 3) x) (pow z 3))) (pow (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) 3) (pow (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) 3) (pow (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) 3) (* (cbrt (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (cbrt (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))))) (cbrt (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (pow (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) 3) (sqrt (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (sqrt (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0)))) (* (pow (cbrt x) 3) y) (* z (* z (+ z 1.0))) (* (/ (pow (cbrt x) 3) z) y) (* z (+ z 1.0)) (* (/ y (+ z 1.0)) (pow (cbrt x) 3)) (* z z) (/ (pow (cbrt x) 3) (* z z)) (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (cbrt (/ (pow x 2/3) z))) (* (sqrt (/ (pow x 2/3) z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (/ (* (/ (/ (pow x 2/3) z) (cbrt z)) y) (+ z 1.0)) (/ (/ (/ (* (pow x 2/3) y) (+ z 1.0)) z) (sqrt z)) (/ (/ (/ (* (pow x 2/3) y) (+ z 1.0)) z) z) (* (/ (/ (pow (cbrt x) 3) z) z) (/ y (+ z 1.0))) (/ (* (/ (cbrt x) z) (/ y (+ z 1.0))) z) (* (/ (pow (cbrt x) 3) z) y) (/ (/ (pow (cbrt x) 3) z) (/ z y)) (/ (* (/ (pow (cbrt x) 3) z) y) (+ z 1.0)) (/ (* (/ (pow (cbrt x) 3) z) y) (+ z 1.0)) (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)) (pow (cbrt x) 3) (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)) (pow (cbrt x) 3) (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)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1.0 (- (+ (* x y) (/ (* x y) (pow z 2))) (/ (* 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)))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 5.840 * * * [progress]: adding candidates to table 6.038 * * [progress]: iteration 4 / 4 6.038 * * * [progress]: picking best candidate 6.057 * * * * [pick]: Picked # 6.057 * * * [progress]: localizing error 6.072 * * * [progress]: generating rewritten candidates 6.072 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 6.330 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 6.331 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2) 6.331 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1) 6.340 * * * [progress]: generating series expansions 6.340 * * * * [progress]: [ 1 / 4 ] generating series at (2) 6.341 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x z y) around 0 6.341 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 6.341 * [taylor]: Taking taylor expansion of (* x y) in y 6.341 * [taylor]: Taking taylor expansion of x in y 6.341 * [taylor]: Taking taylor expansion of y in y 6.341 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 6.341 * [taylor]: Taking taylor expansion of (pow z 2) in y 6.341 * [taylor]: Taking taylor expansion of z in y 6.341 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 6.341 * [taylor]: Taking taylor expansion of z in y 6.341 * [taylor]: Taking taylor expansion of 1.0 in y 6.342 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 6.342 * [taylor]: Taking taylor expansion of (* x y) in z 6.342 * [taylor]: Taking taylor expansion of x in z 6.342 * [taylor]: Taking taylor expansion of y in z 6.342 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 6.342 * [taylor]: Taking taylor expansion of (pow z 2) in z 6.342 * [taylor]: Taking taylor expansion of z in z 6.342 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 6.342 * [taylor]: Taking taylor expansion of z in z 6.342 * [taylor]: Taking taylor expansion of 1.0 in z 6.343 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 6.343 * [taylor]: Taking taylor expansion of (* x y) in x 6.343 * [taylor]: Taking taylor expansion of x in x 6.343 * [taylor]: Taking taylor expansion of y in x 6.343 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 6.343 * [taylor]: Taking taylor expansion of (pow z 2) in x 6.343 * [taylor]: Taking taylor expansion of z in x 6.343 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 6.343 * [taylor]: Taking taylor expansion of z in x 6.343 * [taylor]: Taking taylor expansion of 1.0 in x 6.343 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 6.343 * [taylor]: Taking taylor expansion of (* x y) in x 6.343 * [taylor]: Taking taylor expansion of x in x 6.343 * [taylor]: Taking taylor expansion of y in x 6.343 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 6.343 * [taylor]: Taking taylor expansion of (pow z 2) in x 6.343 * [taylor]: Taking taylor expansion of z in x 6.343 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 6.343 * [taylor]: Taking taylor expansion of z in x 6.343 * [taylor]: Taking taylor expansion of 1.0 in x 6.344 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in z 6.344 * [taylor]: Taking taylor expansion of y in z 6.344 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in z 6.344 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 6.344 * [taylor]: Taking taylor expansion of z in z 6.344 * [taylor]: Taking taylor expansion of 1.0 in z 6.344 * [taylor]: Taking taylor expansion of (pow z 2) in z 6.344 * [taylor]: Taking taylor expansion of z in z 6.345 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 6.345 * [taylor]: Taking taylor expansion of 1.0 in y 6.345 * [taylor]: Taking taylor expansion of y in y 6.347 * [taylor]: Taking taylor expansion of 0 in z 6.348 * [taylor]: Taking taylor expansion of (- (* 1.0 y)) in y 6.348 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 6.349 * [taylor]: Taking taylor expansion of 1.0 in y 6.349 * [taylor]: Taking taylor expansion of y in y 6.352 * [taylor]: Taking taylor expansion of 0 in z 6.354 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 6.354 * [taylor]: Taking taylor expansion of 1.0 in y 6.354 * [taylor]: Taking taylor expansion of y in y 6.356 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x z y) around 0 6.356 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 6.356 * [taylor]: Taking taylor expansion of (pow z 2) in y 6.356 * [taylor]: Taking taylor expansion of z in y 6.356 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 6.356 * [taylor]: Taking taylor expansion of x in y 6.356 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 6.356 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 6.356 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.356 * [taylor]: Taking taylor expansion of z in y 6.356 * [taylor]: Taking taylor expansion of 1.0 in y 6.356 * [taylor]: Taking taylor expansion of y in y 6.358 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 6.358 * [taylor]: Taking taylor expansion of (pow z 2) in z 6.358 * [taylor]: Taking taylor expansion of z in z 6.358 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 6.358 * [taylor]: Taking taylor expansion of x in z 6.358 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 6.358 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 6.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.358 * [taylor]: Taking taylor expansion of z in z 6.358 * [taylor]: Taking taylor expansion of 1.0 in z 6.358 * [taylor]: Taking taylor expansion of y in z 6.358 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 6.359 * [taylor]: Taking taylor expansion of (pow z 2) in x 6.359 * [taylor]: Taking taylor expansion of z in x 6.359 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 6.359 * [taylor]: Taking taylor expansion of x in x 6.359 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 6.359 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 6.359 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.359 * [taylor]: Taking taylor expansion of z in x 6.359 * [taylor]: Taking taylor expansion of 1.0 in x 6.359 * [taylor]: Taking taylor expansion of y in x 6.360 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 6.360 * [taylor]: Taking taylor expansion of (pow z 2) in x 6.360 * [taylor]: Taking taylor expansion of z in x 6.360 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 6.360 * [taylor]: Taking taylor expansion of x in x 6.360 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 6.360 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 6.360 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.360 * [taylor]: Taking taylor expansion of z in x 6.360 * [taylor]: Taking taylor expansion of 1.0 in x 6.360 * [taylor]: Taking taylor expansion of y in x 6.361 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in z 6.361 * [taylor]: Taking taylor expansion of (pow z 2) in z 6.361 * [taylor]: Taking taylor expansion of z in z 6.361 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in z 6.361 * [taylor]: Taking taylor expansion of (/ y z) in z 6.361 * [taylor]: Taking taylor expansion of y in z 6.361 * [taylor]: Taking taylor expansion of z in z 6.361 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 6.361 * [taylor]: Taking taylor expansion of 1.0 in z 6.361 * [taylor]: Taking taylor expansion of y in z 6.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.361 * [taylor]: Taking taylor expansion of y in y 6.363 * [taylor]: Taking taylor expansion of 0 in z 6.363 * [taylor]: Taking taylor expansion of 0 in y 6.364 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 6.364 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.364 * [taylor]: Taking taylor expansion of 1.0 in y 6.364 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.364 * [taylor]: Taking taylor expansion of y in y 6.368 * [taylor]: Taking taylor expansion of 0 in z 6.368 * [taylor]: Taking taylor expansion of 0 in y 6.368 * [taylor]: Taking taylor expansion of 0 in y 6.370 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.370 * [taylor]: Taking taylor expansion of 1.0 in y 6.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.370 * [taylor]: Taking taylor expansion of y in y 6.372 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in (x z y) around 0 6.372 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in y 6.372 * [taylor]: Taking taylor expansion of -1 in y 6.372 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in y 6.372 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in y 6.372 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 6.372 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.372 * [taylor]: Taking taylor expansion of -1 in y 6.373 * [taylor]: Taking taylor expansion of (pow z 2) in y 6.373 * [taylor]: Taking taylor expansion of z in y 6.373 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 6.373 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 6.373 * [taylor]: Taking taylor expansion of 1.0 in y 6.373 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.373 * [taylor]: Taking taylor expansion of z in y 6.373 * [taylor]: Taking taylor expansion of (* x y) in y 6.373 * [taylor]: Taking taylor expansion of x in y 6.373 * [taylor]: Taking taylor expansion of y in y 6.377 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in z 6.377 * [taylor]: Taking taylor expansion of -1 in z 6.377 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in z 6.377 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in z 6.377 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 6.377 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.377 * [taylor]: Taking taylor expansion of -1 in z 6.378 * [taylor]: Taking taylor expansion of (pow z 2) in z 6.378 * [taylor]: Taking taylor expansion of z in z 6.378 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 6.378 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 6.378 * [taylor]: Taking taylor expansion of 1.0 in z 6.378 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.378 * [taylor]: Taking taylor expansion of z in z 6.378 * [taylor]: Taking taylor expansion of (* x y) in z 6.378 * [taylor]: Taking taylor expansion of x in z 6.378 * [taylor]: Taking taylor expansion of y in z 6.382 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in x 6.382 * [taylor]: Taking taylor expansion of -1 in x 6.382 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in x 6.382 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in x 6.382 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 6.382 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.382 * [taylor]: Taking taylor expansion of -1 in x 6.383 * [taylor]: Taking taylor expansion of (pow z 2) in x 6.383 * [taylor]: Taking taylor expansion of z in x 6.383 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 6.383 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 6.383 * [taylor]: Taking taylor expansion of 1.0 in x 6.383 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.383 * [taylor]: Taking taylor expansion of z in x 6.383 * [taylor]: Taking taylor expansion of (* x y) in x 6.383 * [taylor]: Taking taylor expansion of x in x 6.383 * [taylor]: Taking taylor expansion of y in x 6.387 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y)))) in x 6.387 * [taylor]: Taking taylor expansion of -1 in x 6.387 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (pow z 2)) (* (- 1.0 (/ 1 z)) (* x y))) in x 6.387 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (pow z 2)) in x 6.387 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 6.387 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.387 * [taylor]: Taking taylor expansion of -1 in x 6.388 * [taylor]: Taking taylor expansion of (pow z 2) in x 6.388 * [taylor]: Taking taylor expansion of z in x 6.388 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 6.388 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 6.388 * [taylor]: Taking taylor expansion of 1.0 in x 6.388 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.388 * [taylor]: Taking taylor expansion of z in x 6.388 * [taylor]: Taking taylor expansion of (* x y) in x 6.388 * [taylor]: Taking taylor expansion of x in x 6.388 * [taylor]: Taking taylor expansion of y in x 6.392 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in z 6.392 * [taylor]: Taking taylor expansion of (pow z 2) in z 6.392 * [taylor]: Taking taylor expansion of z in z 6.392 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in z 6.392 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 6.392 * [taylor]: Taking taylor expansion of 1.0 in z 6.392 * [taylor]: Taking taylor expansion of y in z 6.392 * [taylor]: Taking taylor expansion of (/ y z) in z 6.392 * [taylor]: Taking taylor expansion of y in z 6.392 * [taylor]: Taking taylor expansion of z in z 6.393 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.393 * [taylor]: Taking taylor expansion of -1 in y 6.393 * [taylor]: Taking taylor expansion of y in y 6.397 * [taylor]: Taking taylor expansion of 0 in z 6.397 * [taylor]: Taking taylor expansion of 0 in y 6.398 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 6.398 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.398 * [taylor]: Taking taylor expansion of 1.0 in y 6.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.398 * [taylor]: Taking taylor expansion of y in y 6.405 * [taylor]: Taking taylor expansion of 0 in z 6.405 * [taylor]: Taking taylor expansion of 0 in y 6.405 * [taylor]: Taking taylor expansion of 0 in y 6.407 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 6.407 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.407 * [taylor]: Taking taylor expansion of 1.0 in y 6.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.407 * [taylor]: Taking taylor expansion of y in y 6.409 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 6.409 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.409 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.409 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.409 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.409 * [taylor]: Taking taylor expansion of 1/9 in x 6.409 * [taylor]: Taking taylor expansion of (log x) in x 6.409 * [taylor]: Taking taylor expansion of x in x 6.410 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.410 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.410 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.410 * [taylor]: Taking taylor expansion of 1/9 in x 6.410 * [taylor]: Taking taylor expansion of (log x) in x 6.410 * [taylor]: Taking taylor expansion of x in x 6.473 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.473 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.473 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.473 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.473 * [taylor]: Taking taylor expansion of 1/9 in x 6.473 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.473 * [taylor]: Taking taylor expansion of x in x 6.474 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.474 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.474 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.474 * [taylor]: Taking taylor expansion of 1/9 in x 6.474 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.474 * [taylor]: Taking taylor expansion of x in x 6.529 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.529 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.529 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.529 * [taylor]: Taking taylor expansion of 1/3 in x 6.529 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.529 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.529 * [taylor]: Taking taylor expansion of -1 in x 6.533 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.533 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.533 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.533 * [taylor]: Taking taylor expansion of 1/9 in x 6.533 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.533 * [taylor]: Taking taylor expansion of x in x 6.533 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.534 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.534 * [taylor]: Taking taylor expansion of 1/3 in x 6.534 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.534 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.534 * [taylor]: Taking taylor expansion of -1 in x 6.537 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.537 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.537 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.537 * [taylor]: Taking taylor expansion of 1/9 in x 6.537 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.537 * [taylor]: Taking taylor expansion of x in x 6.660 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2) 6.660 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.660 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.660 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.660 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.660 * [taylor]: Taking taylor expansion of 1/9 in x 6.660 * [taylor]: Taking taylor expansion of (log x) in x 6.660 * [taylor]: Taking taylor expansion of x in x 6.660 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.661 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.661 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.661 * [taylor]: Taking taylor expansion of 1/9 in x 6.661 * [taylor]: Taking taylor expansion of (log x) in x 6.661 * [taylor]: Taking taylor expansion of x in x 6.707 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.707 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.707 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.707 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.707 * [taylor]: Taking taylor expansion of 1/9 in x 6.707 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.707 * [taylor]: Taking taylor expansion of x in x 6.708 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.708 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.708 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.708 * [taylor]: Taking taylor expansion of 1/9 in x 6.708 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.708 * [taylor]: Taking taylor expansion of x in x 6.763 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.763 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.763 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.763 * [taylor]: Taking taylor expansion of 1/3 in x 6.763 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.763 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.763 * [taylor]: Taking taylor expansion of -1 in x 6.767 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.767 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.767 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.767 * [taylor]: Taking taylor expansion of 1/9 in x 6.767 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.767 * [taylor]: Taking taylor expansion of x in x 6.767 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.767 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.767 * [taylor]: Taking taylor expansion of 1/3 in x 6.768 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.768 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.768 * [taylor]: Taking taylor expansion of -1 in x 6.771 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.771 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.771 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.771 * [taylor]: Taking taylor expansion of 1/9 in x 6.771 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.771 * [taylor]: Taking taylor expansion of x in x 6.892 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1) 6.892 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.893 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.893 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.893 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.893 * [taylor]: Taking taylor expansion of 1/9 in x 6.893 * [taylor]: Taking taylor expansion of (log x) in x 6.893 * [taylor]: Taking taylor expansion of x in x 6.893 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.893 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.893 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.893 * [taylor]: Taking taylor expansion of 1/9 in x 6.893 * [taylor]: Taking taylor expansion of (log x) in x 6.893 * [taylor]: Taking taylor expansion of x in x 6.945 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.945 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.945 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.945 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.945 * [taylor]: Taking taylor expansion of 1/9 in x 6.945 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.945 * [taylor]: Taking taylor expansion of x in x 6.946 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.946 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.946 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.946 * [taylor]: Taking taylor expansion of 1/9 in x 6.946 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.946 * [taylor]: Taking taylor expansion of x in x 6.996 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.996 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.996 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.996 * [taylor]: Taking taylor expansion of 1/3 in x 6.996 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.996 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.996 * [taylor]: Taking taylor expansion of -1 in x 7.000 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 7.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 7.000 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 7.000 * [taylor]: Taking taylor expansion of 1/9 in x 7.000 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.000 * [taylor]: Taking taylor expansion of x in x 7.000 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 7.001 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 7.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 7.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 7.001 * [taylor]: Taking taylor expansion of 1/3 in x 7.001 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 7.001 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.001 * [taylor]: Taking taylor expansion of -1 in x 7.004 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 7.004 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 7.004 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 7.004 * [taylor]: Taking taylor expansion of 1/9 in x 7.004 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.004 * [taylor]: Taking taylor expansion of x in x 7.134 * * * [progress]: simplifying candidates 7.136 * [simplify]: Simplifying using # : (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (+ (- (+ (+ (+ (log (cbrt (cbrt x))) (log (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (+ (+ (log (cbrt (cbrt x))) (log (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (- (+ (+ (+ (log (cbrt (cbrt x))) (log (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (+ (+ (log (cbrt (cbrt x))) (log (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (- (+ (+ (+ (log (cbrt (cbrt x))) (log (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (+ (- (+ (+ (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (+ (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (- (+ (+ (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (+ (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (- (+ (+ (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (log (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (+ (- (+ (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (- (+ (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (- (+ (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (- (+ (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (log (cbrt x))) (log z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (+ (- (log (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (- (log (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (log z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (- (log (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (- (log (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (log z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (- (log (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (log z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (+ (log (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (+ (- (log (cbrt x)) (log z)) (- (log y) (log (+ z 1.0))))) (+ (log (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (+ (- (log (cbrt x)) (log z)) (log (/ y (+ z 1.0))))) (+ (log (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (+ (log (/ (cbrt x) z)) (- (log y) (log (+ z 1.0))))) (+ (log (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (+ (log (/ (cbrt x) z)) (log (/ y (+ z 1.0))))) (+ (log (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (log (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (exp (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (cbrt x)) x) (* (* z z) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (cbrt x)) x) (* (* z z) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (cbrt x)) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (cbrt x)) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (cbrt x) (cbrt x)) (cbrt x)) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt x)) x) (* (* z z) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt x)) x) (* (* z z) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt x)) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt x)) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt x)) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) x) (* (* z z) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) x) (* (* z z) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) x) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* z z) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* z z) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (/ (* (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x))) (* (* z z) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (* (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (* (/ x (* (* z z) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (* (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (* (/ x (* (* z z) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (* (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (/ (* (* y y) y) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))))) (* (* (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (* (* (* (/ (cbrt x) z) (/ (cbrt x) z)) (/ (cbrt x) z)) (* (* (/ y (+ z 1.0)) (/ y (+ z 1.0))) (/ y (+ z 1.0))))) (* (* (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (* (* (* (/ (cbrt x) z) (/ y (+ z 1.0))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (cbrt (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (cbrt (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))))) (cbrt (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (* (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (sqrt (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (sqrt (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (cbrt x) y)) (* z (* z (+ z 1.0))) (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (/ (cbrt x) z) y)) (* z (+ z 1.0)) (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (cbrt x) (/ y (+ z 1.0)))) (* z z) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (/ (cbrt x) z)) (* (cbrt (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (sqrt (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ 1 z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (cbrt x) y)) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (/ (cbrt x) z) y)) (* (/ (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) z) (* (cbrt x) (/ y (+ z 1.0)))) (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (cbrt x)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (- (+ (* 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 x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) 7.144 * * [simplify]: iteration 0 : 212 enodes (cost 3607 ) 7.192 * * [simplify]: iteration 1 : 718 enodes (cost 3415 ) 7.410 * * [simplify]: iteration 2 : 3165 enodes (cost 2051 ) 8.030 * * [simplify]: iteration done : 5001 enodes (cost 2041 ) 8.032 * [simplify]: Simplified to: (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (log (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (pow (exp (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x)))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (* x (pow (/ (cbrt x) z) 3)) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (* (* x (pow (/ (cbrt x) z) 3)) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (* (* x (pow (/ (cbrt x) z) 3)) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (* (* x (pow (/ (cbrt x) z) 3)) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (* (* x (pow (/ (cbrt x) z) 3)) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (* (/ (* (cbrt x) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (pow z 3) x)) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (* (/ (* (cbrt x) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (pow z 3) x)) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (/ (* (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3) (* (cbrt x) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3))) (/ (pow z 3) x)) (/ (* (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3) (* (cbrt x) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3))) (/ (pow z 3) x)) (/ (* (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3) (* (cbrt x) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3))) (/ (pow z 3) x)) (/ (* (* (pow (pow (cbrt (cbrt x)) 3) 3) x) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (pow z 3)) (/ (* (* (pow (pow (cbrt (cbrt x)) 3) 3) x) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (pow z 3)) (/ (* (pow (pow (cbrt (cbrt x)) 3) 3) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (/ (pow z 3) x)) (/ (* (pow (pow (cbrt (cbrt x)) 3) 3) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (/ (pow z 3) x)) (/ (* (pow (pow (cbrt (cbrt x)) 3) 3) (pow (* (/ (cbrt x) z) (/ y (+ z 1.0))) 3)) (/ (pow z 3) x)) (* (pow (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) 3) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (* (pow (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) 3) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (pow (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) 3) (pow (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) 3) (pow (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) 3) (* (pow (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) 3) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (* (pow (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) 3) (/ (* x (pow (/ y (+ z 1.0)) 3)) (pow z 3))) (pow (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) 3) (pow (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) 3) (pow (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) 3) (* (cbrt (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (cbrt (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))))) (cbrt (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (pow (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) 3) (sqrt (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (sqrt (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0))))) (* (* (pow (cbrt (cbrt x)) 3) (cbrt x)) (* (cbrt x) y)) (* z (* z (+ z 1.0))) (* (* (pow (cbrt (cbrt x)) 3) (cbrt x)) (* (/ (cbrt x) z) y)) (* z (+ z 1.0)) (* (* (pow (cbrt (cbrt x)) 3) (cbrt x)) (* (cbrt x) (/ y (+ z 1.0)))) (* z z) (* (/ (cbrt x) z) (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x)))) (/ (* (cbrt (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x)))) (* (/ (cbrt x) z) y)) (+ z 1.0)) (* (sqrt (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x)))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (cbrt x) z) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (* (/ (pow (cbrt (cbrt x)) 3) (/ z (cbrt x))) (* (/ (cbrt x) z) (/ y (+ z 1.0)))) (/ (* (/ (cbrt x) z) (/ y (+ z 1.0))) z) (* (* (pow (cbrt (cbrt x)) 3) (cbrt x)) (* (/ (cbrt x) z) y)) (/ (* (* (pow (cbrt (cbrt x)) 3) (cbrt x)) (* (/ (cbrt x) z) y)) z) (/ (* (* (pow (cbrt (cbrt x)) 3) (cbrt x)) (* (/ (cbrt x) z) y)) (+ z 1.0)) (/ (* (* (pow (cbrt (cbrt x)) 3) (cbrt x)) (* (/ (cbrt x) z) y)) (+ z 1.0)) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (pow (cbrt (cbrt x)) 3) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (pow (cbrt (cbrt x)) 3) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (pow (cbrt (cbrt x)) 3) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (* 1.0 (- (+ (* x y) (/ (* x y) (pow z 2))) (/ (* 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 x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) 8.033 * * * [progress]: adding candidates to table 8.314 * [progress]: [Phase 3 of 3] Extracting. 8.314 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 8.317 * * * [regime-changes]: Trying 5 branch expressions: ((* (* z z) (+ z 1.0)) (* x y) z y x) 8.317 * * * * [regimes]: Trying to branch on (* (* z z) (+ z 1.0)) from (# # # # # # # # # #) 8.357 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # # # # # #) 8.390 * * * * [regimes]: Trying to branch on (* x y) from (# #) 8.402 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # #) 8.436 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 8.471 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 8.513 * * * [regime]: Found split indices: #