22.543 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (+ (* (/ x y) (- z t)) t) 0.023 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.024 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.026 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 0.031 * * [simplify]: iteration 3 : 54 enodes (cost 8 ) 0.039 * * [simplify]: iteration 4 : 86 enodes (cost 8 ) 0.051 * * [simplify]: iteration 5 : 121 enodes (cost 8 ) 0.073 * * [simplify]: iteration 6 : 154 enodes (cost 8 ) 0.099 * * [simplify]: iteration 7 : 192 enodes (cost 8 ) 0.148 * * [simplify]: iteration 8 : 243 enodes (cost 8 ) 0.200 * * [simplify]: iteration 9 : 321 enodes (cost 8 ) 0.324 * * [simplify]: iteration 10 : 430 enodes (cost 8 ) 0.437 * * [simplify]: iteration 11 : 490 enodes (cost 8 ) 0.545 * * [simplify]: iteration 12 : 551 enodes (cost 8 ) 0.691 * * [simplify]: iteration 13 : 622 enodes (cost 8 ) 0.842 * * [simplify]: iteration 14 : 644 enodes (cost 8 ) 0.998 * * [simplify]: iteration 15 : 684 enodes (cost 8 ) 1.213 * * [simplify]: iteration 16 : 808 enodes (cost 8 ) 1.570 * * [simplify]: iteration 17 : 1066 enodes (cost 8 ) 2.076 * * [simplify]: iteration 18 : 1416 enodes (cost 8 ) 3.251 * * [simplify]: iteration 19 : 2064 enodes (cost 8 ) 5.164 * * [simplify]: iteration 20 : 2718 enodes (cost 8 ) 6.731 * * [simplify]: iteration 21 : 2816 enodes (cost 8 ) 7.581 * * [simplify]: iteration 22 : 2822 enodes (cost 8 ) 8.418 * * [simplify]: iteration done : 2822 enodes (cost 8 ) 8.418 * [simplify]: Simplified to: (fma (/ x y) (- z t) t) 8.421 * * [progress]: iteration 1 / 4 8.421 * * * [progress]: picking best candidate 8.426 * * * * [pick]: Picked # 8.426 * * * [progress]: localizing error 8.433 * * * [progress]: generating rewritten candidates 8.433 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 8.450 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.464 * * * [progress]: generating series expansions 8.464 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 8.465 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 8.465 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 8.465 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 8.465 * [taylor]: Taking taylor expansion of x in t 8.465 * [taylor]: Taking taylor expansion of (- z t) in t 8.465 * [taylor]: Taking taylor expansion of z in t 8.465 * [taylor]: Taking taylor expansion of t in t 8.465 * [taylor]: Taking taylor expansion of y in t 8.465 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 8.465 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 8.465 * [taylor]: Taking taylor expansion of x in z 8.465 * [taylor]: Taking taylor expansion of (- z t) in z 8.465 * [taylor]: Taking taylor expansion of z in z 8.465 * [taylor]: Taking taylor expansion of t in z 8.465 * [taylor]: Taking taylor expansion of y in z 8.465 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 8.466 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 8.466 * [taylor]: Taking taylor expansion of x in y 8.466 * [taylor]: Taking taylor expansion of (- z t) in y 8.466 * [taylor]: Taking taylor expansion of z in y 8.466 * [taylor]: Taking taylor expansion of t in y 8.466 * [taylor]: Taking taylor expansion of y in y 8.466 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 8.466 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 8.466 * [taylor]: Taking taylor expansion of x in x 8.466 * [taylor]: Taking taylor expansion of (- z t) in x 8.466 * [taylor]: Taking taylor expansion of z in x 8.466 * [taylor]: Taking taylor expansion of t in x 8.466 * [taylor]: Taking taylor expansion of y in x 8.467 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 8.467 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 8.467 * [taylor]: Taking taylor expansion of x in x 8.467 * [taylor]: Taking taylor expansion of (- z t) in x 8.467 * [taylor]: Taking taylor expansion of z in x 8.467 * [taylor]: Taking taylor expansion of t in x 8.467 * [taylor]: Taking taylor expansion of y in x 8.468 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 8.468 * [taylor]: Taking taylor expansion of (- z t) in y 8.468 * [taylor]: Taking taylor expansion of z in y 8.468 * [taylor]: Taking taylor expansion of t in y 8.468 * [taylor]: Taking taylor expansion of y in y 8.468 * [taylor]: Taking taylor expansion of (- z t) in z 8.468 * [taylor]: Taking taylor expansion of z in z 8.468 * [taylor]: Taking taylor expansion of t in z 8.468 * [taylor]: Taking taylor expansion of (- t) in t 8.468 * [taylor]: Taking taylor expansion of t in t 8.470 * [taylor]: Taking taylor expansion of 0 in y 8.471 * [taylor]: Taking taylor expansion of 0 in z 8.471 * [taylor]: Taking taylor expansion of 0 in t 8.472 * [taylor]: Taking taylor expansion of 1 in t 8.473 * [taylor]: Taking taylor expansion of 0 in y 8.473 * [taylor]: Taking taylor expansion of 0 in z 8.474 * [taylor]: Taking taylor expansion of 0 in t 8.475 * [taylor]: Taking taylor expansion of 0 in z 8.475 * [taylor]: Taking taylor expansion of 0 in t 8.475 * [taylor]: Taking taylor expansion of 0 in t 8.476 * [taylor]: Taking taylor expansion of 0 in t 8.476 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 8.476 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 8.476 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 8.476 * [taylor]: Taking taylor expansion of y in t 8.476 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 8.476 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.476 * [taylor]: Taking taylor expansion of z in t 8.476 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.476 * [taylor]: Taking taylor expansion of t in t 8.477 * [taylor]: Taking taylor expansion of x in t 8.477 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 8.477 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 8.477 * [taylor]: Taking taylor expansion of y in z 8.477 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 8.477 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.477 * [taylor]: Taking taylor expansion of z in z 8.478 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.478 * [taylor]: Taking taylor expansion of t in z 8.478 * [taylor]: Taking taylor expansion of x in z 8.478 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 8.478 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 8.478 * [taylor]: Taking taylor expansion of y in y 8.478 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 8.478 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.478 * [taylor]: Taking taylor expansion of z in y 8.478 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.478 * [taylor]: Taking taylor expansion of t in y 8.478 * [taylor]: Taking taylor expansion of x in y 8.479 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 8.480 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 8.480 * [taylor]: Taking taylor expansion of y in x 8.480 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 8.480 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.480 * [taylor]: Taking taylor expansion of z in x 8.480 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.480 * [taylor]: Taking taylor expansion of t in x 8.480 * [taylor]: Taking taylor expansion of x in x 8.480 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 8.480 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 8.480 * [taylor]: Taking taylor expansion of y in x 8.480 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 8.480 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.480 * [taylor]: Taking taylor expansion of z in x 8.480 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.480 * [taylor]: Taking taylor expansion of t in x 8.480 * [taylor]: Taking taylor expansion of x in x 8.480 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 8.480 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 8.480 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.480 * [taylor]: Taking taylor expansion of z in y 8.480 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.480 * [taylor]: Taking taylor expansion of t in y 8.480 * [taylor]: Taking taylor expansion of y in y 8.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 8.482 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.482 * [taylor]: Taking taylor expansion of z in z 8.482 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.482 * [taylor]: Taking taylor expansion of t in z 8.482 * [taylor]: Taking taylor expansion of 1 in t 8.484 * [taylor]: Taking taylor expansion of 0 in y 8.484 * [taylor]: Taking taylor expansion of 0 in z 8.485 * [taylor]: Taking taylor expansion of 0 in z 8.486 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 8.486 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.486 * [taylor]: Taking taylor expansion of t in t 8.489 * [taylor]: Taking taylor expansion of 0 in y 8.489 * [taylor]: Taking taylor expansion of 0 in z 8.489 * [taylor]: Taking taylor expansion of 0 in z 8.490 * [taylor]: Taking taylor expansion of 0 in z 8.490 * [taylor]: Taking taylor expansion of 0 in t 8.490 * [taylor]: Taking taylor expansion of 0 in t 8.491 * [taylor]: Taking taylor expansion of 0 in t 8.495 * [taylor]: Taking taylor expansion of 0 in y 8.495 * [taylor]: Taking taylor expansion of 0 in z 8.495 * [taylor]: Taking taylor expansion of 0 in z 8.495 * [taylor]: Taking taylor expansion of 0 in z 8.496 * [taylor]: Taking taylor expansion of 0 in z 8.496 * [taylor]: Taking taylor expansion of 0 in t 8.496 * [taylor]: Taking taylor expansion of 0 in t 8.496 * [taylor]: Taking taylor expansion of 0 in t 8.497 * [taylor]: Taking taylor expansion of 0 in t 8.497 * [taylor]: Taking taylor expansion of 0 in t 8.498 * [taylor]: Taking taylor expansion of 0 in t 8.499 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 8.499 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 8.499 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 8.499 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 8.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.499 * [taylor]: Taking taylor expansion of t in t 8.500 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.500 * [taylor]: Taking taylor expansion of z in t 8.500 * [taylor]: Taking taylor expansion of y in t 8.500 * [taylor]: Taking taylor expansion of x in t 8.500 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 8.500 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 8.500 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 8.500 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.500 * [taylor]: Taking taylor expansion of t in z 8.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.500 * [taylor]: Taking taylor expansion of z in z 8.501 * [taylor]: Taking taylor expansion of y in z 8.501 * [taylor]: Taking taylor expansion of x in z 8.501 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 8.501 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 8.501 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 8.501 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.501 * [taylor]: Taking taylor expansion of t in y 8.501 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.501 * [taylor]: Taking taylor expansion of z in y 8.502 * [taylor]: Taking taylor expansion of y in y 8.502 * [taylor]: Taking taylor expansion of x in y 8.503 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 8.503 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 8.503 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 8.503 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.503 * [taylor]: Taking taylor expansion of t in x 8.503 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.503 * [taylor]: Taking taylor expansion of z in x 8.503 * [taylor]: Taking taylor expansion of y in x 8.503 * [taylor]: Taking taylor expansion of x in x 8.503 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 8.503 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 8.503 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 8.503 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.503 * [taylor]: Taking taylor expansion of t in x 8.503 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.503 * [taylor]: Taking taylor expansion of z in x 8.503 * [taylor]: Taking taylor expansion of y in x 8.503 * [taylor]: Taking taylor expansion of x in x 8.504 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 8.504 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 8.504 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.504 * [taylor]: Taking taylor expansion of t in y 8.504 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.504 * [taylor]: Taking taylor expansion of z in y 8.504 * [taylor]: Taking taylor expansion of y in y 8.505 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 8.505 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.505 * [taylor]: Taking taylor expansion of t in z 8.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.505 * [taylor]: Taking taylor expansion of z in z 8.506 * [taylor]: Taking taylor expansion of -1 in t 8.507 * [taylor]: Taking taylor expansion of 0 in y 8.508 * [taylor]: Taking taylor expansion of 0 in z 8.509 * [taylor]: Taking taylor expansion of 0 in z 8.510 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.512 * [taylor]: Taking taylor expansion of t in t 8.515 * [taylor]: Taking taylor expansion of 0 in y 8.515 * [taylor]: Taking taylor expansion of 0 in z 8.515 * [taylor]: Taking taylor expansion of 0 in z 8.517 * [taylor]: Taking taylor expansion of 0 in z 8.517 * [taylor]: Taking taylor expansion of 0 in t 8.517 * [taylor]: Taking taylor expansion of 0 in t 8.518 * [taylor]: Taking taylor expansion of 0 in t 8.521 * [taylor]: Taking taylor expansion of 0 in y 8.521 * [taylor]: Taking taylor expansion of 0 in z 8.521 * [taylor]: Taking taylor expansion of 0 in z 8.521 * [taylor]: Taking taylor expansion of 0 in z 8.523 * [taylor]: Taking taylor expansion of 0 in z 8.523 * [taylor]: Taking taylor expansion of 0 in t 8.523 * [taylor]: Taking taylor expansion of 0 in t 8.523 * [taylor]: Taking taylor expansion of 0 in t 8.523 * [taylor]: Taking taylor expansion of 0 in t 8.523 * [taylor]: Taking taylor expansion of 0 in t 8.524 * [taylor]: Taking taylor expansion of 0 in t 8.525 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.525 * [approximate]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in (x y z t) around 0 8.525 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in t 8.525 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in t 8.525 * [taylor]: Taking taylor expansion of t in t 8.525 * [taylor]: Taking taylor expansion of (/ (* x z) y) in t 8.525 * [taylor]: Taking taylor expansion of (* x z) in t 8.525 * [taylor]: Taking taylor expansion of x in t 8.525 * [taylor]: Taking taylor expansion of z in t 8.525 * [taylor]: Taking taylor expansion of y in t 8.525 * [taylor]: Taking taylor expansion of (/ (* t x) y) in t 8.526 * [taylor]: Taking taylor expansion of (* t x) in t 8.526 * [taylor]: Taking taylor expansion of t in t 8.526 * [taylor]: Taking taylor expansion of x in t 8.526 * [taylor]: Taking taylor expansion of y in t 8.526 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in z 8.526 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in z 8.526 * [taylor]: Taking taylor expansion of t in z 8.526 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z 8.526 * [taylor]: Taking taylor expansion of (* x z) in z 8.526 * [taylor]: Taking taylor expansion of x in z 8.526 * [taylor]: Taking taylor expansion of z in z 8.526 * [taylor]: Taking taylor expansion of y in z 8.526 * [taylor]: Taking taylor expansion of (/ (* t x) y) in z 8.527 * [taylor]: Taking taylor expansion of (* t x) in z 8.527 * [taylor]: Taking taylor expansion of t in z 8.527 * [taylor]: Taking taylor expansion of x in z 8.527 * [taylor]: Taking taylor expansion of y in z 8.527 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in y 8.527 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in y 8.527 * [taylor]: Taking taylor expansion of t in y 8.527 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y 8.527 * [taylor]: Taking taylor expansion of (* x z) in y 8.527 * [taylor]: Taking taylor expansion of x in y 8.527 * [taylor]: Taking taylor expansion of z in y 8.527 * [taylor]: Taking taylor expansion of y in y 8.527 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y 8.527 * [taylor]: Taking taylor expansion of (* t x) in y 8.527 * [taylor]: Taking taylor expansion of t in y 8.527 * [taylor]: Taking taylor expansion of x in y 8.527 * [taylor]: Taking taylor expansion of y in y 8.527 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x 8.527 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x 8.527 * [taylor]: Taking taylor expansion of t in x 8.527 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 8.527 * [taylor]: Taking taylor expansion of (* x z) in x 8.527 * [taylor]: Taking taylor expansion of x in x 8.527 * [taylor]: Taking taylor expansion of z in x 8.527 * [taylor]: Taking taylor expansion of y in x 8.527 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x 8.528 * [taylor]: Taking taylor expansion of (* t x) in x 8.528 * [taylor]: Taking taylor expansion of t in x 8.528 * [taylor]: Taking taylor expansion of x in x 8.528 * [taylor]: Taking taylor expansion of y in x 8.528 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x 8.528 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x 8.528 * [taylor]: Taking taylor expansion of t in x 8.528 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x 8.528 * [taylor]: Taking taylor expansion of (* x z) in x 8.528 * [taylor]: Taking taylor expansion of x in x 8.528 * [taylor]: Taking taylor expansion of z in x 8.528 * [taylor]: Taking taylor expansion of y in x 8.528 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x 8.528 * [taylor]: Taking taylor expansion of (* t x) in x 8.528 * [taylor]: Taking taylor expansion of t in x 8.529 * [taylor]: Taking taylor expansion of x in x 8.529 * [taylor]: Taking taylor expansion of y in x 8.529 * [taylor]: Taking taylor expansion of t in y 8.529 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 8.529 * [taylor]: Taking taylor expansion of (/ z y) in y 8.529 * [taylor]: Taking taylor expansion of z in y 8.529 * [taylor]: Taking taylor expansion of y in y 8.529 * [taylor]: Taking taylor expansion of (/ t y) in y 8.529 * [taylor]: Taking taylor expansion of t in y 8.529 * [taylor]: Taking taylor expansion of y in y 8.529 * [taylor]: Taking taylor expansion of (- z t) in z 8.529 * [taylor]: Taking taylor expansion of z in z 8.529 * [taylor]: Taking taylor expansion of t in z 8.529 * [taylor]: Taking taylor expansion of (- t) in t 8.529 * [taylor]: Taking taylor expansion of t in t 8.530 * [taylor]: Taking taylor expansion of t in z 8.530 * [taylor]: Taking taylor expansion of t in t 8.532 * [taylor]: Taking taylor expansion of 0 in y 8.534 * [taylor]: Taking taylor expansion of 0 in z 8.534 * [taylor]: Taking taylor expansion of 0 in t 8.534 * [taylor]: Taking taylor expansion of 0 in z 8.534 * [taylor]: Taking taylor expansion of 0 in t 8.534 * [taylor]: Taking taylor expansion of 1 in t 8.534 * [taylor]: Taking taylor expansion of 0 in t 8.536 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in (x y z t) around 0 8.536 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in t 8.536 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t 8.536 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.536 * [taylor]: Taking taylor expansion of t in t 8.536 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t 8.536 * [taylor]: Taking taylor expansion of y in t 8.536 * [taylor]: Taking taylor expansion of (* x z) in t 8.536 * [taylor]: Taking taylor expansion of x in t 8.536 * [taylor]: Taking taylor expansion of z in t 8.536 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t 8.536 * [taylor]: Taking taylor expansion of y in t 8.536 * [taylor]: Taking taylor expansion of (* t x) in t 8.536 * [taylor]: Taking taylor expansion of t in t 8.536 * [taylor]: Taking taylor expansion of x in t 8.537 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in z 8.537 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z 8.537 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.537 * [taylor]: Taking taylor expansion of t in z 8.537 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 8.537 * [taylor]: Taking taylor expansion of y in z 8.537 * [taylor]: Taking taylor expansion of (* x z) in z 8.537 * [taylor]: Taking taylor expansion of x in z 8.537 * [taylor]: Taking taylor expansion of z in z 8.537 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z 8.537 * [taylor]: Taking taylor expansion of y in z 8.537 * [taylor]: Taking taylor expansion of (* t x) in z 8.537 * [taylor]: Taking taylor expansion of t in z 8.537 * [taylor]: Taking taylor expansion of x in z 8.538 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in y 8.538 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y 8.538 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.538 * [taylor]: Taking taylor expansion of t in y 8.538 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 8.538 * [taylor]: Taking taylor expansion of y in y 8.538 * [taylor]: Taking taylor expansion of (* x z) in y 8.538 * [taylor]: Taking taylor expansion of x in y 8.538 * [taylor]: Taking taylor expansion of z in y 8.538 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y 8.538 * [taylor]: Taking taylor expansion of y in y 8.538 * [taylor]: Taking taylor expansion of (* t x) in y 8.538 * [taylor]: Taking taylor expansion of t in y 8.538 * [taylor]: Taking taylor expansion of x in y 8.538 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x 8.538 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 8.538 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.538 * [taylor]: Taking taylor expansion of t in x 8.538 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 8.538 * [taylor]: Taking taylor expansion of y in x 8.538 * [taylor]: Taking taylor expansion of (* x z) in x 8.538 * [taylor]: Taking taylor expansion of x in x 8.538 * [taylor]: Taking taylor expansion of z in x 8.539 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 8.539 * [taylor]: Taking taylor expansion of y in x 8.539 * [taylor]: Taking taylor expansion of (* t x) in x 8.539 * [taylor]: Taking taylor expansion of t in x 8.539 * [taylor]: Taking taylor expansion of x in x 8.539 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x 8.539 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 8.539 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.539 * [taylor]: Taking taylor expansion of t in x 8.539 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 8.539 * [taylor]: Taking taylor expansion of y in x 8.539 * [taylor]: Taking taylor expansion of (* x z) in x 8.539 * [taylor]: Taking taylor expansion of x in x 8.539 * [taylor]: Taking taylor expansion of z in x 8.540 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 8.540 * [taylor]: Taking taylor expansion of y in x 8.540 * [taylor]: Taking taylor expansion of (* t x) in x 8.540 * [taylor]: Taking taylor expansion of t in x 8.540 * [taylor]: Taking taylor expansion of x in x 8.540 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 8.540 * [taylor]: Taking taylor expansion of (/ y z) in y 8.540 * [taylor]: Taking taylor expansion of y in y 8.540 * [taylor]: Taking taylor expansion of z in y 8.540 * [taylor]: Taking taylor expansion of (/ y t) in y 8.540 * [taylor]: Taking taylor expansion of y in y 8.540 * [taylor]: Taking taylor expansion of t in y 8.542 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.542 * [taylor]: Taking taylor expansion of t in y 8.542 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.542 * [taylor]: Taking taylor expansion of t in z 8.542 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 8.542 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.542 * [taylor]: Taking taylor expansion of z in z 8.543 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.543 * [taylor]: Taking taylor expansion of t in z 8.543 * [taylor]: Taking taylor expansion of 1 in t 8.545 * [taylor]: Taking taylor expansion of 0 in y 8.545 * [taylor]: Taking taylor expansion of 0 in z 8.545 * [taylor]: Taking taylor expansion of 0 in z 8.546 * [taylor]: Taking taylor expansion of 0 in z 8.546 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.546 * [taylor]: Taking taylor expansion of t in t 8.547 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 8.547 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.547 * [taylor]: Taking taylor expansion of t in t 8.549 * [approximate]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in (x y z t) around 0 8.549 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in t 8.549 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t 8.549 * [taylor]: Taking taylor expansion of y in t 8.549 * [taylor]: Taking taylor expansion of (* t x) in t 8.549 * [taylor]: Taking taylor expansion of t in t 8.549 * [taylor]: Taking taylor expansion of x in t 8.550 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t 8.550 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.550 * [taylor]: Taking taylor expansion of t in t 8.550 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t 8.550 * [taylor]: Taking taylor expansion of y in t 8.550 * [taylor]: Taking taylor expansion of (* x z) in t 8.550 * [taylor]: Taking taylor expansion of x in t 8.550 * [taylor]: Taking taylor expansion of z in t 8.550 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in z 8.550 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z 8.550 * [taylor]: Taking taylor expansion of y in z 8.550 * [taylor]: Taking taylor expansion of (* t x) in z 8.550 * [taylor]: Taking taylor expansion of t in z 8.550 * [taylor]: Taking taylor expansion of x in z 8.550 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z 8.550 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.550 * [taylor]: Taking taylor expansion of t in z 8.550 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z 8.550 * [taylor]: Taking taylor expansion of y in z 8.550 * [taylor]: Taking taylor expansion of (* x z) in z 8.550 * [taylor]: Taking taylor expansion of x in z 8.550 * [taylor]: Taking taylor expansion of z in z 8.551 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in y 8.551 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y 8.551 * [taylor]: Taking taylor expansion of y in y 8.551 * [taylor]: Taking taylor expansion of (* t x) in y 8.551 * [taylor]: Taking taylor expansion of t in y 8.551 * [taylor]: Taking taylor expansion of x in y 8.551 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y 8.551 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.551 * [taylor]: Taking taylor expansion of t in y 8.551 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y 8.551 * [taylor]: Taking taylor expansion of y in y 8.551 * [taylor]: Taking taylor expansion of (* x z) in y 8.551 * [taylor]: Taking taylor expansion of x in y 8.551 * [taylor]: Taking taylor expansion of z in y 8.551 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x 8.551 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 8.551 * [taylor]: Taking taylor expansion of y in x 8.551 * [taylor]: Taking taylor expansion of (* t x) in x 8.551 * [taylor]: Taking taylor expansion of t in x 8.551 * [taylor]: Taking taylor expansion of x in x 8.552 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 8.552 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.552 * [taylor]: Taking taylor expansion of t in x 8.552 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 8.552 * [taylor]: Taking taylor expansion of y in x 8.552 * [taylor]: Taking taylor expansion of (* x z) in x 8.552 * [taylor]: Taking taylor expansion of x in x 8.552 * [taylor]: Taking taylor expansion of z in x 8.552 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x 8.552 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x 8.552 * [taylor]: Taking taylor expansion of y in x 8.552 * [taylor]: Taking taylor expansion of (* t x) in x 8.552 * [taylor]: Taking taylor expansion of t in x 8.552 * [taylor]: Taking taylor expansion of x in x 8.553 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x 8.553 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.553 * [taylor]: Taking taylor expansion of t in x 8.553 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x 8.553 * [taylor]: Taking taylor expansion of y in x 8.553 * [taylor]: Taking taylor expansion of (* x z) in x 8.553 * [taylor]: Taking taylor expansion of x in x 8.553 * [taylor]: Taking taylor expansion of z in x 8.553 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 8.554 * [taylor]: Taking taylor expansion of (/ y t) in y 8.554 * [taylor]: Taking taylor expansion of y in y 8.554 * [taylor]: Taking taylor expansion of t in y 8.554 * [taylor]: Taking taylor expansion of (/ y z) in y 8.554 * [taylor]: Taking taylor expansion of y in y 8.554 * [taylor]: Taking taylor expansion of z in y 8.555 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 8.555 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.555 * [taylor]: Taking taylor expansion of t in y 8.555 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 8.555 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.555 * [taylor]: Taking taylor expansion of t in z 8.555 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 8.555 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.555 * [taylor]: Taking taylor expansion of t in z 8.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.555 * [taylor]: Taking taylor expansion of z in z 8.556 * [taylor]: Taking taylor expansion of -1 in t 8.559 * [taylor]: Taking taylor expansion of 0 in y 8.559 * [taylor]: Taking taylor expansion of 0 in z 8.559 * [taylor]: Taking taylor expansion of 0 in z 8.560 * [taylor]: Taking taylor expansion of 0 in z 8.560 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 8.560 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.560 * [taylor]: Taking taylor expansion of t in t 8.561 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.561 * [taylor]: Taking taylor expansion of t in t 8.563 * * * [progress]: simplifying candidates 8.564 * [simplify]: Simplifying using # : (expm1 (* (/ x y) (- z t))) (log1p (* (/ x y) (- z t))) (* (/ x y) (- z t)) (+ (- (log x) (log y)) (log (- z t))) (+ (log (/ x y)) (log (- z t))) (log (* (/ x y) (- z t))) (exp (* (/ x y) (- z t))) (* (/ (* (* x x) x) (* (* y y) y)) (* (* (- z t) (- z t)) (- z t))) (* (* (* (/ x y) (/ x y)) (/ x y)) (* (* (- z t) (- z t)) (- z t))) (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))) (* (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (* x (- (pow z 3) (pow t 3))) (* y (+ (* z z) (+ (* t t) (* z t)))) (* x (- (* z z) (* t t))) (* y (+ z t)) (* (sqrt (/ x y)) (sqrt (- z t))) (* (sqrt (/ x y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ x y) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (/ x y) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t))))) (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (/ x y) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (* (/ x y) (fma (- t) 1 (* t 1))) (* (/ x y) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (/ x y) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t))))) (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (/ x y) (fma (sqrt z) (sqrt z) (- (* t 1)))) (* (/ x y) (fma (- t) 1 (* t 1))) (* (/ x y) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (/ x y) (fma 1 z (- (* (sqrt t) (sqrt t))))) (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (/ x y) (fma 1 z (- (* t 1)))) (* (/ x y) (fma (- t) 1 (* t 1))) (* (/ x y) z) (* (/ x y) (- t)) (* (/ x y) z) (* (/ x y) (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ x y)) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (/ x y)) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ x y)) (* (fma (- t) 1 (* t 1)) (/ x y)) (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ x y)) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (/ x y)) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) (* (fma (sqrt z) (sqrt z) (- (* t 1))) (/ x y)) (* (fma (- t) 1 (* t 1)) (/ x y)) (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ x y)) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (/ x y)) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) (* (fma 1 z (- (* t 1))) (/ x y)) (* (fma (- t) 1 (* t 1)) (/ x y)) (* z (/ x y)) (* (- t) (/ x y)) (* z (/ x y)) (* (- t) (/ x y)) (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (* (/ x y) (sqrt (- z t))) (* (/ x y) 1) (* (/ x y) (+ (sqrt z) (sqrt t))) (* (/ x y) 1) (* (cbrt (/ x y)) (- z t)) (* (sqrt (/ x y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (sqrt y)) (- z t)) (* (/ (cbrt x) y) (- z t)) (* (/ (sqrt x) (cbrt y)) (- z t)) (* (/ (sqrt x) (sqrt y)) (- z t)) (* (/ (sqrt x) y) (- z t)) (* (/ x (cbrt y)) (- z t)) (* (/ x (sqrt y)) (- z t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (* (/ 1 y) (- z t)) (* (/ x y) (- (pow z 3) (pow t 3))) (* (/ x y) (- (* z z) (* t t))) (* x (- z t)) (expm1 (+ (* (/ x y) (- z t)) t)) (log1p (+ (* (/ x y) (- z t)) t)) (* (exp (* (/ x y) (- z t))) (exp t)) (log (+ (* (/ x y) (- z t)) t)) (exp (+ (* (/ x y) (- z t)) t)) (* (cbrt (+ (* (/ x y) (- z t)) t)) (cbrt (+ (* (/ x y) (- z t)) t))) (cbrt (+ (* (/ x y) (- z t)) t)) (* (* (+ (* (/ x y) (- z t)) t) (+ (* (/ x y) (- z t)) t)) (+ (* (/ x y) (- z t)) t)) (sqrt (+ (* (/ x y) (- z t)) t)) (sqrt (+ (* (/ x y) (- z t)) t)) (+ (pow (* (/ x y) (- z t)) 3) (pow t 3)) (+ (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (- (* t t) (* (* (/ x y) (- z t)) t))) (- (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* t t)) (- (* (/ x y) (- z t)) t) (+ (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) t) (+ (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) t) (+ (* (/ x y) (fma (- t) 1 (* t 1))) t) (+ (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) t) (+ (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) t) (+ (* (/ x y) (fma (- t) 1 (* t 1))) t) (+ (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) t) (+ (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) t) (+ (* (/ x y) (fma (- t) 1 (* t 1))) t) (+ (* (/ x y) (- t)) t) (+ (* (/ x y) (- t)) t) (+ (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) t) (+ (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) t) (+ (* (fma (- t) 1 (* t 1)) (/ x y)) t) (+ (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) t) (+ (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) t) (+ (* (fma (- t) 1 (* t 1)) (/ x y)) t) (+ (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) t) (+ (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) t) (+ (* (fma (- t) 1 (* t 1)) (/ x y)) t) (+ (* (- t) (/ x y)) t) (+ (* (- t) (/ x y)) t) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 8.570 * * [simplify]: iteration 0 : 178 enodes (cost 1645 ) 8.619 * * [simplify]: iteration 1 : 465 enodes (cost 1317 ) 8.842 * * [simplify]: iteration 2 : 1400 enodes (cost 1118 ) 9.759 * * [simplify]: iteration done : 5000 enodes (cost 1077 ) 9.760 * [simplify]: Simplified to: (expm1 (* (/ x y) (- z t))) (log1p (* (/ x y) (- z t))) (* (/ x y) (- z t)) (log (* (/ x y) (- z t))) (log (* (/ x y) (- z t))) (log (* (/ x y) (- z t))) (exp (* (/ x y) (- z t))) (pow (* (/ x y) (- z t)) 3) (pow (* (/ x y) (- z t)) 3) (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))) (pow (* (/ x y) (- z t)) 3) (sqrt (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (* x (- (pow z 3) (pow t 3))) (* (fma z z (* t (+ z t))) y) (* x (- (* z z) (* t t))) (* y (+ z t)) (* (sqrt (/ x y)) (sqrt (- z t))) (* (sqrt (/ x y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (/ (* x (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) y) (* (- t t) (/ x y)) (/ (* x (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) y) (* (- t t) (/ x y)) (/ (* x (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) y) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (/ (* x z) y) (* (/ x y) (- t)) (/ (* x z) y) (* (/ x y) (- t)) (/ (* x (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) y) (* (- t t) (/ x y)) (/ (* x (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) y) (* (- t t) (/ x y)) (/ (* x (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) y) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (* (/ x y) (- z t)) (* (- t t) (/ x y)) (/ (* x z) y) (* (/ x y) (- t)) (/ (* x z) y) (* (/ x y) (- t)) (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (* (/ x y) (sqrt (- z t))) (/ x y) (* (/ x y) (+ (sqrt z) (sqrt t))) (/ x y) (* (cbrt (/ x y)) (- z t)) (* (sqrt (/ x y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (sqrt y)) (- z t)) (* (/ (cbrt x) y) (- z t)) (* (/ (sqrt x) (cbrt y)) (- z t)) (* (/ (sqrt x) (sqrt y)) (- z t)) (* (/ (sqrt x) y) (- z t)) (* (/ x (cbrt y)) (- z t)) (* (/ x (sqrt y)) (- z t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (/ (- z t) y) (* (/ x y) (- (pow z 3) (pow t 3))) (* (/ x y) (- (* z z) (* t t))) (* (- z t) x) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (+ (pow (* (/ x y) (- z t)) 3) (pow t 3)) (+ (* (* (/ x y) (- z t)) (- (* (/ x y) (- z t)) t)) (* t t)) (* (fma (/ x y) (- z t) t) (- (* (/ x y) (- z t)) t)) (- (* (/ x y) (- z t)) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t) (/ x y) t) (fma (- t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t t) (/ x y) t) (fma (- t) (/ x y) t) (fma (- t) (/ x y) t) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) 9.761 * * * [progress]: adding candidates to table 9.994 * * [progress]: iteration 2 / 4 9.994 * * * [progress]: picking best candidate 10.009 * * * * [pick]: Picked # 10.009 * * * [progress]: localizing error 10.024 * * * [progress]: generating rewritten candidates 10.024 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 10.080 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 10.081 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 10.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 10.088 * * * [progress]: generating series expansions 10.089 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 10.089 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 10.089 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 10.089 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 10.089 * [taylor]: Taking taylor expansion of x in t 10.089 * [taylor]: Taking taylor expansion of (- z t) in t 10.089 * [taylor]: Taking taylor expansion of z in t 10.089 * [taylor]: Taking taylor expansion of t in t 10.089 * [taylor]: Taking taylor expansion of y in t 10.090 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 10.090 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 10.090 * [taylor]: Taking taylor expansion of x in z 10.090 * [taylor]: Taking taylor expansion of (- z t) in z 10.090 * [taylor]: Taking taylor expansion of z in z 10.090 * [taylor]: Taking taylor expansion of t in z 10.090 * [taylor]: Taking taylor expansion of y in z 10.090 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 10.090 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 10.090 * [taylor]: Taking taylor expansion of x in y 10.090 * [taylor]: Taking taylor expansion of (- z t) in y 10.090 * [taylor]: Taking taylor expansion of z in y 10.090 * [taylor]: Taking taylor expansion of t in y 10.090 * [taylor]: Taking taylor expansion of y in y 10.090 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 10.090 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 10.090 * [taylor]: Taking taylor expansion of x in x 10.090 * [taylor]: Taking taylor expansion of (- z t) in x 10.090 * [taylor]: Taking taylor expansion of z in x 10.090 * [taylor]: Taking taylor expansion of t in x 10.090 * [taylor]: Taking taylor expansion of y in x 10.091 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 10.091 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 10.091 * [taylor]: Taking taylor expansion of x in x 10.091 * [taylor]: Taking taylor expansion of (- z t) in x 10.091 * [taylor]: Taking taylor expansion of z in x 10.091 * [taylor]: Taking taylor expansion of t in x 10.091 * [taylor]: Taking taylor expansion of y in x 10.092 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 10.093 * [taylor]: Taking taylor expansion of (- z t) in y 10.093 * [taylor]: Taking taylor expansion of z in y 10.093 * [taylor]: Taking taylor expansion of t in y 10.093 * [taylor]: Taking taylor expansion of y in y 10.093 * [taylor]: Taking taylor expansion of (- z t) in z 10.093 * [taylor]: Taking taylor expansion of z in z 10.093 * [taylor]: Taking taylor expansion of t in z 10.093 * [taylor]: Taking taylor expansion of (- t) in t 10.093 * [taylor]: Taking taylor expansion of t in t 10.095 * [taylor]: Taking taylor expansion of 0 in y 10.096 * [taylor]: Taking taylor expansion of 0 in z 10.096 * [taylor]: Taking taylor expansion of 0 in t 10.097 * [taylor]: Taking taylor expansion of 1 in t 10.098 * [taylor]: Taking taylor expansion of 0 in y 10.098 * [taylor]: Taking taylor expansion of 0 in z 10.098 * [taylor]: Taking taylor expansion of 0 in t 10.100 * [taylor]: Taking taylor expansion of 0 in z 10.100 * [taylor]: Taking taylor expansion of 0 in t 10.100 * [taylor]: Taking taylor expansion of 0 in t 10.101 * [taylor]: Taking taylor expansion of 0 in t 10.101 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 10.101 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 10.101 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 10.101 * [taylor]: Taking taylor expansion of y in t 10.101 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 10.101 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.101 * [taylor]: Taking taylor expansion of z in t 10.101 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.101 * [taylor]: Taking taylor expansion of t in t 10.102 * [taylor]: Taking taylor expansion of x in t 10.102 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 10.102 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 10.102 * [taylor]: Taking taylor expansion of y in z 10.102 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.103 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.103 * [taylor]: Taking taylor expansion of z in z 10.103 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.103 * [taylor]: Taking taylor expansion of t in z 10.103 * [taylor]: Taking taylor expansion of x in z 10.103 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 10.103 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 10.103 * [taylor]: Taking taylor expansion of y in y 10.103 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 10.103 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.103 * [taylor]: Taking taylor expansion of z in y 10.103 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.103 * [taylor]: Taking taylor expansion of t in y 10.103 * [taylor]: Taking taylor expansion of x in y 10.105 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 10.105 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 10.105 * [taylor]: Taking taylor expansion of y in x 10.105 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.105 * [taylor]: Taking taylor expansion of z in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.105 * [taylor]: Taking taylor expansion of t in x 10.105 * [taylor]: Taking taylor expansion of x in x 10.105 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 10.105 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 10.105 * [taylor]: Taking taylor expansion of y in x 10.105 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.105 * [taylor]: Taking taylor expansion of z in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.105 * [taylor]: Taking taylor expansion of t in x 10.105 * [taylor]: Taking taylor expansion of x in x 10.106 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 10.106 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 10.106 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.106 * [taylor]: Taking taylor expansion of z in y 10.106 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.106 * [taylor]: Taking taylor expansion of t in y 10.106 * [taylor]: Taking taylor expansion of y in y 10.107 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.107 * [taylor]: Taking taylor expansion of z in z 10.108 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.108 * [taylor]: Taking taylor expansion of t in z 10.108 * [taylor]: Taking taylor expansion of 1 in t 10.109 * [taylor]: Taking taylor expansion of 0 in y 10.109 * [taylor]: Taking taylor expansion of 0 in z 10.111 * [taylor]: Taking taylor expansion of 0 in z 10.111 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.111 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.111 * [taylor]: Taking taylor expansion of t in t 10.114 * [taylor]: Taking taylor expansion of 0 in y 10.114 * [taylor]: Taking taylor expansion of 0 in z 10.114 * [taylor]: Taking taylor expansion of 0 in z 10.115 * [taylor]: Taking taylor expansion of 0 in z 10.115 * [taylor]: Taking taylor expansion of 0 in t 10.115 * [taylor]: Taking taylor expansion of 0 in t 10.116 * [taylor]: Taking taylor expansion of 0 in t 10.120 * [taylor]: Taking taylor expansion of 0 in y 10.120 * [taylor]: Taking taylor expansion of 0 in z 10.120 * [taylor]: Taking taylor expansion of 0 in z 10.120 * [taylor]: Taking taylor expansion of 0 in z 10.122 * [taylor]: Taking taylor expansion of 0 in z 10.122 * [taylor]: Taking taylor expansion of 0 in t 10.122 * [taylor]: Taking taylor expansion of 0 in t 10.122 * [taylor]: Taking taylor expansion of 0 in t 10.122 * [taylor]: Taking taylor expansion of 0 in t 10.122 * [taylor]: Taking taylor expansion of 0 in t 10.123 * [taylor]: Taking taylor expansion of 0 in t 10.125 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 10.125 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 10.125 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 10.125 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 10.125 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.125 * [taylor]: Taking taylor expansion of t in t 10.126 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.126 * [taylor]: Taking taylor expansion of z in t 10.126 * [taylor]: Taking taylor expansion of y in t 10.126 * [taylor]: Taking taylor expansion of x in t 10.126 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 10.126 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 10.126 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.126 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.126 * [taylor]: Taking taylor expansion of t in z 10.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.126 * [taylor]: Taking taylor expansion of z in z 10.126 * [taylor]: Taking taylor expansion of y in z 10.126 * [taylor]: Taking taylor expansion of x in z 10.127 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 10.127 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 10.127 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 10.127 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.127 * [taylor]: Taking taylor expansion of t in y 10.127 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.127 * [taylor]: Taking taylor expansion of z in y 10.127 * [taylor]: Taking taylor expansion of y in y 10.127 * [taylor]: Taking taylor expansion of x in y 10.129 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 10.129 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 10.129 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.129 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.129 * [taylor]: Taking taylor expansion of t in x 10.129 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.129 * [taylor]: Taking taylor expansion of z in x 10.129 * [taylor]: Taking taylor expansion of y in x 10.129 * [taylor]: Taking taylor expansion of x in x 10.129 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 10.129 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 10.129 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.129 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.129 * [taylor]: Taking taylor expansion of t in x 10.129 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.129 * [taylor]: Taking taylor expansion of z in x 10.129 * [taylor]: Taking taylor expansion of y in x 10.129 * [taylor]: Taking taylor expansion of x in x 10.130 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 10.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 10.130 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.130 * [taylor]: Taking taylor expansion of t in y 10.130 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.130 * [taylor]: Taking taylor expansion of z in y 10.130 * [taylor]: Taking taylor expansion of y in y 10.135 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.135 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.135 * [taylor]: Taking taylor expansion of t in z 10.135 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.135 * [taylor]: Taking taylor expansion of z in z 10.136 * [taylor]: Taking taylor expansion of -1 in t 10.137 * [taylor]: Taking taylor expansion of 0 in y 10.137 * [taylor]: Taking taylor expansion of 0 in z 10.139 * [taylor]: Taking taylor expansion of 0 in z 10.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.139 * [taylor]: Taking taylor expansion of t in t 10.142 * [taylor]: Taking taylor expansion of 0 in y 10.142 * [taylor]: Taking taylor expansion of 0 in z 10.142 * [taylor]: Taking taylor expansion of 0 in z 10.143 * [taylor]: Taking taylor expansion of 0 in z 10.143 * [taylor]: Taking taylor expansion of 0 in t 10.143 * [taylor]: Taking taylor expansion of 0 in t 10.144 * [taylor]: Taking taylor expansion of 0 in t 10.147 * [taylor]: Taking taylor expansion of 0 in y 10.148 * [taylor]: Taking taylor expansion of 0 in z 10.148 * [taylor]: Taking taylor expansion of 0 in z 10.148 * [taylor]: Taking taylor expansion of 0 in z 10.149 * [taylor]: Taking taylor expansion of 0 in z 10.149 * [taylor]: Taking taylor expansion of 0 in t 10.149 * [taylor]: Taking taylor expansion of 0 in t 10.149 * [taylor]: Taking taylor expansion of 0 in t 10.149 * [taylor]: Taking taylor expansion of 0 in t 10.149 * [taylor]: Taking taylor expansion of 0 in t 10.151 * [taylor]: Taking taylor expansion of 0 in t 10.152 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 10.152 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 10.152 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.152 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.152 * [taylor]: Taking taylor expansion of 1/3 in x 10.152 * [taylor]: Taking taylor expansion of (log x) in x 10.152 * [taylor]: Taking taylor expansion of x in x 10.153 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.153 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.153 * [taylor]: Taking taylor expansion of 1/3 in x 10.153 * [taylor]: Taking taylor expansion of (log x) in x 10.153 * [taylor]: Taking taylor expansion of x in x 10.205 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 10.205 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.205 * [taylor]: Taking taylor expansion of 1/3 in x 10.205 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.205 * [taylor]: Taking taylor expansion of x in x 10.206 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.207 * [taylor]: Taking taylor expansion of 1/3 in x 10.207 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.207 * [taylor]: Taking taylor expansion of x in x 10.265 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 10.265 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.265 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.265 * [taylor]: Taking taylor expansion of -1 in x 10.266 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.266 * [taylor]: Taking taylor expansion of 1/3 in x 10.266 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.266 * [taylor]: Taking taylor expansion of x in x 10.267 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.267 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.267 * [taylor]: Taking taylor expansion of -1 in x 10.268 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.268 * [taylor]: Taking taylor expansion of 1/3 in x 10.268 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.268 * [taylor]: Taking taylor expansion of x in x 10.338 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 10.339 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 10.339 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.339 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.339 * [taylor]: Taking taylor expansion of 1/3 in x 10.339 * [taylor]: Taking taylor expansion of (log x) in x 10.339 * [taylor]: Taking taylor expansion of x in x 10.339 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.339 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.339 * [taylor]: Taking taylor expansion of 1/3 in x 10.339 * [taylor]: Taking taylor expansion of (log x) in x 10.339 * [taylor]: Taking taylor expansion of x in x 10.395 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 10.395 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.396 * [taylor]: Taking taylor expansion of 1/3 in x 10.396 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.396 * [taylor]: Taking taylor expansion of x in x 10.397 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.397 * [taylor]: Taking taylor expansion of 1/3 in x 10.397 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.397 * [taylor]: Taking taylor expansion of x in x 10.456 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 10.457 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.457 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.457 * [taylor]: Taking taylor expansion of -1 in x 10.458 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.458 * [taylor]: Taking taylor expansion of 1/3 in x 10.458 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.458 * [taylor]: Taking taylor expansion of x in x 10.459 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.459 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.459 * [taylor]: Taking taylor expansion of -1 in x 10.460 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.460 * [taylor]: Taking taylor expansion of 1/3 in x 10.460 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.460 * [taylor]: Taking taylor expansion of x in x 10.531 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 10.531 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 10.531 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.531 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.531 * [taylor]: Taking taylor expansion of 1/3 in x 10.531 * [taylor]: Taking taylor expansion of (log x) in x 10.531 * [taylor]: Taking taylor expansion of x in x 10.532 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.532 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.532 * [taylor]: Taking taylor expansion of 1/3 in x 10.532 * [taylor]: Taking taylor expansion of (log x) in x 10.532 * [taylor]: Taking taylor expansion of x in x 10.587 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 10.587 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.587 * [taylor]: Taking taylor expansion of 1/3 in x 10.587 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.587 * [taylor]: Taking taylor expansion of x in x 10.588 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.588 * [taylor]: Taking taylor expansion of 1/3 in x 10.588 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.588 * [taylor]: Taking taylor expansion of x in x 10.647 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 10.647 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.647 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.648 * [taylor]: Taking taylor expansion of -1 in x 10.648 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.649 * [taylor]: Taking taylor expansion of 1/3 in x 10.649 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.649 * [taylor]: Taking taylor expansion of x in x 10.650 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.650 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.650 * [taylor]: Taking taylor expansion of -1 in x 10.650 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.651 * [taylor]: Taking taylor expansion of 1/3 in x 10.651 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.651 * [taylor]: Taking taylor expansion of x in x 10.725 * * * [progress]: simplifying candidates 10.728 * [simplify]: Simplifying using # : (expm1 (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (log1p (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt x)) (log (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt x) (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt x) (cbrt y)) (- z t)))) (log (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (exp (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* x x) (* y y)) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t))))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (+ (* z z) (+ (* t t) (* z t)))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) (cbrt y)) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (+ z t)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- z t))) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- t) 1 (* t 1)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* t 1))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- t) 1 (* t 1)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma 1 z (- (* (sqrt t) (sqrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma 1 z (- (* t 1))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (fma (- t) 1 (* t 1)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- t) 1 (* t 1)) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (sqrt z) (sqrt z) (- (* t 1))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- t) 1 (* t 1)) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma 1 z (- (* t 1))) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- t) 1 (* t 1)) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt x) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt x) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- t) 1 (* t 1))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* t 1)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- t) 1 (* t 1))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma 1 z (- (* (sqrt t) (sqrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma 1 z (- (* t 1)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (fma (- t) 1 (* t 1))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt x) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- t) 1 (* t 1)) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (sqrt z) (sqrt z) (- (* t 1))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- t) 1 (* t 1)) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma 1 z (- (* t 1))) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- t) 1 (* t 1)) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt x) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt x) (cbrt y))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt x) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt x) (- z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt x) (cbrt y)) (- z t))) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (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)) 10.739 * * [simplify]: iteration 0 : 270 enodes (cost 4510 ) 10.827 * * [simplify]: iteration 1 : 884 enodes (cost 4114 ) 11.353 * * [simplify]: iteration 2 : 3674 enodes (cost 2164 ) 12.233 * * [simplify]: iteration done : 5001 enodes (cost 2124 ) 12.234 * [simplify]: Simplified to: (expm1 (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log1p (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (pow (exp (pow (/ (cbrt x) (cbrt y)) 3)) (- z t)) (* (* (/ (* x x) (* y y)) (/ x y)) (pow (- z t) 3)) (* (pow (/ (* (- z t) (cbrt x)) (cbrt y)) 3) (/ (* x x) (* y y))) (* (pow (/ (* (- z t) (cbrt x)) (cbrt y)) 3) (/ (* x x) (* y y))) (* (pow (- z t) 3) (* (/ x y) (/ (* x x) (pow (* (cbrt y) (cbrt y)) 3)))) (/ (* x x) (/ (pow (* (cbrt y) (cbrt y)) 3) (pow (/ (* (- z t) (cbrt x)) (cbrt y)) 3))) (/ (* x x) (/ (pow (* (cbrt y) (cbrt y)) 3) (pow (/ (* (- z t) (cbrt x)) (cbrt y)) 3))) (* (/ (* (/ (/ (pow (pow x 2/3) 3) y) y) x) y) (pow (- z t) 3)) (* (pow (/ (* (- z t) (cbrt x)) (cbrt y)) 3) (/ (/ (pow (pow x 2/3) 3) y) y)) (* (pow (/ (* (- z t) (cbrt x)) (cbrt y)) 3) (/ (/ (pow (pow x 2/3) 3) y) y)) (/ (* (pow (/ (pow x 2/3) (* (cbrt y) (cbrt y))) 3) (* x (pow (- z t) 3))) y) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (/ (* (pow (/ (pow x 2/3) (* (cbrt y) (cbrt y))) 3) (* x (pow (- z t) 3))) y) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (* (cbrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (cbrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)))) (cbrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (sqrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (sqrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (* (pow (cbrt x) 3) (- (pow z 3) (pow t 3))) (* (pow (cbrt y) 3) (fma z z (* t (+ z t)))) (* (- (* z z) (* t t)) (pow (cbrt x) 3)) (* (pow (cbrt y) 3) (+ z t)) (/ (* (pow (cbrt x) 3) (- (pow z 3) (pow t 3))) (cbrt y)) (* (fma z z (* t (+ z t))) (* (cbrt y) (cbrt y))) (* (- (* z z) (* t t)) (/ (pow (cbrt x) 3) (cbrt y))) (* (* (cbrt y) (cbrt y)) (+ z t)) (* (- z t) (pow (cbrt x) 3)) (pow (cbrt y) 3) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (- (* (pow (/ (cbrt x) (cbrt y)) 3) t)) (pow (/ (cbrt x) (cbrt y)) 3) (* (/ (* (- z t) (cbrt x)) (cbrt y)) (cbrt (/ (pow x 2/3) (* (cbrt y) (cbrt y))))) (* (- z t) (* (/ (cbrt x) (cbrt y)) (fabs (/ (cbrt x) (cbrt y))))) (/ (* (- z t) (/ (pow x 2/3) (cbrt y))) (cbrt y)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (/ (* (- z t) (cbrt x)) (pow (cbrt y) 3)) (/ (pow (cbrt x) 3) (/ (* (cbrt y) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (* (/ (pow (cbrt x) 3) (* (cbrt y) (cbrt y))) (+ z t)) (- z t)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- (pow z 3) (pow t 3))) (* (- (* z z) (* t t)) (pow (/ (cbrt x) (cbrt y)) 3)) (/ (/ (* (- z t) (pow (cbrt x) 3)) (cbrt y)) (cbrt y)) (/ (* (- z t) (pow (cbrt x) 3)) (cbrt y)) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (expm1 (cbrt x)) (log1p (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)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 12.235 * * * [progress]: adding candidates to table 12.608 * * [progress]: iteration 3 / 4 12.608 * * * [progress]: picking best candidate 12.623 * * * * [pick]: Picked # 12.623 * * * [progress]: localizing error 12.643 * * * [progress]: generating rewritten candidates 12.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 12.725 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 12.728 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 12.730 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1) 12.738 * * * [progress]: generating series expansions 12.738 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 12.739 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 12.739 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 12.739 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 12.739 * [taylor]: Taking taylor expansion of x in t 12.739 * [taylor]: Taking taylor expansion of (- z t) in t 12.739 * [taylor]: Taking taylor expansion of z in t 12.739 * [taylor]: Taking taylor expansion of t in t 12.739 * [taylor]: Taking taylor expansion of y in t 12.740 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 12.740 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 12.740 * [taylor]: Taking taylor expansion of x in z 12.740 * [taylor]: Taking taylor expansion of (- z t) in z 12.740 * [taylor]: Taking taylor expansion of z in z 12.740 * [taylor]: Taking taylor expansion of t in z 12.740 * [taylor]: Taking taylor expansion of y in z 12.740 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 12.740 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 12.740 * [taylor]: Taking taylor expansion of x in y 12.740 * [taylor]: Taking taylor expansion of (- z t) in y 12.740 * [taylor]: Taking taylor expansion of z in y 12.740 * [taylor]: Taking taylor expansion of t in y 12.740 * [taylor]: Taking taylor expansion of y in y 12.740 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 12.740 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 12.740 * [taylor]: Taking taylor expansion of x in x 12.740 * [taylor]: Taking taylor expansion of (- z t) in x 12.741 * [taylor]: Taking taylor expansion of z in x 12.741 * [taylor]: Taking taylor expansion of t in x 12.741 * [taylor]: Taking taylor expansion of y in x 12.742 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 12.742 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 12.742 * [taylor]: Taking taylor expansion of x in x 12.742 * [taylor]: Taking taylor expansion of (- z t) in x 12.742 * [taylor]: Taking taylor expansion of z in x 12.742 * [taylor]: Taking taylor expansion of t in x 12.742 * [taylor]: Taking taylor expansion of y in x 12.743 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 12.743 * [taylor]: Taking taylor expansion of (- z t) in y 12.743 * [taylor]: Taking taylor expansion of z in y 12.743 * [taylor]: Taking taylor expansion of t in y 12.743 * [taylor]: Taking taylor expansion of y in y 12.743 * [taylor]: Taking taylor expansion of (- z t) in z 12.743 * [taylor]: Taking taylor expansion of z in z 12.743 * [taylor]: Taking taylor expansion of t in z 12.743 * [taylor]: Taking taylor expansion of (- t) in t 12.743 * [taylor]: Taking taylor expansion of t in t 12.745 * [taylor]: Taking taylor expansion of 0 in y 12.747 * [taylor]: Taking taylor expansion of 0 in z 12.747 * [taylor]: Taking taylor expansion of 0 in t 12.747 * [taylor]: Taking taylor expansion of 1 in t 12.749 * [taylor]: Taking taylor expansion of 0 in y 12.750 * [taylor]: Taking taylor expansion of 0 in z 12.750 * [taylor]: Taking taylor expansion of 0 in t 12.751 * [taylor]: Taking taylor expansion of 0 in z 12.751 * [taylor]: Taking taylor expansion of 0 in t 12.751 * [taylor]: Taking taylor expansion of 0 in t 12.752 * [taylor]: Taking taylor expansion of 0 in t 12.753 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 12.753 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 12.753 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 12.753 * [taylor]: Taking taylor expansion of y in t 12.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 12.753 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.753 * [taylor]: Taking taylor expansion of z in t 12.753 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.753 * [taylor]: Taking taylor expansion of t in t 12.754 * [taylor]: Taking taylor expansion of x in t 12.754 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 12.755 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 12.755 * [taylor]: Taking taylor expansion of y in z 12.755 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 12.755 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.755 * [taylor]: Taking taylor expansion of z in z 12.755 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.755 * [taylor]: Taking taylor expansion of t in z 12.755 * [taylor]: Taking taylor expansion of x in z 12.755 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 12.755 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 12.756 * [taylor]: Taking taylor expansion of y in y 12.756 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 12.756 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.756 * [taylor]: Taking taylor expansion of z in y 12.756 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.756 * [taylor]: Taking taylor expansion of t in y 12.756 * [taylor]: Taking taylor expansion of x in y 12.757 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 12.757 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 12.757 * [taylor]: Taking taylor expansion of y in x 12.757 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 12.757 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.757 * [taylor]: Taking taylor expansion of z in x 12.757 * [taylor]: Taking taylor expansion of (/ 1 t) in x 12.757 * [taylor]: Taking taylor expansion of t in x 12.757 * [taylor]: Taking taylor expansion of x in x 12.758 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 12.758 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 12.758 * [taylor]: Taking taylor expansion of y in x 12.758 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 12.758 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.758 * [taylor]: Taking taylor expansion of z in x 12.758 * [taylor]: Taking taylor expansion of (/ 1 t) in x 12.758 * [taylor]: Taking taylor expansion of t in x 12.758 * [taylor]: Taking taylor expansion of x in x 12.758 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 12.758 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 12.758 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.758 * [taylor]: Taking taylor expansion of z in y 12.758 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.758 * [taylor]: Taking taylor expansion of t in y 12.758 * [taylor]: Taking taylor expansion of y in y 12.760 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 12.760 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.760 * [taylor]: Taking taylor expansion of z in z 12.760 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.760 * [taylor]: Taking taylor expansion of t in z 12.761 * [taylor]: Taking taylor expansion of 1 in t 12.762 * [taylor]: Taking taylor expansion of 0 in y 12.762 * [taylor]: Taking taylor expansion of 0 in z 12.764 * [taylor]: Taking taylor expansion of 0 in z 12.764 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 12.764 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.764 * [taylor]: Taking taylor expansion of t in t 12.768 * [taylor]: Taking taylor expansion of 0 in y 12.768 * [taylor]: Taking taylor expansion of 0 in z 12.768 * [taylor]: Taking taylor expansion of 0 in z 12.769 * [taylor]: Taking taylor expansion of 0 in z 12.769 * [taylor]: Taking taylor expansion of 0 in t 12.769 * [taylor]: Taking taylor expansion of 0 in t 12.771 * [taylor]: Taking taylor expansion of 0 in t 12.775 * [taylor]: Taking taylor expansion of 0 in y 12.775 * [taylor]: Taking taylor expansion of 0 in z 12.775 * [taylor]: Taking taylor expansion of 0 in z 12.775 * [taylor]: Taking taylor expansion of 0 in z 12.777 * [taylor]: Taking taylor expansion of 0 in z 12.777 * [taylor]: Taking taylor expansion of 0 in t 12.777 * [taylor]: Taking taylor expansion of 0 in t 12.777 * [taylor]: Taking taylor expansion of 0 in t 12.777 * [taylor]: Taking taylor expansion of 0 in t 12.777 * [taylor]: Taking taylor expansion of 0 in t 12.778 * [taylor]: Taking taylor expansion of 0 in t 12.781 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 12.781 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 12.781 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 12.781 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 12.781 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.781 * [taylor]: Taking taylor expansion of t in t 12.782 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.782 * [taylor]: Taking taylor expansion of z in t 12.782 * [taylor]: Taking taylor expansion of y in t 12.782 * [taylor]: Taking taylor expansion of x in t 12.782 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 12.782 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 12.782 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 12.782 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.782 * [taylor]: Taking taylor expansion of t in z 12.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.782 * [taylor]: Taking taylor expansion of z in z 12.783 * [taylor]: Taking taylor expansion of y in z 12.783 * [taylor]: Taking taylor expansion of x in z 12.784 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 12.784 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 12.784 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 12.784 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.784 * [taylor]: Taking taylor expansion of t in y 12.784 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.784 * [taylor]: Taking taylor expansion of z in y 12.784 * [taylor]: Taking taylor expansion of y in y 12.784 * [taylor]: Taking taylor expansion of x in y 12.785 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 12.785 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 12.785 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 12.785 * [taylor]: Taking taylor expansion of (/ 1 t) in x 12.785 * [taylor]: Taking taylor expansion of t in x 12.785 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.785 * [taylor]: Taking taylor expansion of z in x 12.785 * [taylor]: Taking taylor expansion of y in x 12.785 * [taylor]: Taking taylor expansion of x in x 12.786 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 12.786 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 12.786 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 12.786 * [taylor]: Taking taylor expansion of (/ 1 t) in x 12.786 * [taylor]: Taking taylor expansion of t in x 12.786 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.786 * [taylor]: Taking taylor expansion of z in x 12.786 * [taylor]: Taking taylor expansion of y in x 12.786 * [taylor]: Taking taylor expansion of x in x 12.786 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 12.786 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 12.786 * [taylor]: Taking taylor expansion of (/ 1 t) in y 12.786 * [taylor]: Taking taylor expansion of t in y 12.786 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.786 * [taylor]: Taking taylor expansion of z in y 12.786 * [taylor]: Taking taylor expansion of y in y 12.788 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 12.788 * [taylor]: Taking taylor expansion of (/ 1 t) in z 12.788 * [taylor]: Taking taylor expansion of t in z 12.788 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.788 * [taylor]: Taking taylor expansion of z in z 12.789 * [taylor]: Taking taylor expansion of -1 in t 12.791 * [taylor]: Taking taylor expansion of 0 in y 12.791 * [taylor]: Taking taylor expansion of 0 in z 12.792 * [taylor]: Taking taylor expansion of 0 in z 12.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.793 * [taylor]: Taking taylor expansion of t in t 12.796 * [taylor]: Taking taylor expansion of 0 in y 12.796 * [taylor]: Taking taylor expansion of 0 in z 12.796 * [taylor]: Taking taylor expansion of 0 in z 12.797 * [taylor]: Taking taylor expansion of 0 in z 12.797 * [taylor]: Taking taylor expansion of 0 in t 12.797 * [taylor]: Taking taylor expansion of 0 in t 12.799 * [taylor]: Taking taylor expansion of 0 in t 12.802 * [taylor]: Taking taylor expansion of 0 in y 12.802 * [taylor]: Taking taylor expansion of 0 in z 12.803 * [taylor]: Taking taylor expansion of 0 in z 12.803 * [taylor]: Taking taylor expansion of 0 in z 12.804 * [taylor]: Taking taylor expansion of 0 in z 12.804 * [taylor]: Taking taylor expansion of 0 in t 12.804 * [taylor]: Taking taylor expansion of 0 in t 12.804 * [taylor]: Taking taylor expansion of 0 in t 12.805 * [taylor]: Taking taylor expansion of 0 in t 12.805 * [taylor]: Taking taylor expansion of 0 in t 12.806 * [taylor]: Taking taylor expansion of 0 in t 12.807 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 12.807 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 3) in (x) around 0 12.807 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 12.807 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 12.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 12.808 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 12.808 * [taylor]: Taking taylor expansion of 1/3 in x 12.808 * [taylor]: Taking taylor expansion of (log x) in x 12.808 * [taylor]: Taking taylor expansion of x in x 12.809 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 12.809 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 12.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 12.809 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 12.809 * [taylor]: Taking taylor expansion of 1/3 in x 12.809 * [taylor]: Taking taylor expansion of (log x) in x 12.809 * [taylor]: Taking taylor expansion of x in x 12.885 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in (x) around 0 12.885 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 12.885 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.885 * [taylor]: Taking taylor expansion of 1/3 in x 12.885 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.885 * [taylor]: Taking taylor expansion of x in x 12.887 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 12.887 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.887 * [taylor]: Taking taylor expansion of 1/3 in x 12.887 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.887 * [taylor]: Taking taylor expansion of x in x 12.962 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in (x) around 0 12.962 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 12.962 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 12.962 * [taylor]: Taking taylor expansion of (cbrt -1) in x 12.962 * [taylor]: Taking taylor expansion of -1 in x 12.963 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.963 * [taylor]: Taking taylor expansion of 1/3 in x 12.963 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.963 * [taylor]: Taking taylor expansion of x in x 12.965 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 12.965 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 12.965 * [taylor]: Taking taylor expansion of (cbrt -1) in x 12.965 * [taylor]: Taking taylor expansion of -1 in x 12.965 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 12.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 12.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 12.966 * [taylor]: Taking taylor expansion of 1/3 in x 12.966 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 12.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.966 * [taylor]: Taking taylor expansion of x in x 13.064 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 13.064 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 13.064 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 13.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 13.064 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 13.064 * [taylor]: Taking taylor expansion of 1/3 in x 13.064 * [taylor]: Taking taylor expansion of (log x) in x 13.064 * [taylor]: Taking taylor expansion of x in x 13.065 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 13.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 13.065 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 13.065 * [taylor]: Taking taylor expansion of 1/3 in x 13.065 * [taylor]: Taking taylor expansion of (log x) in x 13.065 * [taylor]: Taking taylor expansion of x in x 13.123 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 13.123 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.123 * [taylor]: Taking taylor expansion of 1/3 in x 13.123 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.123 * [taylor]: Taking taylor expansion of x in x 13.124 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.124 * [taylor]: Taking taylor expansion of 1/3 in x 13.124 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.124 * [taylor]: Taking taylor expansion of x in x 13.188 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 13.188 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 13.188 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.188 * [taylor]: Taking taylor expansion of -1 in x 13.189 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.189 * [taylor]: Taking taylor expansion of 1/3 in x 13.189 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.189 * [taylor]: Taking taylor expansion of x in x 13.190 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 13.190 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.190 * [taylor]: Taking taylor expansion of -1 in x 13.191 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.191 * [taylor]: Taking taylor expansion of 1/3 in x 13.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.191 * [taylor]: Taking taylor expansion of x in x 13.266 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1) 13.266 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 13.267 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 13.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 13.267 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 13.267 * [taylor]: Taking taylor expansion of 1/3 in x 13.267 * [taylor]: Taking taylor expansion of (log x) in x 13.267 * [taylor]: Taking taylor expansion of x in x 13.267 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 13.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 13.267 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 13.267 * [taylor]: Taking taylor expansion of 1/3 in x 13.267 * [taylor]: Taking taylor expansion of (log x) in x 13.267 * [taylor]: Taking taylor expansion of x in x 13.320 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 13.321 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.321 * [taylor]: Taking taylor expansion of 1/3 in x 13.321 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.321 * [taylor]: Taking taylor expansion of x in x 13.322 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.322 * [taylor]: Taking taylor expansion of 1/3 in x 13.322 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.322 * [taylor]: Taking taylor expansion of x in x 13.385 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 13.386 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 13.386 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.386 * [taylor]: Taking taylor expansion of -1 in x 13.387 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.387 * [taylor]: Taking taylor expansion of 1/3 in x 13.387 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.387 * [taylor]: Taking taylor expansion of x in x 13.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 13.388 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.388 * [taylor]: Taking taylor expansion of -1 in x 13.389 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 13.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 13.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 13.389 * [taylor]: Taking taylor expansion of 1/3 in x 13.389 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 13.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.389 * [taylor]: Taking taylor expansion of x in x 13.471 * * * [progress]: simplifying candidates 13.474 * [simplify]: Simplifying using # : (expm1 (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (log1p (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (- (log (cbrt (pow (cbrt x) 3))) (log (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (+ (log (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (log (- z t)))) (+ (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (log (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (log (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (exp (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* x x) (* y y)) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* x x) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* y y)) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (pow (cbrt x) 3) y) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt (pow (cbrt x) 3)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t))))) (* (* (cbrt x) (cbrt x)) (* (cbrt (pow (cbrt x) 3)) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (+ (* z z) (+ (* t t) (* z t)))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (+ z t)) (* (* (cbrt x) (cbrt x)) (* (cbrt (pow (cbrt x) 3)) (- z t))) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- t) 1 (* t 1)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* t 1))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- t) 1 (* t 1)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma 1 z (- (* (sqrt t) (sqrt t)))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma 1 z (- (* t 1))))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- t) 1 (* t 1)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z)) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- t) 1 (* t 1)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (sqrt z) (sqrt z) (- (* t 1))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- t) 1 (* t 1)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma 1 z (- (* t 1))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (fma (- t) 1 (* t 1)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- t) 1 (* t 1))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (sqrt z) (sqrt z) (- (* t 1)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- t) 1 (* t 1))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma 1 z (- (* (sqrt t) (sqrt t))))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma 1 z (- (* t 1)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (fma (- t) 1 (* t 1))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) z) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- t)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- t) 1 (* t 1)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (sqrt z) (sqrt z) (- (* t 1))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- t) 1 (* t 1)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma 1 z (- (* t 1))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (fma (- t) 1 (* t 1)) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* z (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (* (- t) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt (pow (cbrt x) 3)) (cbrt y))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (cbrt x) (cbrt y)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (cbrt x) 3)) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (cbrt x) 3)) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (pow z 3) (pow t 3)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- (* z z) (* t t)))) (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (cbrt (pow (cbrt x) 3)) (- z t))) (* (* (cbrt x) (cbrt x)) (* (/ (cbrt (pow (cbrt x) 3)) (cbrt y)) (- z t))) (expm1 (pow (cbrt x) 3)) (log1p (pow (cbrt x) 3)) (* (log (cbrt x)) 3) (* (log (cbrt x)) 3) (* 1/3 3) (* 1 3) (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (log (pow (cbrt x) 3)) (exp (pow (cbrt x) 3)) (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3)) (* (* (pow (cbrt x) 3) (pow (cbrt x) 3)) (pow (cbrt x) 3)) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (sqrt (pow (cbrt x) 3)) (sqrt (pow (cbrt x) 3)) (pow (cbrt x) (/ 3 2)) (pow (cbrt x) (/ 3 2)) (expm1 (cbrt (pow (cbrt x) 3))) (log1p (cbrt (pow (cbrt x) 3))) (log (cbrt (pow (cbrt x) 3))) (exp (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt 1) (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) (/ 3 2))) (cbrt (pow (cbrt x) (/ 3 2))) (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (* (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (expm1 (cbrt x)) (log1p (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)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) x x x (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)) 13.489 * * [simplify]: iteration 0 : 318 enodes (cost 5422 ) 13.619 * * [simplify]: iteration 1 : 993 enodes (cost 4135 ) 14.308 * * [simplify]: iteration 2 : 4306 enodes (cost 2240 ) 15.384 * * [simplify]: iteration done : 5001 enodes (cost 2204 ) 15.385 * [simplify]: Simplified to: (expm1 (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log1p (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (log (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (exp (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (* (* (pow (- z t) 3) (/ x y)) (/ (* x x) (* y y))) (* (/ (* x x) (* y y)) (pow (/ (* (cbrt x) (- z t)) (cbrt y)) 3)) (* (/ (* x x) (* y y)) (pow (/ (* (cbrt x) (- z t)) (cbrt y)) 3)) (* (* (pow (- z t) 3) (/ x y)) (/ x (/ (pow (* (cbrt y) (cbrt y)) 3) x))) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (* (* (pow (- z t) 3) (/ x y)) (/ (* x x) (* y y))) (* (/ (* x x) (* y y)) (pow (/ (* (cbrt x) (- z t)) (cbrt y)) 3)) (* (/ (* x x) (* y y)) (pow (/ (* (cbrt x) (- z t)) (cbrt y)) 3)) (* (* (pow (- z t) 3) (/ x y)) (/ x (/ (pow (* (cbrt y) (cbrt y)) 3) x))) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (* (* (pow (- z t) 3) (/ x y)) (/ x (/ (pow (* (cbrt y) (cbrt y)) 3) x))) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (* (cbrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (cbrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)))) (cbrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (pow (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) 3) (sqrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (sqrt (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3))) (* x (- (pow z 3) (pow t 3))) (* (pow (cbrt y) 3) (fma z z (* t (+ z t)))) (* x (- (* z z) (* t t))) (* (+ z t) (pow (cbrt y) 3)) (/ (* x (- (pow z 3) (pow t 3))) (cbrt y)) (* (fma z z (* t (+ z t))) (* (cbrt y) (cbrt y))) (/ (* x (- (* z z) (* t t))) (cbrt y)) (* (* (cbrt y) (cbrt y)) (+ z t)) (* x (- z t)) (pow (cbrt y) 3) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (* z (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- t)) (pow (/ (cbrt x) (cbrt y)) 3) (* (/ (* (cbrt x) (- z t)) (cbrt y)) (cbrt (/ (/ (pow x 2/3) (cbrt y)) (cbrt y)))) (* (/ (* (- z t) (cbrt x)) (cbrt y)) (fabs (/ (cbrt x) (cbrt y)))) (/ (* (pow x 2/3) (- z t)) (* (cbrt y) (cbrt y))) (* (- z t) (pow (/ (cbrt x) (cbrt y)) 3)) (/ (/ (/ (* (cbrt x) (- z t)) (cbrt y)) (cbrt y)) (cbrt y)) (/ (* x (- (pow z 3) (pow t 3))) (* (cbrt y) (cbrt y))) (/ (* x (- (* z z) (* t t))) (* (cbrt y) (cbrt y))) (* (- (pow z 3) (pow t 3)) (pow (/ (cbrt x) (cbrt y)) 3)) (* (pow (/ (cbrt x) (cbrt y)) 3) (- (* z z) (* t t))) (/ (* x (- z t)) (* (cbrt y) (cbrt y))) (/ (* x (- z t)) (cbrt y)) (expm1 x) (log1p x) (log x) (log x) 1 3 (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (cbrt x) (pow x 2/3) (cbrt x) (sqrt x) (sqrt x) 1 x (pow x 2/3) (cbrt x) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) 1 x (pow x 2/3) (log x) (exp x) (pow x 2/3) (cbrt x) (pow x 3) (pow x 2/3) (cbrt x) (sqrt x) (sqrt x) 1 x (pow x 2/3) (cbrt x) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) 1 x (pow x 2/3) (sqrt x) (sqrt x) (pow (cbrt x) 3/2) (pow (cbrt x) 3/2) (expm1 (cbrt x)) (log1p (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 (pow x 2/3)) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow (cbrt x) 3/2)) (cbrt (pow (cbrt x) 3/2)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (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 (pow x 2/3)) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) x x x (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 15.387 * * * [progress]: adding candidates to table 15.749 * * [progress]: iteration 4 / 4 15.749 * * * [progress]: picking best candidate 15.759 * * * * [pick]: Picked # 15.759 * * * [progress]: localizing error 15.770 * * * [progress]: generating rewritten candidates 15.770 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 15.772 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 15.773 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 15.775 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 15.830 * * * [progress]: generating series expansions 15.831 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 15.831 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 15.831 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 15.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 15.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 15.831 * [taylor]: Taking taylor expansion of 1/3 in y 15.831 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 15.831 * [taylor]: Taking taylor expansion of (/ x y) in y 15.831 * [taylor]: Taking taylor expansion of x in y 15.831 * [taylor]: Taking taylor expansion of y in y 15.832 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 15.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 15.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 15.832 * [taylor]: Taking taylor expansion of 1/3 in x 15.832 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 15.832 * [taylor]: Taking taylor expansion of (/ x y) in x 15.832 * [taylor]: Taking taylor expansion of x in x 15.832 * [taylor]: Taking taylor expansion of y in x 15.832 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 15.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 15.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 15.832 * [taylor]: Taking taylor expansion of 1/3 in x 15.832 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 15.833 * [taylor]: Taking taylor expansion of (/ x y) in x 15.833 * [taylor]: Taking taylor expansion of x in x 15.833 * [taylor]: Taking taylor expansion of y in x 15.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 15.833 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 15.833 * [taylor]: Taking taylor expansion of 1/3 in y 15.833 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 15.833 * [taylor]: Taking taylor expansion of (log x) in y 15.833 * [taylor]: Taking taylor expansion of x in y 15.833 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.833 * [taylor]: Taking taylor expansion of y in y 15.837 * [taylor]: Taking taylor expansion of 0 in y 15.844 * [taylor]: Taking taylor expansion of 0 in y 15.855 * [taylor]: Taking taylor expansion of 0 in y 15.855 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 15.855 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 15.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 15.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 15.856 * [taylor]: Taking taylor expansion of 1/3 in y 15.856 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 15.856 * [taylor]: Taking taylor expansion of (/ y x) in y 15.856 * [taylor]: Taking taylor expansion of y in y 15.856 * [taylor]: Taking taylor expansion of x in y 15.857 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.857 * [taylor]: Taking taylor expansion of 1/3 in x 15.857 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.857 * [taylor]: Taking taylor expansion of (/ y x) in x 15.857 * [taylor]: Taking taylor expansion of y in x 15.857 * [taylor]: Taking taylor expansion of x in x 15.857 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.858 * [taylor]: Taking taylor expansion of 1/3 in x 15.858 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.858 * [taylor]: Taking taylor expansion of (/ y x) in x 15.858 * [taylor]: Taking taylor expansion of y in x 15.858 * [taylor]: Taking taylor expansion of x in x 15.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 15.858 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 15.858 * [taylor]: Taking taylor expansion of 1/3 in y 15.858 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 15.858 * [taylor]: Taking taylor expansion of (log y) in y 15.858 * [taylor]: Taking taylor expansion of y in y 15.859 * [taylor]: Taking taylor expansion of (log x) in y 15.859 * [taylor]: Taking taylor expansion of x in y 15.862 * [taylor]: Taking taylor expansion of 0 in y 15.869 * [taylor]: Taking taylor expansion of 0 in y 15.880 * [taylor]: Taking taylor expansion of 0 in y 15.881 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 15.881 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 15.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 15.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 15.881 * [taylor]: Taking taylor expansion of 1/3 in y 15.881 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 15.881 * [taylor]: Taking taylor expansion of (/ y x) in y 15.881 * [taylor]: Taking taylor expansion of y in y 15.881 * [taylor]: Taking taylor expansion of x in y 15.881 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.882 * [taylor]: Taking taylor expansion of 1/3 in x 15.882 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.882 * [taylor]: Taking taylor expansion of (/ y x) in x 15.882 * [taylor]: Taking taylor expansion of y in x 15.882 * [taylor]: Taking taylor expansion of x in x 15.882 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.882 * [taylor]: Taking taylor expansion of 1/3 in x 15.882 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.882 * [taylor]: Taking taylor expansion of (/ y x) in x 15.882 * [taylor]: Taking taylor expansion of y in x 15.882 * [taylor]: Taking taylor expansion of x in x 15.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 15.883 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 15.883 * [taylor]: Taking taylor expansion of 1/3 in y 15.883 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 15.883 * [taylor]: Taking taylor expansion of (log y) in y 15.883 * [taylor]: Taking taylor expansion of y in y 15.883 * [taylor]: Taking taylor expansion of (log x) in y 15.883 * [taylor]: Taking taylor expansion of x in y 15.887 * [taylor]: Taking taylor expansion of 0 in y 15.894 * [taylor]: Taking taylor expansion of 0 in y 15.911 * [taylor]: Taking taylor expansion of 0 in y 15.911 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 15.911 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 15.911 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 15.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 15.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 15.911 * [taylor]: Taking taylor expansion of 1/3 in y 15.911 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 15.911 * [taylor]: Taking taylor expansion of (/ x y) in y 15.911 * [taylor]: Taking taylor expansion of x in y 15.911 * [taylor]: Taking taylor expansion of y in y 15.912 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 15.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 15.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 15.912 * [taylor]: Taking taylor expansion of 1/3 in x 15.912 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 15.912 * [taylor]: Taking taylor expansion of (/ x y) in x 15.912 * [taylor]: Taking taylor expansion of x in x 15.912 * [taylor]: Taking taylor expansion of y in x 15.912 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 15.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 15.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 15.912 * [taylor]: Taking taylor expansion of 1/3 in x 15.912 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 15.913 * [taylor]: Taking taylor expansion of (/ x y) in x 15.913 * [taylor]: Taking taylor expansion of x in x 15.913 * [taylor]: Taking taylor expansion of y in x 15.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 15.913 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 15.913 * [taylor]: Taking taylor expansion of 1/3 in y 15.913 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 15.913 * [taylor]: Taking taylor expansion of (log x) in y 15.913 * [taylor]: Taking taylor expansion of x in y 15.913 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.913 * [taylor]: Taking taylor expansion of y in y 15.916 * [taylor]: Taking taylor expansion of 0 in y 15.923 * [taylor]: Taking taylor expansion of 0 in y 15.932 * [taylor]: Taking taylor expansion of 0 in y 15.933 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 15.933 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 15.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 15.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 15.933 * [taylor]: Taking taylor expansion of 1/3 in y 15.933 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 15.933 * [taylor]: Taking taylor expansion of (/ y x) in y 15.933 * [taylor]: Taking taylor expansion of y in y 15.933 * [taylor]: Taking taylor expansion of x in y 15.933 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.934 * [taylor]: Taking taylor expansion of 1/3 in x 15.934 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.934 * [taylor]: Taking taylor expansion of (/ y x) in x 15.934 * [taylor]: Taking taylor expansion of y in x 15.934 * [taylor]: Taking taylor expansion of x in x 15.934 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.934 * [taylor]: Taking taylor expansion of 1/3 in x 15.934 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.934 * [taylor]: Taking taylor expansion of (/ y x) in x 15.934 * [taylor]: Taking taylor expansion of y in x 15.934 * [taylor]: Taking taylor expansion of x in x 15.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 15.935 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 15.935 * [taylor]: Taking taylor expansion of 1/3 in y 15.935 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 15.935 * [taylor]: Taking taylor expansion of (log y) in y 15.935 * [taylor]: Taking taylor expansion of y in y 15.935 * [taylor]: Taking taylor expansion of (log x) in y 15.936 * [taylor]: Taking taylor expansion of x in y 15.939 * [taylor]: Taking taylor expansion of 0 in y 15.945 * [taylor]: Taking taylor expansion of 0 in y 15.956 * [taylor]: Taking taylor expansion of 0 in y 15.956 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 15.956 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 15.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 15.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 15.956 * [taylor]: Taking taylor expansion of 1/3 in y 15.956 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 15.956 * [taylor]: Taking taylor expansion of (/ y x) in y 15.956 * [taylor]: Taking taylor expansion of y in y 15.956 * [taylor]: Taking taylor expansion of x in y 15.957 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.957 * [taylor]: Taking taylor expansion of 1/3 in x 15.957 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.957 * [taylor]: Taking taylor expansion of (/ y x) in x 15.957 * [taylor]: Taking taylor expansion of y in x 15.957 * [taylor]: Taking taylor expansion of x in x 15.958 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 15.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 15.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 15.958 * [taylor]: Taking taylor expansion of 1/3 in x 15.958 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 15.958 * [taylor]: Taking taylor expansion of (/ y x) in x 15.958 * [taylor]: Taking taylor expansion of y in x 15.958 * [taylor]: Taking taylor expansion of x in x 15.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 15.959 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 15.959 * [taylor]: Taking taylor expansion of 1/3 in y 15.959 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 15.959 * [taylor]: Taking taylor expansion of (log y) in y 15.959 * [taylor]: Taking taylor expansion of y in y 15.959 * [taylor]: Taking taylor expansion of (log x) in y 15.959 * [taylor]: Taking taylor expansion of x in y 15.962 * [taylor]: Taking taylor expansion of 0 in y 15.969 * [taylor]: Taking taylor expansion of 0 in y 15.979 * [taylor]: Taking taylor expansion of 0 in y 15.979 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 15.980 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 15.980 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 15.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 15.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 15.980 * [taylor]: Taking taylor expansion of 1/3 in y 15.980 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 15.980 * [taylor]: Taking taylor expansion of (/ x y) in y 15.980 * [taylor]: Taking taylor expansion of x in y 15.980 * [taylor]: Taking taylor expansion of y in y 15.980 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 15.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 15.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 15.980 * [taylor]: Taking taylor expansion of 1/3 in x 15.980 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 15.980 * [taylor]: Taking taylor expansion of (/ x y) in x 15.980 * [taylor]: Taking taylor expansion of x in x 15.980 * [taylor]: Taking taylor expansion of y in x 15.981 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 15.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 15.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 15.981 * [taylor]: Taking taylor expansion of 1/3 in x 15.981 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 15.981 * [taylor]: Taking taylor expansion of (/ x y) in x 15.981 * [taylor]: Taking taylor expansion of x in x 15.981 * [taylor]: Taking taylor expansion of y in x 15.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 15.982 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 15.982 * [taylor]: Taking taylor expansion of 1/3 in y 15.982 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 15.982 * [taylor]: Taking taylor expansion of (log x) in y 15.982 * [taylor]: Taking taylor expansion of x in y 15.982 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.982 * [taylor]: Taking taylor expansion of y in y 15.985 * [taylor]: Taking taylor expansion of 0 in y 15.991 * [taylor]: Taking taylor expansion of 0 in y 16.008 * [taylor]: Taking taylor expansion of 0 in y 16.008 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 16.008 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 16.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 16.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 16.008 * [taylor]: Taking taylor expansion of 1/3 in y 16.008 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 16.008 * [taylor]: Taking taylor expansion of (/ y x) in y 16.008 * [taylor]: Taking taylor expansion of y in y 16.008 * [taylor]: Taking taylor expansion of x in y 16.009 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 16.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 16.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 16.009 * [taylor]: Taking taylor expansion of 1/3 in x 16.009 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 16.009 * [taylor]: Taking taylor expansion of (/ y x) in x 16.009 * [taylor]: Taking taylor expansion of y in x 16.009 * [taylor]: Taking taylor expansion of x in x 16.010 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 16.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 16.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 16.010 * [taylor]: Taking taylor expansion of 1/3 in x 16.010 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 16.010 * [taylor]: Taking taylor expansion of (/ y x) in x 16.010 * [taylor]: Taking taylor expansion of y in x 16.010 * [taylor]: Taking taylor expansion of x in x 16.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 16.010 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 16.010 * [taylor]: Taking taylor expansion of 1/3 in y 16.010 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 16.010 * [taylor]: Taking taylor expansion of (log y) in y 16.010 * [taylor]: Taking taylor expansion of y in y 16.011 * [taylor]: Taking taylor expansion of (log x) in y 16.011 * [taylor]: Taking taylor expansion of x in y 16.014 * [taylor]: Taking taylor expansion of 0 in y 16.021 * [taylor]: Taking taylor expansion of 0 in y 16.031 * [taylor]: Taking taylor expansion of 0 in y 16.031 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 16.031 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 16.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 16.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 16.031 * [taylor]: Taking taylor expansion of 1/3 in y 16.031 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 16.031 * [taylor]: Taking taylor expansion of (/ y x) in y 16.031 * [taylor]: Taking taylor expansion of y in y 16.031 * [taylor]: Taking taylor expansion of x in y 16.032 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 16.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 16.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 16.032 * [taylor]: Taking taylor expansion of 1/3 in x 16.032 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 16.032 * [taylor]: Taking taylor expansion of (/ y x) in x 16.032 * [taylor]: Taking taylor expansion of y in x 16.032 * [taylor]: Taking taylor expansion of x in x 16.033 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 16.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 16.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 16.033 * [taylor]: Taking taylor expansion of 1/3 in x 16.033 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 16.033 * [taylor]: Taking taylor expansion of (/ y x) in x 16.033 * [taylor]: Taking taylor expansion of y in x 16.033 * [taylor]: Taking taylor expansion of x in x 16.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 16.034 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 16.034 * [taylor]: Taking taylor expansion of 1/3 in y 16.034 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 16.034 * [taylor]: Taking taylor expansion of (log y) in y 16.034 * [taylor]: Taking taylor expansion of y in y 16.034 * [taylor]: Taking taylor expansion of (log x) in y 16.034 * [taylor]: Taking taylor expansion of x in y 16.037 * [taylor]: Taking taylor expansion of 0 in y 16.044 * [taylor]: Taking taylor expansion of 0 in y 16.054 * [taylor]: Taking taylor expansion of 0 in y 16.054 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 16.055 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 16.055 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 16.055 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 16.055 * [taylor]: Taking taylor expansion of x in t 16.055 * [taylor]: Taking taylor expansion of (- z t) in t 16.055 * [taylor]: Taking taylor expansion of z in t 16.055 * [taylor]: Taking taylor expansion of t in t 16.055 * [taylor]: Taking taylor expansion of y in t 16.055 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 16.055 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 16.055 * [taylor]: Taking taylor expansion of x in z 16.055 * [taylor]: Taking taylor expansion of (- z t) in z 16.055 * [taylor]: Taking taylor expansion of z in z 16.055 * [taylor]: Taking taylor expansion of t in z 16.055 * [taylor]: Taking taylor expansion of y in z 16.056 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 16.056 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 16.056 * [taylor]: Taking taylor expansion of x in y 16.056 * [taylor]: Taking taylor expansion of (- z t) in y 16.056 * [taylor]: Taking taylor expansion of z in y 16.056 * [taylor]: Taking taylor expansion of t in y 16.056 * [taylor]: Taking taylor expansion of y in y 16.056 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 16.056 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 16.056 * [taylor]: Taking taylor expansion of x in x 16.056 * [taylor]: Taking taylor expansion of (- z t) in x 16.056 * [taylor]: Taking taylor expansion of z in x 16.056 * [taylor]: Taking taylor expansion of t in x 16.056 * [taylor]: Taking taylor expansion of y in x 16.057 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 16.057 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 16.057 * [taylor]: Taking taylor expansion of x in x 16.057 * [taylor]: Taking taylor expansion of (- z t) in x 16.057 * [taylor]: Taking taylor expansion of z in x 16.057 * [taylor]: Taking taylor expansion of t in x 16.057 * [taylor]: Taking taylor expansion of y in x 16.058 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 16.058 * [taylor]: Taking taylor expansion of (- z t) in y 16.058 * [taylor]: Taking taylor expansion of z in y 16.058 * [taylor]: Taking taylor expansion of t in y 16.058 * [taylor]: Taking taylor expansion of y in y 16.059 * [taylor]: Taking taylor expansion of (- z t) in z 16.059 * [taylor]: Taking taylor expansion of z in z 16.059 * [taylor]: Taking taylor expansion of t in z 16.059 * [taylor]: Taking taylor expansion of (- t) in t 16.059 * [taylor]: Taking taylor expansion of t in t 16.060 * [taylor]: Taking taylor expansion of 0 in y 16.061 * [taylor]: Taking taylor expansion of 0 in z 16.061 * [taylor]: Taking taylor expansion of 0 in t 16.062 * [taylor]: Taking taylor expansion of 1 in t 16.064 * [taylor]: Taking taylor expansion of 0 in y 16.064 * [taylor]: Taking taylor expansion of 0 in z 16.064 * [taylor]: Taking taylor expansion of 0 in t 16.065 * [taylor]: Taking taylor expansion of 0 in z 16.065 * [taylor]: Taking taylor expansion of 0 in t 16.065 * [taylor]: Taking taylor expansion of 0 in t 16.066 * [taylor]: Taking taylor expansion of 0 in t 16.066 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 16.067 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 16.067 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 16.067 * [taylor]: Taking taylor expansion of y in t 16.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 16.067 * [taylor]: Taking taylor expansion of (/ 1 z) in t 16.067 * [taylor]: Taking taylor expansion of z in t 16.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t 16.067 * [taylor]: Taking taylor expansion of t in t 16.067 * [taylor]: Taking taylor expansion of x in t 16.068 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 16.068 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 16.068 * [taylor]: Taking taylor expansion of y in z 16.068 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 16.068 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.068 * [taylor]: Taking taylor expansion of z in z 16.068 * [taylor]: Taking taylor expansion of (/ 1 t) in z 16.068 * [taylor]: Taking taylor expansion of t in z 16.068 * [taylor]: Taking taylor expansion of x in z 16.069 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 16.069 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 16.069 * [taylor]: Taking taylor expansion of y in y 16.069 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 16.069 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.069 * [taylor]: Taking taylor expansion of z in y 16.069 * [taylor]: Taking taylor expansion of (/ 1 t) in y 16.069 * [taylor]: Taking taylor expansion of t in y 16.069 * [taylor]: Taking taylor expansion of x in y 16.070 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 16.070 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 16.070 * [taylor]: Taking taylor expansion of y in x 16.070 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 16.070 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.070 * [taylor]: Taking taylor expansion of z in x 16.070 * [taylor]: Taking taylor expansion of (/ 1 t) in x 16.070 * [taylor]: Taking taylor expansion of t in x 16.070 * [taylor]: Taking taylor expansion of x in x 16.070 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 16.070 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 16.070 * [taylor]: Taking taylor expansion of y in x 16.070 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 16.070 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.070 * [taylor]: Taking taylor expansion of z in x 16.070 * [taylor]: Taking taylor expansion of (/ 1 t) in x 16.070 * [taylor]: Taking taylor expansion of t in x 16.071 * [taylor]: Taking taylor expansion of x in x 16.071 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 16.071 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 16.071 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.071 * [taylor]: Taking taylor expansion of z in y 16.071 * [taylor]: Taking taylor expansion of (/ 1 t) in y 16.071 * [taylor]: Taking taylor expansion of t in y 16.071 * [taylor]: Taking taylor expansion of y in y 16.072 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 16.072 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.072 * [taylor]: Taking taylor expansion of z in z 16.072 * [taylor]: Taking taylor expansion of (/ 1 t) in z 16.073 * [taylor]: Taking taylor expansion of t in z 16.073 * [taylor]: Taking taylor expansion of 1 in t 16.074 * [taylor]: Taking taylor expansion of 0 in y 16.074 * [taylor]: Taking taylor expansion of 0 in z 16.075 * [taylor]: Taking taylor expansion of 0 in z 16.076 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 16.076 * [taylor]: Taking taylor expansion of (/ 1 t) in t 16.076 * [taylor]: Taking taylor expansion of t in t 16.079 * [taylor]: Taking taylor expansion of 0 in y 16.079 * [taylor]: Taking taylor expansion of 0 in z 16.079 * [taylor]: Taking taylor expansion of 0 in z 16.080 * [taylor]: Taking taylor expansion of 0 in z 16.080 * [taylor]: Taking taylor expansion of 0 in t 16.080 * [taylor]: Taking taylor expansion of 0 in t 16.081 * [taylor]: Taking taylor expansion of 0 in t 16.085 * [taylor]: Taking taylor expansion of 0 in y 16.085 * [taylor]: Taking taylor expansion of 0 in z 16.085 * [taylor]: Taking taylor expansion of 0 in z 16.085 * [taylor]: Taking taylor expansion of 0 in z 16.086 * [taylor]: Taking taylor expansion of 0 in z 16.087 * [taylor]: Taking taylor expansion of 0 in t 16.087 * [taylor]: Taking taylor expansion of 0 in t 16.087 * [taylor]: Taking taylor expansion of 0 in t 16.087 * [taylor]: Taking taylor expansion of 0 in t 16.087 * [taylor]: Taking taylor expansion of 0 in t 16.088 * [taylor]: Taking taylor expansion of 0 in t 16.090 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 16.090 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 16.090 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 16.090 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 16.090 * [taylor]: Taking taylor expansion of (/ 1 t) in t 16.090 * [taylor]: Taking taylor expansion of t in t 16.090 * [taylor]: Taking taylor expansion of (/ 1 z) in t 16.090 * [taylor]: Taking taylor expansion of z in t 16.090 * [taylor]: Taking taylor expansion of y in t 16.090 * [taylor]: Taking taylor expansion of x in t 16.091 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 16.091 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 16.091 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 16.091 * [taylor]: Taking taylor expansion of (/ 1 t) in z 16.091 * [taylor]: Taking taylor expansion of t in z 16.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.091 * [taylor]: Taking taylor expansion of z in z 16.091 * [taylor]: Taking taylor expansion of y in z 16.091 * [taylor]: Taking taylor expansion of x in z 16.092 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 16.092 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 16.092 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 16.092 * [taylor]: Taking taylor expansion of (/ 1 t) in y 16.092 * [taylor]: Taking taylor expansion of t in y 16.092 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.092 * [taylor]: Taking taylor expansion of z in y 16.092 * [taylor]: Taking taylor expansion of y in y 16.092 * [taylor]: Taking taylor expansion of x in y 16.093 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 16.093 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 16.093 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 16.093 * [taylor]: Taking taylor expansion of (/ 1 t) in x 16.093 * [taylor]: Taking taylor expansion of t in x 16.093 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.093 * [taylor]: Taking taylor expansion of z in x 16.093 * [taylor]: Taking taylor expansion of y in x 16.093 * [taylor]: Taking taylor expansion of x in x 16.094 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 16.094 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 16.094 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 16.094 * [taylor]: Taking taylor expansion of (/ 1 t) in x 16.094 * [taylor]: Taking taylor expansion of t in x 16.094 * [taylor]: Taking taylor expansion of (/ 1 z) in x 16.094 * [taylor]: Taking taylor expansion of z in x 16.094 * [taylor]: Taking taylor expansion of y in x 16.094 * [taylor]: Taking taylor expansion of x in x 16.094 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 16.094 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 16.094 * [taylor]: Taking taylor expansion of (/ 1 t) in y 16.094 * [taylor]: Taking taylor expansion of t in y 16.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y 16.094 * [taylor]: Taking taylor expansion of z in y 16.094 * [taylor]: Taking taylor expansion of y in y 16.095 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 16.095 * [taylor]: Taking taylor expansion of (/ 1 t) in z 16.095 * [taylor]: Taking taylor expansion of t in z 16.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.095 * [taylor]: Taking taylor expansion of z in z 16.096 * [taylor]: Taking taylor expansion of -1 in t 16.098 * [taylor]: Taking taylor expansion of 0 in y 16.098 * [taylor]: Taking taylor expansion of 0 in z 16.099 * [taylor]: Taking taylor expansion of 0 in z 16.100 * [taylor]: Taking taylor expansion of (/ 1 t) in t 16.100 * [taylor]: Taking taylor expansion of t in t 16.107 * [taylor]: Taking taylor expansion of 0 in y 16.108 * [taylor]: Taking taylor expansion of 0 in z 16.108 * [taylor]: Taking taylor expansion of 0 in z 16.109 * [taylor]: Taking taylor expansion of 0 in z 16.109 * [taylor]: Taking taylor expansion of 0 in t 16.109 * [taylor]: Taking taylor expansion of 0 in t 16.110 * [taylor]: Taking taylor expansion of 0 in t 16.114 * [taylor]: Taking taylor expansion of 0 in y 16.114 * [taylor]: Taking taylor expansion of 0 in z 16.114 * [taylor]: Taking taylor expansion of 0 in z 16.114 * [taylor]: Taking taylor expansion of 0 in z 16.115 * [taylor]: Taking taylor expansion of 0 in z 16.115 * [taylor]: Taking taylor expansion of 0 in t 16.115 * [taylor]: Taking taylor expansion of 0 in t 16.115 * [taylor]: Taking taylor expansion of 0 in t 16.115 * [taylor]: Taking taylor expansion of 0 in t 16.115 * [taylor]: Taking taylor expansion of 0 in t 16.117 * [taylor]: Taking taylor expansion of 0 in t 16.118 * * * [progress]: simplifying candidates 16.121 * [simplify]: Simplifying using # : (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (log1p (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))) (+ (+ (log (cbrt (/ x y))) (log (cbrt (/ x y)))) (+ (log (cbrt (/ x y))) (log (- z t)))) (+ (+ (log (cbrt (/ x y))) (log (cbrt (/ x y)))) (log (* (cbrt (/ x y)) (- z t)))) (+ (log (* (cbrt (/ x y)) (cbrt (/ x y)))) (+ (log (cbrt (/ x y))) (log (- z t)))) (+ (log (* (cbrt (/ x y)) (cbrt (/ x y)))) (log (* (cbrt (/ x y)) (- z t)))) (log (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (exp (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (* (* (/ x y) (/ x y)) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (* (/ x y) (/ x y)) (* (* (* (cbrt (/ x y)) (- z t)) (* (cbrt (/ x y)) (- z t))) (* (cbrt (/ x y)) (- z t)))) (* (* (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (/ x y) (* (* (- z t) (- z t)) (- z t)))) (* (* (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (* (cbrt (/ x y)) (- z t)) (* (cbrt (/ x y)) (- z t))) (* (cbrt (/ x y)) (- z t)))) (* (cbrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (cbrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))))) (cbrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (* (* (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (sqrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (sqrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t))))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z t))) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (+ (* z z) (+ (* t t) (* z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (* z z) (* t t)))) (* (* (cbrt y) (cbrt y)) (+ z t)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- z t))) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (* (cbrt (/ x y)) (cbrt x)) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (cbrt y) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t))))) (* (* (cbrt (/ x y)) (cbrt x)) (* (cbrt x) (- (* z z) (* t t)))) (* (cbrt y) (* (cbrt y) (+ z t))) (* (* (cbrt (/ x y)) (cbrt x)) (* (cbrt (/ x y)) (- (pow z 3) (pow t 3)))) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t)))) (* (* (cbrt (/ x y)) (cbrt x)) (* (cbrt (/ x y)) (- (* z z) (* t t)))) (* (cbrt y) (+ z t)) (* (* (cbrt (/ x y)) (cbrt x)) (* (cbrt x) (- z t))) (* (cbrt y) (cbrt y)) (* (* (cbrt x) (cbrt (/ x y))) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (cbrt y) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t))))) (* (* (cbrt x) (cbrt (/ x y))) (* (cbrt x) (- (* z z) (* t t)))) (* (cbrt y) (* (cbrt y) (+ z t))) (* (* (cbrt x) (cbrt (/ x y))) (* (cbrt (/ x y)) (- (pow z 3) (pow t 3)))) (* (cbrt y) (+ (* z z) (+ (* t t) (* z t)))) (* (* (cbrt x) (cbrt (/ x y))) (* (cbrt (/ x y)) (- (* z z) (* t t)))) (* (cbrt y) (+ z t)) (* (* (cbrt x) (cbrt (/ x y))) (* (cbrt x) (- z t))) (* (cbrt y) (cbrt y)) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- t) 1 (* t 1)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (sqrt z) (sqrt z) (- (* t 1))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- t) 1 (* t 1)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma 1 z (- (* (sqrt t) (sqrt t)))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma 1 z (- (* t 1))))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (fma (- t) 1 (* t 1)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) z)) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) z)) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- t) 1 (* t 1)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (sqrt z) (sqrt z) (- (* t 1))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- t) 1 (* t 1)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma 1 z (- (* t 1))) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (fma (- t) 1 (* t 1)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* z (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (- t) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* z (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (- t) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- t) 1 (* t 1))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (sqrt z) (sqrt z) (- (* t 1)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- t) 1 (* t 1))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma 1 z (- (* (sqrt t) (sqrt t))))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma 1 z (- (* t 1)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (fma (- t) 1 (* t 1))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) z) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (- t)) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) z) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (- t)) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- t) 1 (* t 1)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (sqrt z) (sqrt z) (- (* t 1))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- t) 1 (* t 1)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma 1 z (- (* t 1))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (fma (- t) 1 (* t 1)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* z (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (- t) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* z (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (- t) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (* z z) (* t t)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- (* z z) (* t t)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- z t))) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt (/ x y)) (cbrt x)) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt x) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))) (exp (* 1/3 (- (log x) (log y)))) (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 x))))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (exp (* 1/3 (- (log x) (log y)))) (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 x))))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (exp (* 1/3 (- (log x) (log y)))) (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 x))))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) 16.131 * * [simplify]: iteration 0 : 280 enodes (cost 4101 ) 16.205 * * [simplify]: iteration 1 : 711 enodes (cost 3711 ) 16.432 * * [simplify]: iteration 2 : 1747 enodes (cost 2501 ) 17.070 * * [simplify]: iteration done : 5000 enodes (cost 2465 ) 17.071 * [simplify]: Simplified to: (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt x)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (pow (cbrt (/ x y)) 3) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt x)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (pow (cbrt (/ x y)) 3) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt x)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (pow (cbrt (/ x y)) 3) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (* (pow (cbrt (/ x y)) 3) (- z t))) (log1p (* (pow (cbrt (/ x y)) 3) (- z t))) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (pow (cbrt (/ x y)) 3) (- z t)) (log (* (pow (cbrt (/ x y)) 3) (- z t))) (log (* (pow (cbrt (/ x y)) 3) (- z t))) (log (* (pow (cbrt (/ x y)) 3) (- z t))) (log (* (pow (cbrt (/ x y)) 3) (- z t))) (log (* (pow (cbrt (/ x y)) 3) (- z t))) (exp (* (pow (cbrt (/ x y)) 3) (- z t))) (* (* (/ x y) (/ x y)) (* (/ x y) (pow (- z t) 3))) (* (* (/ x y) (/ x y)) (pow (* (cbrt (/ x y)) (- z t)) 3)) (* (pow (* (cbrt (/ x y)) (cbrt (/ x y))) 3) (* (/ x y) (pow (- z t) 3))) (pow (* (pow (cbrt (/ x y)) 3) (- z t)) 3) (* (cbrt (* (pow (cbrt (/ x y)) 3) (- z t))) (cbrt (* (pow (cbrt (/ x y)) 3) (- z t)))) (cbrt (* (pow (cbrt (/ x y)) 3) (- z t))) (pow (* (pow (cbrt (/ x y)) 3) (- z t)) 3) (sqrt (* (pow (cbrt (/ x y)) 3) (- z t))) (sqrt (* (pow (cbrt (/ x y)) 3) (- z t))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (pow (cbrt y) 3) (fma z z (* t (+ z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* z z) (* t t)))) (* (+ z t) (pow (cbrt y) 3)) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (fma z z (* t (+ z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (* z z) (* t t)))) (* (cbrt y) (* (cbrt y) (+ z t))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- z t))) (pow (cbrt y) 3) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (fma z z (* t (+ z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (* z z) (* t t)))) (* (cbrt y) (* (cbrt y) (+ z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (fma z z (* t (+ z t))) (cbrt y)) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (* z z) (* t t)))) (* (cbrt y) (+ z t)) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- z t))) (* (cbrt y) (cbrt y)) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (pow z 3) (pow t 3)))) (* (* (cbrt y) (cbrt y)) (fma z z (* t (+ z t)))) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- (* z z) (* t t)))) (* (cbrt y) (* (cbrt y) (+ z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (fma z z (* t (+ z t))) (cbrt y)) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (* z z) (* t t)))) (* (cbrt y) (+ z t)) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- z t))) (* (cbrt y) (cbrt y)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t))) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) (- z t)) (* (- t t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (* (pow (cbrt (/ x y)) 3) z) (* (- t) (pow (cbrt (/ x y)) 3)) (pow (cbrt (/ x y)) 3) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (- z t)) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (pow z 3) (pow t 3)))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- (* z z) (* t t)))) (* (- (pow z 3) (pow t 3)) (pow (cbrt (/ x y)) 3)) (* (- (* z z) (* t t)) (pow (cbrt (/ x y)) 3)) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- z t))) (* (* (cbrt x) (cbrt x)) (* (cbrt (/ x y)) (- z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- z t))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (- z t))) (pow (exp 1/3) (- (log x) (log y))) (pow (exp 1/3) (- (log x) (log y))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (pow (exp 1/3) (- (log x) (log y))) (pow (exp 1/3) (- (log x) (log y))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (pow (exp 1/3) (- (log x) (log y))) (pow (exp 1/3) (- (log x) (log y))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) 17.073 * * * [progress]: adding candidates to table 17.507 * [progress]: [Phase 3 of 3] Extracting. 17.507 * * [regime]: Finding splitpoints for: (# # # # # #) 17.509 * * * [regime-changes]: Trying 6 branch expressions: ((/ x y) (+ (* (/ x y) (- z t)) t) t z y x) 17.509 * * * * [regimes]: Trying to branch on (/ x y) from (# # # # # #) 17.538 * * * * [regimes]: Trying to branch on (/ x y) from (# #) 17.557 * * * * [regimes]: Trying to branch on (+ (* (/ x y) (- z t)) t) from (# # # # # #) 17.587 * * * * [regimes]: Trying to branch on t from (# # # # # #) 17.618 * * * * [regimes]: Trying to branch on z from (# # # # # #) 17.649 * * * * [regimes]: Trying to branch on y from (# # # # # #) 17.679 * * * * [regimes]: Trying to branch on x from (# # # # # #) 17.707 * * * [regime]: Found split indices: #