10.208 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (* x (- 1.0 (* y z))) 0.020 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.021 * * [simplify]: iteration 1 : 24 enodes (cost 3 ) 0.023 * * [simplify]: iteration 2 : 46 enodes (cost 3 ) 0.024 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 0.026 * * [simplify]: iteration 4 : 79 enodes (cost 3 ) 0.028 * * [simplify]: iteration 5 : 79 enodes (cost 3 ) 0.028 * [simplify]: Simplified to: (* x (- 1.0 (* y z))) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.030 * * * * [pick]: Picked # 0.030 * * * [progress]: localizing error 0.036 * * * [progress]: generating rewritten candidates 0.036 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.046 * * * [progress]: generating series expansions 0.046 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.047 * [approximate]: Taking taylor expansion of (* x (- 1.0 (* z y))) in (x y z) around 0 0.047 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in z 0.047 * [taylor]: Taking taylor expansion of x in z 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in z 0.047 * [taylor]: Taking taylor expansion of 1.0 in z 0.047 * [taylor]: Taking taylor expansion of (* z y) in z 0.047 * [taylor]: Taking taylor expansion of z in z 0.047 * [taylor]: Taking taylor expansion of y in z 0.047 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in y 0.047 * [taylor]: Taking taylor expansion of x in y 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y 0.047 * [taylor]: Taking taylor expansion of 1.0 in y 0.047 * [taylor]: Taking taylor expansion of (* z y) in y 0.047 * [taylor]: Taking taylor expansion of z in y 0.047 * [taylor]: Taking taylor expansion of y in y 0.047 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (* z y) in x 0.047 * [taylor]: Taking taylor expansion of z in x 0.047 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (* z y) in x 0.047 * [taylor]: Taking taylor expansion of z in x 0.047 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of 0 in y 0.047 * [taylor]: Taking taylor expansion of 0 in z 0.049 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y 0.049 * [taylor]: Taking taylor expansion of 1.0 in y 0.049 * [taylor]: Taking taylor expansion of (* z y) in y 0.049 * [taylor]: Taking taylor expansion of z in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of 1.0 in z 0.049 * [taylor]: Taking taylor expansion of 0 in z 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 0 in z 0.051 * [taylor]: Taking taylor expansion of (- z) in z 0.051 * [taylor]: Taking taylor expansion of z in z 0.051 * [taylor]: Taking taylor expansion of 0 in z 0.052 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in (x y z) around 0 0.052 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in z 0.052 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in z 0.052 * [taylor]: Taking taylor expansion of 1.0 in z 0.052 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.052 * [taylor]: Taking taylor expansion of (* z y) in z 0.052 * [taylor]: Taking taylor expansion of z in z 0.052 * [taylor]: Taking taylor expansion of y in z 0.052 * [taylor]: Taking taylor expansion of x in z 0.052 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in y 0.052 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y 0.052 * [taylor]: Taking taylor expansion of 1.0 in y 0.052 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.052 * [taylor]: Taking taylor expansion of (* z y) in y 0.052 * [taylor]: Taking taylor expansion of z in y 0.052 * [taylor]: Taking taylor expansion of y in y 0.053 * [taylor]: Taking taylor expansion of x in y 0.053 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x 0.053 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x 0.053 * [taylor]: Taking taylor expansion of 1.0 in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.053 * [taylor]: Taking taylor expansion of (* z y) in x 0.053 * [taylor]: Taking taylor expansion of z in x 0.053 * [taylor]: Taking taylor expansion of y in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x 0.053 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x 0.053 * [taylor]: Taking taylor expansion of 1.0 in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.053 * [taylor]: Taking taylor expansion of (* z y) in x 0.053 * [taylor]: Taking taylor expansion of z in x 0.053 * [taylor]: Taking taylor expansion of y in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y 0.054 * [taylor]: Taking taylor expansion of 1.0 in y 0.054 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.054 * [taylor]: Taking taylor expansion of (* z y) in y 0.054 * [taylor]: Taking taylor expansion of z in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.054 * [taylor]: Taking taylor expansion of z in z 0.056 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [taylor]: Taking taylor expansion of 1.0 in z 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.059 * [taylor]: Taking taylor expansion of 0 in z 0.060 * [taylor]: Taking taylor expansion of 0 in z 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [taylor]: Taking taylor expansion of 0 in z 0.064 * [taylor]: Taking taylor expansion of 0 in z 0.065 * [taylor]: Taking taylor expansion of 0 in z 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [taylor]: Taking taylor expansion of 0 in z 0.069 * [taylor]: Taking taylor expansion of 0 in z 0.069 * [taylor]: Taking taylor expansion of 0 in z 0.071 * [taylor]: Taking taylor expansion of 0 in z 0.071 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in (x y z) around 0 0.072 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in z 0.072 * [taylor]: Taking taylor expansion of -1 in z 0.072 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in z 0.072 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in z 0.072 * [taylor]: Taking taylor expansion of 1.0 in z 0.072 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.072 * [taylor]: Taking taylor expansion of (* z y) in z 0.072 * [taylor]: Taking taylor expansion of z in z 0.072 * [taylor]: Taking taylor expansion of y in z 0.072 * [taylor]: Taking taylor expansion of x in z 0.072 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in y 0.072 * [taylor]: Taking taylor expansion of -1 in y 0.072 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in y 0.072 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y 0.072 * [taylor]: Taking taylor expansion of 1.0 in y 0.072 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.072 * [taylor]: Taking taylor expansion of (* z y) in y 0.072 * [taylor]: Taking taylor expansion of z in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.073 * [taylor]: Taking taylor expansion of x in y 0.073 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in x 0.073 * [taylor]: Taking taylor expansion of -1 in x 0.073 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x 0.073 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x 0.073 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.073 * [taylor]: Taking taylor expansion of (* z y) in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in x 0.073 * [taylor]: Taking taylor expansion of -1 in x 0.073 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x 0.073 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x 0.073 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.073 * [taylor]: Taking taylor expansion of (* z y) in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of (* -1 (- 1.0 (/ 1 (* z y)))) in y 0.074 * [taylor]: Taking taylor expansion of -1 in y 0.074 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y 0.074 * [taylor]: Taking taylor expansion of 1.0 in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.074 * [taylor]: Taking taylor expansion of (* z y) in y 0.074 * [taylor]: Taking taylor expansion of z in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.074 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.082 * [taylor]: Taking taylor expansion of (- 1.0) in z 0.083 * [taylor]: Taking taylor expansion of 1.0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.088 * [taylor]: Taking taylor expansion of 0 in z 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [taylor]: Taking taylor expansion of 0 in z 0.100 * [taylor]: Taking taylor expansion of 0 in z 0.102 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.140 * [taylor]: Taking taylor expansion of 0 in z 0.140 * * * [progress]: simplifying candidates 0.141 * [simplify]: Simplifying using # : (* x (- 1.0 (* y z))) (+ (log x) (log (- 1.0 (* y z)))) (log (* x (- 1.0 (* y z)))) (exp (* x (- 1.0 (* y z)))) (* (* (* x x) x) (* (* (- 1.0 (* y z)) (- 1.0 (* y z))) (- 1.0 (* y z)))) (* (cbrt (* x (- 1.0 (* y z)))) (cbrt (* x (- 1.0 (* y z))))) (cbrt (* x (- 1.0 (* y z)))) (* (* (* x (- 1.0 (* y z))) (* x (- 1.0 (* y z)))) (* x (- 1.0 (* y z)))) (sqrt (* x (- 1.0 (* y z)))) (sqrt (* x (- 1.0 (* y z)))) (* (sqrt x) (sqrt (- 1.0 (* y z)))) (* (sqrt x) (sqrt (- 1.0 (* y z)))) (* x 1.0) (* x (- (* y z))) (* x 1.0) (* x (- (* y z))) (* 1.0 x) (* (- (* y z)) x) (* 1.0 x) (* (- (* y z)) x) (* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z))))) (* x (sqrt (- 1.0 (* y z)))) (* x 1) (* x (+ (sqrt 1.0) (sqrt (* y z)))) (* x (+ (sqrt 1.0) (* (sqrt y) (sqrt z)))) (* x 1) (* x 1) (* (cbrt x) (- 1.0 (* y z))) (* (sqrt x) (- 1.0 (* y z))) (* x (- 1.0 (* y z))) (* x (- (pow 1.0 3) (pow (* y z) 3))) (* x (- (* 1.0 1.0) (* (* y z) (* y z)))) (* 1.0 x) (- (* 1.0 x) (* x (* z y))) (- (* 1.0 x) (* x (* z y))) 0.144 * * [simplify]: iteration 0 : 146 enodes (cost 138 ) 0.148 * * [simplify]: iteration 1 : 577 enodes (cost 122 ) 0.160 * * [simplify]: iteration 2 : 2207 enodes (cost 122 ) 0.199 * * [simplify]: iteration 3 : 5003 enodes (cost 122 ) 0.200 * [simplify]: Simplified to: (* x (- 1.0 (* y z))) (log (* x (- 1.0 (* y z)))) (log (* x (- 1.0 (* y z)))) (exp (* x (- 1.0 (* y z)))) (pow (* x (- 1.0 (* y z))) 3) (* (cbrt (* x (- 1.0 (* y z)))) (cbrt (* x (- 1.0 (* y z))))) (cbrt (* x (- 1.0 (* y z)))) (pow (* x (- 1.0 (* y z))) 3) (sqrt (* x (- 1.0 (* y z)))) (sqrt (* x (- 1.0 (* y z)))) (* (sqrt x) (sqrt (- 1.0 (* y z)))) (* (sqrt x) (sqrt (- 1.0 (* y z)))) (* x 1.0) (* x (- (* y z))) (* x 1.0) (* x (- (* y z))) (* x 1.0) (* x (- (* y z))) (* x 1.0) (* x (- (* y z))) (* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z))))) (* x (sqrt (- 1.0 (* y z)))) x (* x (+ (sqrt 1.0) (sqrt (* y z)))) (* x (+ (sqrt 1.0) (* (sqrt y) (sqrt z)))) x x (* (cbrt x) (- 1.0 (* y z))) (* (sqrt x) (- 1.0 (* y z))) (* x (- 1.0 (* y z))) (* x (- (pow 1.0 3) (pow (* y z) 3))) (* x (- (* 1.0 1.0) (* (* y z) (* y z)))) (* x 1.0) (* x (- 1.0 (* y z))) (* x (- 1.0 (* y z))) 0.201 * * * [progress]: adding candidates to table 0.250 * * [progress]: iteration 2 / 4 0.250 * * * [progress]: picking best candidate 0.268 * * * * [pick]: Picked # 0.268 * * * [progress]: localizing error 0.276 * * * [progress]: generating rewritten candidates 0.276 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.286 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.320 * * * [progress]: generating series expansions 0.320 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.320 * [approximate]: Taking taylor expansion of (* -1 (* x (* z y))) in (x y z) around 0 0.320 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in z 0.320 * [taylor]: Taking taylor expansion of -1 in z 0.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.320 * [taylor]: Taking taylor expansion of x in z 0.320 * [taylor]: Taking taylor expansion of (* z y) in z 0.320 * [taylor]: Taking taylor expansion of z in z 0.320 * [taylor]: Taking taylor expansion of y in z 0.320 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in y 0.320 * [taylor]: Taking taylor expansion of -1 in y 0.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.320 * [taylor]: Taking taylor expansion of x in y 0.320 * [taylor]: Taking taylor expansion of (* z y) in y 0.320 * [taylor]: Taking taylor expansion of z in y 0.320 * [taylor]: Taking taylor expansion of y in y 0.320 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x 0.320 * [taylor]: Taking taylor expansion of -1 in x 0.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.320 * [taylor]: Taking taylor expansion of x in x 0.320 * [taylor]: Taking taylor expansion of (* z y) in x 0.320 * [taylor]: Taking taylor expansion of z in x 0.320 * [taylor]: Taking taylor expansion of y in x 0.320 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x 0.320 * [taylor]: Taking taylor expansion of -1 in x 0.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.320 * [taylor]: Taking taylor expansion of x in x 0.320 * [taylor]: Taking taylor expansion of (* z y) in x 0.320 * [taylor]: Taking taylor expansion of z in x 0.320 * [taylor]: Taking taylor expansion of y in x 0.321 * [taylor]: Taking taylor expansion of 0 in y 0.321 * [taylor]: Taking taylor expansion of 0 in z 0.322 * [taylor]: Taking taylor expansion of (- (* z y)) in y 0.322 * [taylor]: Taking taylor expansion of (* z y) in y 0.322 * [taylor]: Taking taylor expansion of z in y 0.322 * [taylor]: Taking taylor expansion of y in y 0.322 * [taylor]: Taking taylor expansion of 0 in z 0.322 * [taylor]: Taking taylor expansion of 0 in z 0.324 * [taylor]: Taking taylor expansion of 0 in y 0.324 * [taylor]: Taking taylor expansion of 0 in z 0.324 * [taylor]: Taking taylor expansion of (- z) in z 0.324 * [taylor]: Taking taylor expansion of z in z 0.324 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (x y z) around 0 0.325 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z 0.325 * [taylor]: Taking taylor expansion of -1 in z 0.325 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.325 * [taylor]: Taking taylor expansion of x in z 0.325 * [taylor]: Taking taylor expansion of (* z y) in z 0.325 * [taylor]: Taking taylor expansion of z in z 0.325 * [taylor]: Taking taylor expansion of y in z 0.325 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 0.325 * [taylor]: Taking taylor expansion of -1 in y 0.325 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.325 * [taylor]: Taking taylor expansion of x in y 0.325 * [taylor]: Taking taylor expansion of (* z y) in y 0.325 * [taylor]: Taking taylor expansion of z in y 0.325 * [taylor]: Taking taylor expansion of y in y 0.326 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 0.326 * [taylor]: Taking taylor expansion of -1 in x 0.326 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.326 * [taylor]: Taking taylor expansion of (* z y) in x 0.326 * [taylor]: Taking taylor expansion of z in x 0.326 * [taylor]: Taking taylor expansion of y in x 0.326 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 0.326 * [taylor]: Taking taylor expansion of -1 in x 0.326 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of (* z y) in x 0.327 * [taylor]: Taking taylor expansion of z in x 0.327 * [taylor]: Taking taylor expansion of y in x 0.327 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y 0.327 * [taylor]: Taking taylor expansion of -1 in y 0.327 * [taylor]: Taking taylor expansion of (* z y) in y 0.327 * [taylor]: Taking taylor expansion of z in y 0.327 * [taylor]: Taking taylor expansion of y in y 0.327 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.327 * [taylor]: Taking taylor expansion of -1 in z 0.327 * [taylor]: Taking taylor expansion of z in z 0.329 * [taylor]: Taking taylor expansion of 0 in y 0.329 * [taylor]: Taking taylor expansion of 0 in z 0.331 * [taylor]: Taking taylor expansion of 0 in y 0.331 * [taylor]: Taking taylor expansion of 0 in z 0.332 * [taylor]: Taking taylor expansion of 0 in z 0.334 * [taylor]: Taking taylor expansion of 0 in y 0.334 * [taylor]: Taking taylor expansion of 0 in z 0.334 * [taylor]: Taking taylor expansion of 0 in z 0.335 * [taylor]: Taking taylor expansion of 0 in z 0.335 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (x y z) around 0 0.335 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 0.335 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.335 * [taylor]: Taking taylor expansion of x in z 0.335 * [taylor]: Taking taylor expansion of (* z y) in z 0.335 * [taylor]: Taking taylor expansion of z in z 0.335 * [taylor]: Taking taylor expansion of y in z 0.336 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 0.336 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.336 * [taylor]: Taking taylor expansion of x in y 0.336 * [taylor]: Taking taylor expansion of (* z y) in y 0.336 * [taylor]: Taking taylor expansion of z in y 0.336 * [taylor]: Taking taylor expansion of y in y 0.337 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 0.337 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of (* z y) in x 0.337 * [taylor]: Taking taylor expansion of z in x 0.337 * [taylor]: Taking taylor expansion of y in x 0.337 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 0.337 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of (* z y) in x 0.337 * [taylor]: Taking taylor expansion of z in x 0.337 * [taylor]: Taking taylor expansion of y in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.338 * [taylor]: Taking taylor expansion of (* z y) in y 0.338 * [taylor]: Taking taylor expansion of z in y 0.338 * [taylor]: Taking taylor expansion of y in y 0.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.338 * [taylor]: Taking taylor expansion of z in z 0.339 * [taylor]: Taking taylor expansion of 0 in y 0.340 * [taylor]: Taking taylor expansion of 0 in z 0.342 * [taylor]: Taking taylor expansion of 0 in y 0.342 * [taylor]: Taking taylor expansion of 0 in z 0.342 * [taylor]: Taking taylor expansion of 0 in z 0.345 * [taylor]: Taking taylor expansion of 0 in y 0.345 * [taylor]: Taking taylor expansion of 0 in z 0.345 * [taylor]: Taking taylor expansion of 0 in z 0.345 * [taylor]: Taking taylor expansion of 0 in z 0.346 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.346 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in (x y z) around 0 0.346 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in z 0.346 * [taylor]: Taking taylor expansion of (* 1.0 x) in z 0.346 * [taylor]: Taking taylor expansion of 1.0 in z 0.346 * [taylor]: Taking taylor expansion of x in z 0.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.346 * [taylor]: Taking taylor expansion of x in z 0.346 * [taylor]: Taking taylor expansion of (* z y) in z 0.346 * [taylor]: Taking taylor expansion of z in z 0.346 * [taylor]: Taking taylor expansion of y in z 0.346 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in y 0.346 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 0.346 * [taylor]: Taking taylor expansion of 1.0 in y 0.346 * [taylor]: Taking taylor expansion of x in y 0.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.346 * [taylor]: Taking taylor expansion of x in y 0.346 * [taylor]: Taking taylor expansion of (* z y) in y 0.346 * [taylor]: Taking taylor expansion of z in y 0.346 * [taylor]: Taking taylor expansion of y in y 0.346 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x 0.346 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.346 * [taylor]: Taking taylor expansion of 1.0 in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of (* z y) in x 0.346 * [taylor]: Taking taylor expansion of z in x 0.346 * [taylor]: Taking taylor expansion of y in x 0.346 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x 0.346 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.346 * [taylor]: Taking taylor expansion of 1.0 in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of (* z y) in x 0.346 * [taylor]: Taking taylor expansion of z in x 0.346 * [taylor]: Taking taylor expansion of y in x 0.347 * [taylor]: Taking taylor expansion of 0 in y 0.347 * [taylor]: Taking taylor expansion of 0 in z 0.349 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y 0.349 * [taylor]: Taking taylor expansion of 1.0 in y 0.349 * [taylor]: Taking taylor expansion of (* z y) in y 0.349 * [taylor]: Taking taylor expansion of z in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.349 * [taylor]: Taking taylor expansion of 1.0 in z 0.349 * [taylor]: Taking taylor expansion of 0 in z 0.352 * [taylor]: Taking taylor expansion of 0 in y 0.352 * [taylor]: Taking taylor expansion of 0 in z 0.352 * [taylor]: Taking taylor expansion of (- z) in z 0.352 * [taylor]: Taking taylor expansion of z in z 0.352 * [taylor]: Taking taylor expansion of 0 in z 0.352 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in (x y z) around 0 0.352 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in z 0.353 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 0.353 * [taylor]: Taking taylor expansion of 1.0 in z 0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.353 * [taylor]: Taking taylor expansion of x in z 0.353 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 0.353 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.353 * [taylor]: Taking taylor expansion of x in z 0.353 * [taylor]: Taking taylor expansion of (* z y) in z 0.353 * [taylor]: Taking taylor expansion of z in z 0.353 * [taylor]: Taking taylor expansion of y in z 0.353 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in y 0.353 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 0.353 * [taylor]: Taking taylor expansion of 1.0 in y 0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.353 * [taylor]: Taking taylor expansion of x in y 0.353 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 0.353 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.353 * [taylor]: Taking taylor expansion of x in y 0.353 * [taylor]: Taking taylor expansion of (* z y) in y 0.354 * [taylor]: Taking taylor expansion of z in y 0.354 * [taylor]: Taking taylor expansion of y in y 0.354 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x 0.354 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.354 * [taylor]: Taking taylor expansion of 1.0 in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 0.355 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (* z y) in x 0.355 * [taylor]: Taking taylor expansion of z in x 0.355 * [taylor]: Taking taylor expansion of y in x 0.355 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x 0.355 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.355 * [taylor]: Taking taylor expansion of 1.0 in x 0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 0.355 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (* z y) in x 0.355 * [taylor]: Taking taylor expansion of z in x 0.355 * [taylor]: Taking taylor expansion of y in x 0.356 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y 0.356 * [taylor]: Taking taylor expansion of 1.0 in y 0.356 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.356 * [taylor]: Taking taylor expansion of (* z y) in y 0.356 * [taylor]: Taking taylor expansion of z in y 0.356 * [taylor]: Taking taylor expansion of y in y 0.357 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.357 * [taylor]: Taking taylor expansion of z in z 0.359 * [taylor]: Taking taylor expansion of 0 in y 0.360 * [taylor]: Taking taylor expansion of 1.0 in z 0.364 * [taylor]: Taking taylor expansion of 0 in y 0.364 * [taylor]: Taking taylor expansion of 0 in z 0.365 * [taylor]: Taking taylor expansion of 0 in z 0.369 * [taylor]: Taking taylor expansion of 0 in y 0.369 * [taylor]: Taking taylor expansion of 0 in z 0.369 * [taylor]: Taking taylor expansion of 0 in z 0.371 * [taylor]: Taking taylor expansion of 0 in z 0.375 * [taylor]: Taking taylor expansion of 0 in y 0.375 * [taylor]: Taking taylor expansion of 0 in z 0.376 * [taylor]: Taking taylor expansion of 0 in z 0.376 * [taylor]: Taking taylor expansion of 0 in z 0.377 * [taylor]: Taking taylor expansion of 0 in z 0.377 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in (x y z) around 0 0.377 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 0.377 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 0.377 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.377 * [taylor]: Taking taylor expansion of x in z 0.377 * [taylor]: Taking taylor expansion of (* z y) in z 0.377 * [taylor]: Taking taylor expansion of z in z 0.377 * [taylor]: Taking taylor expansion of y in z 0.378 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 0.378 * [taylor]: Taking taylor expansion of 1.0 in z 0.378 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.378 * [taylor]: Taking taylor expansion of x in z 0.378 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 0.378 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 0.378 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.378 * [taylor]: Taking taylor expansion of x in y 0.378 * [taylor]: Taking taylor expansion of (* z y) in y 0.378 * [taylor]: Taking taylor expansion of z in y 0.378 * [taylor]: Taking taylor expansion of y in y 0.379 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 0.379 * [taylor]: Taking taylor expansion of 1.0 in y 0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.379 * [taylor]: Taking taylor expansion of x in y 0.379 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 0.379 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 0.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.379 * [taylor]: Taking taylor expansion of (* z y) in x 0.379 * [taylor]: Taking taylor expansion of z in x 0.379 * [taylor]: Taking taylor expansion of y in x 0.379 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.379 * [taylor]: Taking taylor expansion of 1.0 in x 0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.380 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 0.380 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 0.380 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.380 * [taylor]: Taking taylor expansion of x in x 0.380 * [taylor]: Taking taylor expansion of (* z y) in x 0.380 * [taylor]: Taking taylor expansion of z in x 0.380 * [taylor]: Taking taylor expansion of y in x 0.380 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.380 * [taylor]: Taking taylor expansion of 1.0 in x 0.380 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.380 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) 1.0) in y 0.381 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.381 * [taylor]: Taking taylor expansion of (* z y) in y 0.381 * [taylor]: Taking taylor expansion of z in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of 1.0 in y 0.382 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.382 * [taylor]: Taking taylor expansion of z in z 0.384 * [taylor]: Taking taylor expansion of 0 in y 0.386 * [taylor]: Taking taylor expansion of (- 1.0) in z 0.386 * [taylor]: Taking taylor expansion of 1.0 in z 0.392 * [taylor]: Taking taylor expansion of 0 in y 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.393 * [taylor]: Taking taylor expansion of 0 in z 0.398 * [taylor]: Taking taylor expansion of 0 in y 0.398 * [taylor]: Taking taylor expansion of 0 in z 0.398 * [taylor]: Taking taylor expansion of 0 in z 0.399 * [taylor]: Taking taylor expansion of 0 in z 0.404 * [taylor]: Taking taylor expansion of 0 in y 0.404 * [taylor]: Taking taylor expansion of 0 in z 0.404 * [taylor]: Taking taylor expansion of 0 in z 0.405 * [taylor]: Taking taylor expansion of 0 in z 0.406 * [taylor]: Taking taylor expansion of 0 in z 0.406 * * * [progress]: simplifying candidates 0.407 * [simplify]: Simplifying using # : (* x (- (* y z))) (+ (log x) (log (- (* y z)))) (log (* x (- (* y z)))) (exp (* x (- (* y z)))) (* (* (* x x) x) (* (* (- (* y z)) (- (* y z))) (- (* y z)))) (* (cbrt (* x (- (* y z)))) (cbrt (* x (- (* y z))))) (cbrt (* x (- (* y z)))) (* (* (* x (- (* y z))) (* x (- (* y z)))) (* x (- (* y z)))) (sqrt (* x (- (* y z)))) (sqrt (* x (- (* y z)))) (* (sqrt x) (sqrt (- (* y z)))) (* (sqrt x) (sqrt (- (* y z)))) (* x (* y z)) (* x (* (cbrt (- (* y z))) (cbrt (- (* y z))))) (* x (sqrt (- (* y z)))) (* x 1) (* x -1) (* x (- y)) (* x (- (* (cbrt (* y z)) (cbrt (* y z))))) (* x (- (sqrt (* y z)))) (* x (- 1)) (* x (- (* (sqrt y) (sqrt z)))) (* x (- (* y (* (cbrt z) (cbrt z))))) (* x (- (* y (sqrt z)))) (* x (- (* y 1))) (* x (- (* (cbrt y) (cbrt y)))) (* x (- (sqrt y))) (* x (- 1)) (* x (- z)) (* x y) (* x (* (cbrt (* y z)) (cbrt (* y z)))) (* x (sqrt (* y z))) (* x 1) (* x (* (sqrt y) (sqrt z))) (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (sqrt z))) (* x (* y 1)) (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) (* x 1) (* x z) (* (cbrt x) (- (* y z))) (* (sqrt x) (- (* y z))) (* x (- (* y z))) (* (exp (* x 1.0)) (exp (* x (- (* y z))))) (log (+ (* x 1.0) (* x (- (* y z))))) (exp (+ (* x 1.0) (* x (- (* y z))))) (* (cbrt (+ (* x 1.0) (* x (- (* y z))))) (cbrt (+ (* x 1.0) (* x (- (* y z)))))) (cbrt (+ (* x 1.0) (* x (- (* y z))))) (* (* (+ (* x 1.0) (* x (- (* y z)))) (+ (* x 1.0) (* x (- (* y z))))) (+ (* x 1.0) (* x (- (* y z))))) (sqrt (+ (* x 1.0) (* x (- (* y z))))) (sqrt (+ (* x 1.0) (* x (- (* y z))))) (+ (pow (* x 1.0) 3) (pow (* x (- (* y z))) 3)) (+ (* (* x 1.0) (* x 1.0)) (- (* (* x (- (* y z))) (* x (- (* y z)))) (* (* x 1.0) (* x (- (* y z)))))) (- (* (* x 1.0) (* x 1.0)) (* (* x (- (* y z))) (* x (- (* y z))))) (- (* x 1.0) (* x (- (* y z)))) (+ 1.0 (- (* y z))) (+ (* x 1.0) (* x (- (* y z)))) (+ (* x 1.0) (* x (- (* y z)))) (+ 1.0 (- (* y z))) (+ 1.0 (- (* y z))) (+ 1.0 (- (* y z))) (+ (* (cbrt x) 1.0) (* (cbrt x) (- (* y z)))) (+ (* (sqrt x) 1.0) (* (sqrt x) (- (* y z)))) (+ (* x 1.0) (* x (- (* y z)))) (+ (* x 1.0) (* x (- (* y z)))) (+ 1.0 (- (* y z))) 0 (* -1 (* x (* z y))) (* -1 (* x (* z y))) (* 1.0 x) (- (* 1.0 x) (* x (* z y))) (- (* 1.0 x) (* x (* z y))) 0.412 * * [simplify]: iteration 0 : 290 enodes (cost 307 ) 0.418 * * [simplify]: iteration 1 : 1470 enodes (cost 275 ) 0.459 * * [simplify]: iteration 2 : 5001 enodes (cost 271 ) 0.461 * [simplify]: Simplified to: (* -1 (* x (* z y))) (log (* x (- (* y z)))) (log (* x (- (* y z)))) (exp (* x (- (* y z)))) (pow (* x (- (* y z))) 3) (* (cbrt (* x (- (* y z)))) (cbrt (* x (- (* y z))))) (cbrt (* x (- (* y z)))) (pow (* x (- (* y z))) 3) (sqrt (* x (- (* y z)))) (sqrt (* x (- (* y z)))) (* (sqrt x) (sqrt (- (* y z)))) (* (sqrt x) (sqrt (- (* y z)))) (* x (* z y)) (* x (* (cbrt (- (* y z))) (cbrt (- (* y z))))) (* x (sqrt (- (* y z)))) x (- x) (* x (- y)) (* x (- (* (cbrt (* y z)) (cbrt (* y z))))) (* x (- (sqrt (* y z)))) (- x) (* x (- (* (sqrt y) (sqrt z)))) (* x (- (* y (* (cbrt z) (cbrt z))))) (* x (- (* y (sqrt z)))) (* x (- y)) (* x (- (* (cbrt y) (cbrt y)))) (* x (- (sqrt y))) (- x) (* x (- z)) (* y x) (* x (* (cbrt (* y z)) (cbrt (* y z)))) (* x (sqrt (* y z))) x (* x (* (sqrt y) (sqrt z))) (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (sqrt z))) (* y x) (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) x (* x z) (* (cbrt x) (- (* y z))) (* (sqrt x) (- (* y z))) (* -1 (* x (* z y))) (pow (exp x) (- 1.0 (* y z))) (+ (log x) (log (- 1.0 (* y z)))) (pow (exp x) (- 1.0 (* y z))) (* (cbrt (+ (* x 1.0) (* x (- (* y z))))) (cbrt (+ (* x 1.0) (* x (- (* y z)))))) (cbrt (+ (* x 1.0) (* x (- (* y z))))) (pow (* x (- 1.0 (* y z))) 3) (sqrt (+ (* x 1.0) (* x (- (* y z))))) (sqrt (+ (* x 1.0) (* x (- (* y z))))) (+ (pow (* x 1.0) 3) (pow (* x (- (* y z))) 3)) (* x (+ (* 1.0 (* x 1.0)) (* (- (* y z)) (* x (- (- (* y z)) 1.0))))) (* (* x x) (- (* 1.0 1.0) (* (* y z) (* y z)))) (* x (+ 1.0 (* y z))) (- 1.0 (* y z)) (* x (- 1.0 (* y z))) (* x (- 1.0 (* y z))) (- 1.0 (* y z)) (- 1.0 (* y z)) (- 1.0 (* y z)) (* (- 1.0 (* y z)) (cbrt x)) (* (- 1.0 (* y z)) (sqrt x)) (* x (- 1.0 (* y z))) (* x (- 1.0 (* y z))) (- 1.0 (* y z)) 0 (* -1 (* x (* z y))) (* -1 (* x (* z y))) (* x 1.0) (* x (- 1.0 (* y z))) (* x (- 1.0 (* y z))) 0.462 * * * [progress]: adding candidates to table 0.634 * * [progress]: iteration 3 / 4 0.635 * * * [progress]: picking best candidate 0.645 * * * * [pick]: Picked # 0.645 * * * [progress]: localizing error 0.657 * * * [progress]: generating rewritten candidates 0.657 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.682 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.730 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 0.732 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 2) 0.745 * * * [progress]: generating series expansions 0.745 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.745 * [approximate]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in (x y z) around 0 0.745 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in z 0.745 * [taylor]: Taking taylor expansion of (* x y) in z 0.745 * [taylor]: Taking taylor expansion of x in z 0.745 * [taylor]: Taking taylor expansion of y in z 0.745 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.745 * [taylor]: Taking taylor expansion of 1/3 in z 0.745 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.745 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.745 * [taylor]: Taking taylor expansion of z in z 0.746 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in y 0.747 * [taylor]: Taking taylor expansion of (* x y) in y 0.747 * [taylor]: Taking taylor expansion of x in y 0.747 * [taylor]: Taking taylor expansion of y in y 0.747 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in y 0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in y 0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in y 0.747 * [taylor]: Taking taylor expansion of 1/3 in y 0.747 * [taylor]: Taking taylor expansion of (log (pow z 2)) in y 0.747 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.747 * [taylor]: Taking taylor expansion of z in y 0.747 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in x 0.747 * [taylor]: Taking taylor expansion of (* x y) in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of y in x 0.747 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in x 0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in x 0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in x 0.747 * [taylor]: Taking taylor expansion of 1/3 in x 0.747 * [taylor]: Taking taylor expansion of (log (pow z 2)) in x 0.747 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.747 * [taylor]: Taking taylor expansion of z in x 0.747 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in x 0.747 * [taylor]: Taking taylor expansion of (* x y) in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of y in x 0.747 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in x 0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in x 0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in x 0.747 * [taylor]: Taking taylor expansion of 1/3 in x 0.748 * [taylor]: Taking taylor expansion of (log (pow z 2)) in x 0.748 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.748 * [taylor]: Taking taylor expansion of z in x 0.748 * [taylor]: Taking taylor expansion of 0 in y 0.748 * [taylor]: Taking taylor expansion of 0 in z 0.750 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) y) in y 0.750 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in y 0.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in y 0.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in y 0.750 * [taylor]: Taking taylor expansion of 1/3 in y 0.750 * [taylor]: Taking taylor expansion of (log (pow z 2)) in y 0.750 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.750 * [taylor]: Taking taylor expansion of z in y 0.751 * [taylor]: Taking taylor expansion of y in y 0.751 * [taylor]: Taking taylor expansion of 0 in z 0.751 * [taylor]: Taking taylor expansion of 0 in z 0.755 * [taylor]: Taking taylor expansion of 0 in y 0.755 * [taylor]: Taking taylor expansion of 0 in z 0.757 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.757 * [taylor]: Taking taylor expansion of 1/3 in z 0.757 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.757 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of 0 in z 0.763 * [taylor]: Taking taylor expansion of 0 in y 0.763 * [taylor]: Taking taylor expansion of 0 in z 0.763 * [taylor]: Taking taylor expansion of 0 in z 0.764 * [approximate]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in (x y z) around 0 0.764 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in z 0.764 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.764 * [taylor]: Taking taylor expansion of (* x y) in z 0.764 * [taylor]: Taking taylor expansion of x in z 0.764 * [taylor]: Taking taylor expansion of y in z 0.764 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.764 * [taylor]: Taking taylor expansion of 1/3 in z 0.764 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.764 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.764 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.764 * [taylor]: Taking taylor expansion of z in z 0.765 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in y 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.765 * [taylor]: Taking taylor expansion of (* x y) in y 0.765 * [taylor]: Taking taylor expansion of x in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 0.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 0.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 0.766 * [taylor]: Taking taylor expansion of 1/3 in y 0.766 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 0.766 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.766 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.766 * [taylor]: Taking taylor expansion of z in y 0.766 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 0.766 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.766 * [taylor]: Taking taylor expansion of (* x y) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of y in x 0.766 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 0.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 0.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 0.766 * [taylor]: Taking taylor expansion of 1/3 in x 0.767 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.767 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.767 * [taylor]: Taking taylor expansion of z in x 0.767 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.767 * [taylor]: Taking taylor expansion of (* x y) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 0.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 0.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 0.767 * [taylor]: Taking taylor expansion of 1/3 in x 0.767 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.767 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.767 * [taylor]: Taking taylor expansion of z in x 0.768 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (/ 1 y)) in y 0.768 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 0.768 * [taylor]: Taking taylor expansion of 1/3 in y 0.768 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 0.768 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.768 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.768 * [taylor]: Taking taylor expansion of z in y 0.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.769 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.769 * [taylor]: Taking taylor expansion of 1/3 in z 0.769 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.769 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.769 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.769 * [taylor]: Taking taylor expansion of z in z 0.773 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [taylor]: Taking taylor expansion of 0 in z 0.789 * [taylor]: Taking taylor expansion of 0 in y 0.789 * [taylor]: Taking taylor expansion of 0 in z 0.793 * [taylor]: Taking taylor expansion of 0 in z 0.798 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in (x y z) around 0 0.798 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in z 0.798 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in z 0.798 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.798 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.798 * [taylor]: Taking taylor expansion of -1 in z 0.799 * [taylor]: Taking taylor expansion of (* x y) in z 0.799 * [taylor]: Taking taylor expansion of x in z 0.799 * [taylor]: Taking taylor expansion of y in z 0.800 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.800 * [taylor]: Taking taylor expansion of 1/3 in z 0.800 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.800 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.800 * [taylor]: Taking taylor expansion of z in z 0.802 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in y 0.802 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in y 0.802 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 0.802 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.802 * [taylor]: Taking taylor expansion of -1 in y 0.802 * [taylor]: Taking taylor expansion of (* x y) in y 0.802 * [taylor]: Taking taylor expansion of x in y 0.802 * [taylor]: Taking taylor expansion of y in y 0.804 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 0.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 0.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 0.804 * [taylor]: Taking taylor expansion of 1/3 in y 0.804 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 0.804 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.804 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.804 * [taylor]: Taking taylor expansion of z in y 0.805 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 0.805 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in x 0.805 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.805 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.805 * [taylor]: Taking taylor expansion of -1 in x 0.806 * [taylor]: Taking taylor expansion of (* x y) in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of y in x 0.807 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 0.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 0.808 * [taylor]: Taking taylor expansion of 1/3 in x 0.808 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.808 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.808 * [taylor]: Taking taylor expansion of z in x 0.808 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 0.808 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in x 0.808 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.808 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.808 * [taylor]: Taking taylor expansion of -1 in x 0.809 * [taylor]: Taking taylor expansion of (* x y) in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of y in x 0.811 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 0.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 0.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 0.811 * [taylor]: Taking taylor expansion of 1/3 in x 0.811 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 0.811 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.811 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.811 * [taylor]: Taking taylor expansion of z in x 0.812 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) y) (pow (/ 1 (pow z 2)) 1/3)) in y 0.812 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) y) in y 0.812 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 0.812 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.812 * [taylor]: Taking taylor expansion of -1 in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.815 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 0.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 0.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 0.815 * [taylor]: Taking taylor expansion of 1/3 in y 0.815 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 0.815 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.815 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.815 * [taylor]: Taking taylor expansion of z in y 0.816 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 0.816 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.816 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.816 * [taylor]: Taking taylor expansion of -1 in z 0.817 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.817 * [taylor]: Taking taylor expansion of 1/3 in z 0.817 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.817 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.817 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.817 * [taylor]: Taking taylor expansion of z in z 0.825 * [taylor]: Taking taylor expansion of 0 in y 0.829 * [taylor]: Taking taylor expansion of 0 in z 0.840 * [taylor]: Taking taylor expansion of 0 in y 0.840 * [taylor]: Taking taylor expansion of 0 in z 0.846 * [taylor]: Taking taylor expansion of 0 in z 0.854 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.854 * [approximate]: Taking taylor expansion of (* -1 (* x (* z y))) in (x y z) around 0 0.854 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in z 0.854 * [taylor]: Taking taylor expansion of -1 in z 0.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.854 * [taylor]: Taking taylor expansion of x in z 0.854 * [taylor]: Taking taylor expansion of (* z y) in z 0.854 * [taylor]: Taking taylor expansion of z in z 0.854 * [taylor]: Taking taylor expansion of y in z 0.854 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in y 0.854 * [taylor]: Taking taylor expansion of -1 in y 0.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.854 * [taylor]: Taking taylor expansion of x in y 0.854 * [taylor]: Taking taylor expansion of (* z y) in y 0.854 * [taylor]: Taking taylor expansion of z in y 0.854 * [taylor]: Taking taylor expansion of y in y 0.854 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x 0.854 * [taylor]: Taking taylor expansion of -1 in x 0.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.854 * [taylor]: Taking taylor expansion of x in x 0.854 * [taylor]: Taking taylor expansion of (* z y) in x 0.854 * [taylor]: Taking taylor expansion of z in x 0.854 * [taylor]: Taking taylor expansion of y in x 0.854 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x 0.854 * [taylor]: Taking taylor expansion of -1 in x 0.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.854 * [taylor]: Taking taylor expansion of x in x 0.854 * [taylor]: Taking taylor expansion of (* z y) in x 0.854 * [taylor]: Taking taylor expansion of z in x 0.854 * [taylor]: Taking taylor expansion of y in x 0.855 * [taylor]: Taking taylor expansion of 0 in y 0.855 * [taylor]: Taking taylor expansion of 0 in z 0.855 * [taylor]: Taking taylor expansion of (- (* z y)) in y 0.855 * [taylor]: Taking taylor expansion of (* z y) in y 0.856 * [taylor]: Taking taylor expansion of z in y 0.856 * [taylor]: Taking taylor expansion of y in y 0.856 * [taylor]: Taking taylor expansion of 0 in z 0.856 * [taylor]: Taking taylor expansion of 0 in z 0.857 * [taylor]: Taking taylor expansion of 0 in y 0.857 * [taylor]: Taking taylor expansion of 0 in z 0.858 * [taylor]: Taking taylor expansion of (- z) in z 0.858 * [taylor]: Taking taylor expansion of z in z 0.858 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (x y z) around 0 0.858 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z 0.858 * [taylor]: Taking taylor expansion of -1 in z 0.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.858 * [taylor]: Taking taylor expansion of x in z 0.858 * [taylor]: Taking taylor expansion of (* z y) in z 0.858 * [taylor]: Taking taylor expansion of z in z 0.858 * [taylor]: Taking taylor expansion of y in z 0.859 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 0.859 * [taylor]: Taking taylor expansion of -1 in y 0.859 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.859 * [taylor]: Taking taylor expansion of x in y 0.859 * [taylor]: Taking taylor expansion of (* z y) in y 0.859 * [taylor]: Taking taylor expansion of z in y 0.859 * [taylor]: Taking taylor expansion of y in y 0.860 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 0.860 * [taylor]: Taking taylor expansion of -1 in x 0.860 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [taylor]: Taking taylor expansion of (* z y) in x 0.860 * [taylor]: Taking taylor expansion of z in x 0.860 * [taylor]: Taking taylor expansion of y in x 0.860 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 0.860 * [taylor]: Taking taylor expansion of -1 in x 0.860 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [taylor]: Taking taylor expansion of (* z y) in x 0.860 * [taylor]: Taking taylor expansion of z in x 0.860 * [taylor]: Taking taylor expansion of y in x 0.861 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y 0.861 * [taylor]: Taking taylor expansion of -1 in y 0.861 * [taylor]: Taking taylor expansion of (* z y) in y 0.861 * [taylor]: Taking taylor expansion of z in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.861 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.861 * [taylor]: Taking taylor expansion of -1 in z 0.861 * [taylor]: Taking taylor expansion of z in z 0.862 * [taylor]: Taking taylor expansion of 0 in y 0.863 * [taylor]: Taking taylor expansion of 0 in z 0.865 * [taylor]: Taking taylor expansion of 0 in y 0.865 * [taylor]: Taking taylor expansion of 0 in z 0.866 * [taylor]: Taking taylor expansion of 0 in z 0.868 * [taylor]: Taking taylor expansion of 0 in y 0.868 * [taylor]: Taking taylor expansion of 0 in z 0.868 * [taylor]: Taking taylor expansion of 0 in z 0.869 * [taylor]: Taking taylor expansion of 0 in z 0.870 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (* z y)))) in (x y z) around 0 0.870 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (* z y)))) in z 0.870 * [taylor]: Taking taylor expansion of -1 in z 0.870 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in z 0.870 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 0.870 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.870 * [taylor]: Taking taylor expansion of -1 in z 0.870 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 0.870 * [taylor]: Taking taylor expansion of x in z 0.870 * [taylor]: Taking taylor expansion of (* z y) in z 0.870 * [taylor]: Taking taylor expansion of z in z 0.871 * [taylor]: Taking taylor expansion of y in z 0.874 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (* z y)))) in y 0.874 * [taylor]: Taking taylor expansion of -1 in y 0.874 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in y 0.874 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 0.874 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.874 * [taylor]: Taking taylor expansion of -1 in y 0.875 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 0.875 * [taylor]: Taking taylor expansion of x in y 0.875 * [taylor]: Taking taylor expansion of (* z y) in y 0.875 * [taylor]: Taking taylor expansion of z in y 0.875 * [taylor]: Taking taylor expansion of y in y 0.882 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (* z y)))) in x 0.882 * [taylor]: Taking taylor expansion of -1 in x 0.882 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in x 0.882 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 0.882 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.882 * [taylor]: Taking taylor expansion of -1 in x 0.883 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of (* z y) in x 0.883 * [taylor]: Taking taylor expansion of z in x 0.883 * [taylor]: Taking taylor expansion of y in x 0.886 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (* z y)))) in x 0.886 * [taylor]: Taking taylor expansion of -1 in x 0.886 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in x 0.886 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 0.886 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.886 * [taylor]: Taking taylor expansion of -1 in x 0.887 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (* z y) in x 0.887 * [taylor]: Taking taylor expansion of z in x 0.887 * [taylor]: Taking taylor expansion of y in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.890 * [taylor]: Taking taylor expansion of (* z y) in y 0.890 * [taylor]: Taking taylor expansion of z in y 0.891 * [taylor]: Taking taylor expansion of y in y 0.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.891 * [taylor]: Taking taylor expansion of z in z 0.893 * [taylor]: Taking taylor expansion of 0 in y 0.894 * [taylor]: Taking taylor expansion of 0 in z 0.898 * [taylor]: Taking taylor expansion of 0 in y 0.899 * [taylor]: Taking taylor expansion of 0 in z 0.899 * [taylor]: Taking taylor expansion of 0 in z 0.905 * [taylor]: Taking taylor expansion of 0 in y 0.905 * [taylor]: Taking taylor expansion of 0 in z 0.905 * [taylor]: Taking taylor expansion of 0 in z 0.906 * [taylor]: Taking taylor expansion of 0 in z 0.906 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 0.906 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.906 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.906 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.906 * [taylor]: Taking taylor expansion of 1/3 in z 0.906 * [taylor]: Taking taylor expansion of (log z) in z 0.906 * [taylor]: Taking taylor expansion of z in z 0.907 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.907 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.907 * [taylor]: Taking taylor expansion of 1/3 in z 0.907 * [taylor]: Taking taylor expansion of (log z) in z 0.907 * [taylor]: Taking taylor expansion of z in z 0.960 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.960 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.960 * [taylor]: Taking taylor expansion of 1/3 in z 0.960 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.960 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.960 * [taylor]: Taking taylor expansion of z in z 0.961 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.961 * [taylor]: Taking taylor expansion of 1/3 in z 0.961 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.961 * [taylor]: Taking taylor expansion of z in z 1.014 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.014 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.015 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.015 * [taylor]: Taking taylor expansion of -1 in z 1.015 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.015 * [taylor]: Taking taylor expansion of 1/3 in z 1.015 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.015 * [taylor]: Taking taylor expansion of z in z 1.016 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.016 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.016 * [taylor]: Taking taylor expansion of -1 in z 1.017 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.017 * [taylor]: Taking taylor expansion of 1/3 in z 1.017 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.017 * [taylor]: Taking taylor expansion of z in z 1.090 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 2) 1.090 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 1.090 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.090 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.090 * [taylor]: Taking taylor expansion of 1/3 in z 1.090 * [taylor]: Taking taylor expansion of (log z) in z 1.090 * [taylor]: Taking taylor expansion of z in z 1.091 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 1.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 1.091 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 1.091 * [taylor]: Taking taylor expansion of 1/3 in z 1.091 * [taylor]: Taking taylor expansion of (log z) in z 1.091 * [taylor]: Taking taylor expansion of z in z 1.146 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 1.146 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.146 * [taylor]: Taking taylor expansion of 1/3 in z 1.146 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.146 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.146 * [taylor]: Taking taylor expansion of z in z 1.147 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.147 * [taylor]: Taking taylor expansion of 1/3 in z 1.147 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.147 * [taylor]: Taking taylor expansion of z in z 1.205 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 1.205 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.205 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.205 * [taylor]: Taking taylor expansion of -1 in z 1.206 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.206 * [taylor]: Taking taylor expansion of 1/3 in z 1.206 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.206 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.206 * [taylor]: Taking taylor expansion of z in z 1.207 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 1.207 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.207 * [taylor]: Taking taylor expansion of -1 in z 1.207 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.208 * [taylor]: Taking taylor expansion of 1/3 in z 1.208 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.208 * [taylor]: Taking taylor expansion of z in z 1.276 * * * [progress]: simplifying candidates 1.279 * [simplify]: Simplifying using # : (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (+ (log x) (+ (log y) (+ (log (cbrt z)) (log (cbrt z))))) (+ (log x) (+ (log y) (log (* (cbrt z) (cbrt z))))) (+ (log x) (log (* y (* (cbrt z) (cbrt z))))) (log (* x (* y (* (cbrt z) (cbrt z))))) (exp (* x (* y (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (* (* (* y y) y) (* z z))) (* (* (* x x) x) (* (* (* y y) y) (* z (* (* (cbrt z) (cbrt z)) (cbrt z))))) (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) z))) (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z))))) (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (* (* (* y (* (cbrt z) (cbrt z))) (* y (* (cbrt z) (cbrt z)))) (* y (* (cbrt z) (cbrt z))))) (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (* (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z))))) (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* x y) (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))))) (* x (sqrt (* y (* (cbrt z) (cbrt z))))) (* x 1) (* x (* (sqrt y) (cbrt z))) (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* (sqrt y) (cbrt z))) (* x (* y (cbrt z))) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (sqrt (* (cbrt z) (cbrt z))))) (* x (* y 1)) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* y (* (cbrt 1) (cbrt 1)))) (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* y (* 1 1))) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* y (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt z) (cbrt (sqrt z))))) (* x (* y (* (cbrt z) (cbrt 1)))) (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (* x (* y (* (cbrt z) (sqrt (cbrt z))))) (* x (* y (* (cbrt z) 1))) (* x (* y (cbrt (* (cbrt z) (cbrt z))))) (* x (* y (cbrt (sqrt z)))) (* x (* y (cbrt 1))) (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* x (* y (sqrt (cbrt z)))) (* x (* y 1)) (* x (* y (cbrt z))) (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) (* x 1) (* x (* (cbrt z) (cbrt z))) (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (+ (+ (log x) (+ (log y) (+ (log (cbrt z)) (log (cbrt z))))) (log (- (cbrt z)))) (+ (+ (log x) (+ (log y) (log (* (cbrt z) (cbrt z))))) (log (- (cbrt z)))) (+ (+ (log x) (log (* y (* (cbrt z) (cbrt z))))) (log (- (cbrt z)))) (+ (log (* x (* y (* (cbrt z) (cbrt z))))) (log (- (cbrt z)))) (log (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (exp (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (* (* (* (* x x) x) (* (* (* y y) y) (* z z))) (* (* (- (cbrt z)) (- (cbrt z))) (- (cbrt z)))) (* (* (* (* x x) x) (* (* (* y y) y) (* z (* (* (cbrt z) (cbrt z)) (cbrt z))))) (* (* (- (cbrt z)) (- (cbrt z))) (- (cbrt z)))) (* (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) z))) (* (* (- (cbrt z)) (- (cbrt z))) (- (cbrt z)))) (* (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z))))) (* (* (- (cbrt z)) (- (cbrt z))) (- (cbrt z)))) (* (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (- (cbrt z)) (- (cbrt z))) (- (cbrt z)))) (* (* (* (* x x) x) (* (* (* y (* (cbrt z) (cbrt z))) (* y (* (cbrt z) (cbrt z)))) (* y (* (cbrt z) (cbrt z))))) (* (* (- (cbrt z)) (- (cbrt z))) (- (cbrt z)))) (* (* (* (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z))))) (* x (* y (* (cbrt z) (cbrt z))))) (* (* (- (cbrt z)) (- (cbrt z))) (- (cbrt z)))) (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (* (* (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt z)) (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z))))) (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (- (cbrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) 1) (* (* x (* y (* (cbrt z) (cbrt z)))) -1) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (* (cbrt z) (cbrt z))))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (sqrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt 1))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (sqrt (cbrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- 1)) (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (sqrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt 1)) (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (cbrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) 1) (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z))) (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z))) (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z))) (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z))) (* (* (cbrt z) (cbrt z)) (- (cbrt z))) (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z))) (* (* (sqrt y) (cbrt z)) (- (cbrt z))) (* (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z))) (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z))) (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z))) (* (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))) (- (cbrt z))) (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z))) (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z))) (* (* (sqrt y) (cbrt z)) (- (cbrt z))) (* (cbrt z) (- (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z))) (* (sqrt (* (cbrt z) (cbrt z))) (- (cbrt z))) (* (* (cbrt z) (cbrt z)) (- (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z))) (* (* (cbrt z) (cbrt z)) (- (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z))) (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z))) (* (* (cbrt z) (cbrt z)) (- (cbrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z))) (* (* (cbrt (sqrt z)) (sqrt (cbrt z))) (- (cbrt z))) (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z))) (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z))) (* (cbrt (cbrt z)) (- (cbrt z))) (* (cbrt (sqrt z)) (- (cbrt z))) (* (cbrt z) (- (cbrt z))) (* (cbrt (cbrt z)) (- (cbrt z))) (* (sqrt (cbrt z)) (- (cbrt z))) (* (cbrt z) (- (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z))) (* (* (cbrt (sqrt z)) (cbrt z)) (- (cbrt z))) (* (* (cbrt z) (cbrt z)) (- (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z))) (* (* (sqrt (cbrt z)) (cbrt z)) (- (cbrt z))) (* (* (cbrt z) (cbrt z)) (- (cbrt z))) (* (cbrt z) (- (cbrt z))) (* (* (cbrt y) (* (cbrt z) (cbrt z))) (- (cbrt z))) (* (* (sqrt y) (* (cbrt z) (cbrt z))) (- (cbrt z))) (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z))) (* y (- (cbrt z))) (* (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* x (- (cbrt z))) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (* (* x y) (pow (pow z 2) 1/3)) (* (* x y) (pow (pow z 2) 1/3)) (* (* (pow (cbrt -1) 2) (* x y)) (pow (pow z 2) 1/3)) 0 (* -1 (* x (* z y))) (* -1 (* x (* z y))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 1.288 * * [simplify]: iteration 0 : 846 enodes (cost 1794 ) 1.306 * * [simplify]: iteration 1 : 4506 enodes (cost 1495 ) 1.412 * * [simplify]: iteration 2 : 5001 enodes (cost 1394 ) 1.418 * [simplify]: Simplified to: (* (* x y) (pow z 2/3)) (* (* x y) (pow z 2/3)) (* (* x y) (pow z 2/3)) (+ (log (* (pow z 2/3) x)) (log y)) (+ (log (* (pow z 2/3) x)) (log y)) (+ (log (* (pow z 2/3) x)) (log y)) (+ (log (* (pow z 2/3) x)) (log y)) (pow (exp (* (pow z 2/3) x)) y) (* (pow (* (pow z 2/3) x) 3) (pow y 3)) (* (pow (* (pow z 2/3) x) 3) (pow y 3)) (* (pow (* (pow z 2/3) x) 3) (pow y 3)) (* (pow (* (pow z 2/3) x) 3) (pow y 3)) (* (pow (* (pow z 2/3) x) 3) (pow y 3)) (* (pow (* (pow z 2/3) x) 3) (pow y 3)) (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (pow (* (pow z 2/3) x) 3) (pow y 3)) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* (* (sqrt x) (sqrt y)) (fabs (pow z 1/3))) (* (* (sqrt x) (sqrt y)) (fabs (pow z 1/3))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* (* (sqrt x) (sqrt y)) (pow z 1/3)) (* y x) (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))))) (* x (sqrt (* y (* (cbrt z) (cbrt z))))) x (* (* x (sqrt y)) (pow z 1/3)) (* (* x (sqrt y)) (fabs (pow z 1/3))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* x (sqrt y)) (pow z 1/3)) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (* x (sqrt y)) (pow z 1/3)) (* (* x (sqrt y)) (pow z 1/3)) (* (* x y) (pow z 1/3)) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* (* x y) (fabs (pow z 1/3))) (* y x) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* y x) (* (* y x) (* (cbrt (cbrt z)) (cbrt z))) (* (* x y) (pow z 1/3)) (* y x) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (* x y) (pow z 1/3)) (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt z) (cbrt (sqrt z))))) (* (* x y) (pow z 1/3)) (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (* (* x y) (pow (sqrt (cbrt z)) 3)) (* (* x y) (pow z 1/3)) (* x (* y (cbrt (* (cbrt z) (cbrt z))))) (* x (* y (cbrt (sqrt z)))) (* y x) (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* x (* y (sqrt (cbrt z)))) (* y x) (* (* x y) (pow z 1/3)) (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) x (* (pow z 2/3) x) (* (* (cbrt x) y) (pow z 2/3)) (* (* (sqrt x) y) (pow z 2/3)) (* (* x y) (pow z 2/3)) (* -1 (* x (* z y))) (* -1 (* x (* z y))) (* -1 (* x (* z y))) (* -1 (* x (* z y))) (+ (log (* -1 x)) (log (* y (pow (pow z 1/3) 3)))) (+ (log (* -1 x)) (log (* y (pow (pow z 1/3) 3)))) (+ (log (* -1 x)) (log (* y (pow (pow z 1/3) 3)))) (+ (log (* -1 x)) (log (* y (pow (pow z 1/3) 3)))) (+ (log (* -1 x)) (log (* y (pow (pow z 1/3) 3)))) (exp (- 0 (* (* y x) (pow (pow z 1/3) 3)))) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (* (pow x 3) (pow (- (* y (pow (pow z 1/3) 3))) 3)) (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z)))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (fabs (pow z 1/3)))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (fabs (pow z 1/3)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z)))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* (sqrt (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (pow z 1/3))) (* x (* z y)) (* (* (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z)))) x) (* (pow z 2/3) y)) (* (* (sqrt (- (cbrt z))) x) (* (pow z 2/3) y)) (* (* x y) (pow z 2/3)) (* (- (* y x)) (pow z 2/3)) (* (cbrt (* (cbrt z) (cbrt z))) (* (- (* y x)) (pow z 2/3))) (* (cbrt (sqrt z)) (* (- (* y x)) (pow z 2/3))) (* (- (* y x)) (pow z 2/3)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (- (* y x)) (pow z 2/3))) (* (sqrt (cbrt z)) (* (- (* y x)) (pow z 2/3))) (* (- (* y x)) (pow z 2/3)) (* (* (cbrt (* (cbrt z) (cbrt z))) x) (* (pow z 2/3) y)) (* (* (cbrt (sqrt z)) x) (* (pow z 2/3) y)) (* (* x y) (pow z 2/3)) (* (* (* (* x y) (pow z 2/3)) (cbrt (cbrt z))) (cbrt (cbrt z))) (* (* (sqrt (cbrt z)) x) (* (pow z 2/3) y)) (* (* x y) (pow z 2/3)) (- (* z y)) (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z))) (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z))) (* -1 (* x (* z y))) (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z))) (* (* (- (sqrt y)) (pow z 2/3)) (sqrt x)) (* (- (cbrt z)) (* (* (sqrt x) (sqrt y)) (fabs (pow z 1/3)))) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z))) (* (* (- (sqrt y)) (pow z 2/3)) (sqrt x)) (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z))) (* (* (sqrt x) (sqrt y)) (- (* (cbrt (sqrt z)) (pow (sqrt (cbrt z)) 3)))) (* (* (sqrt x) (sqrt y)) (- (* (cbrt (sqrt z)) (pow (sqrt (cbrt z)) 3)))) (* (* (- (sqrt y)) (pow z 2/3)) (sqrt x)) (* (* (- (sqrt y)) (pow z 2/3)) (sqrt x)) (* -1 z) (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))) (- (* z y)) (* (- (sqrt y)) (pow z 2/3)) (* (sqrt y) (- (* (fabs (pow z 1/3)) (pow z 1/3)))) (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z))) (* (- (sqrt y)) (pow z 2/3)) (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z))) (* (- (* (cbrt (sqrt z)) (pow (sqrt (cbrt z)) 3))) (sqrt y)) (* (- (* (cbrt (sqrt z)) (pow (sqrt (cbrt z)) 3))) (sqrt y)) (* (- (sqrt y)) (pow z 2/3)) (* (- (sqrt y)) (pow z 2/3)) (- (* (pow z 1/3) (pow z 1/3))) (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z))) (- (* (fabs (pow z 1/3)) (pow z 1/3))) (* -1 z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z))) (* -1 z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z))) (- (* (pow z 1/3) (pow z 1/3))) (* -1 z) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z))) (- (* (cbrt (sqrt z)) (pow (sqrt (cbrt z)) 3))) (- (* (cbrt (sqrt z)) (pow (sqrt (cbrt z)) 3))) (- (* (pow z 1/3) (pow z 1/3))) (* (cbrt (cbrt z)) (- (cbrt z))) (* (cbrt (sqrt z)) (- (cbrt z))) (- (* (pow z 1/3) (pow z 1/3))) (* (cbrt (cbrt z)) (- (cbrt z))) (- (pow (sqrt (cbrt z)) 3)) (- (* (pow z 1/3) (pow z 1/3))) (- (* (cbrt (cbrt z)) (pow z 2/3))) (- (* (cbrt (sqrt z)) (pow z 2/3))) (* -1 z) (- (* (cbrt (cbrt z)) (pow z 2/3))) (- (* (sqrt (cbrt z)) (pow z 2/3))) (* -1 z) (- (* (pow z 1/3) (pow z 1/3))) (- (* (cbrt y) (pow (pow z 1/3) 3))) (- (* (sqrt y) (pow (pow z 1/3) 3))) (- (* z y)) (* y (- (cbrt z))) (* (* (cbrt x) y) (pow (- (cbrt z)) 3)) (* (* (sqrt x) y) (pow (- (cbrt z)) 3)) (* -1 (* x (* z y))) (* x (- (cbrt z))) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* (* x y) (pow (pow z 2) 1/3)) (* (* x y) (pow (pow z 2) 1/3)) (* (* (pow (cbrt -1) 2) (* x y)) (pow (pow z 2) 1/3)) 0 (* -1 (* x (* z y))) (* -1 (* x (* z y))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 1.419 * * * [progress]: adding candidates to table 2.005 * * [progress]: iteration 4 / 4 2.005 * * * [progress]: picking best candidate 2.023 * * * * [pick]: Picked # 2.023 * * * [progress]: localizing error 2.047 * * * [progress]: generating rewritten candidates 2.047 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.094 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 2.144 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 2.194 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 2.252 * * * [progress]: generating series expansions 2.253 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.253 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in (x y z) around 0 2.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in z 2.253 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.253 * [taylor]: Taking taylor expansion of -1 in z 2.254 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 2.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 2.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 2.254 * [taylor]: Taking taylor expansion of 1/3 in z 2.254 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 2.254 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.254 * [taylor]: Taking taylor expansion of x in z 2.254 * [taylor]: Taking taylor expansion of (* z y) in z 2.254 * [taylor]: Taking taylor expansion of z in z 2.254 * [taylor]: Taking taylor expansion of y in z 2.256 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in y 2.256 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.256 * [taylor]: Taking taylor expansion of -1 in y 2.256 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 2.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 2.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 2.256 * [taylor]: Taking taylor expansion of 1/3 in y 2.256 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 2.256 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.256 * [taylor]: Taking taylor expansion of x in y 2.256 * [taylor]: Taking taylor expansion of (* z y) in y 2.257 * [taylor]: Taking taylor expansion of z in y 2.257 * [taylor]: Taking taylor expansion of y in y 2.258 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in x 2.258 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.258 * [taylor]: Taking taylor expansion of -1 in x 2.258 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 2.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 2.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 2.258 * [taylor]: Taking taylor expansion of 1/3 in x 2.259 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 2.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.259 * [taylor]: Taking taylor expansion of x in x 2.259 * [taylor]: Taking taylor expansion of (* z y) in x 2.259 * [taylor]: Taking taylor expansion of z in x 2.259 * [taylor]: Taking taylor expansion of y in x 2.259 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in x 2.259 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.259 * [taylor]: Taking taylor expansion of -1 in x 2.260 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 2.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 2.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 2.260 * [taylor]: Taking taylor expansion of 1/3 in x 2.260 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 2.260 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.260 * [taylor]: Taking taylor expansion of x in x 2.260 * [taylor]: Taking taylor expansion of (* z y) in x 2.260 * [taylor]: Taking taylor expansion of z in x 2.260 * [taylor]: Taking taylor expansion of y in x 2.262 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log x) (log (* z y)))))) in y 2.262 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.262 * [taylor]: Taking taylor expansion of -1 in y 2.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 2.263 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 2.263 * [taylor]: Taking taylor expansion of 1/3 in y 2.263 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 2.263 * [taylor]: Taking taylor expansion of (log x) in y 2.263 * [taylor]: Taking taylor expansion of x in y 2.263 * [taylor]: Taking taylor expansion of (log (* z y)) in y 2.263 * [taylor]: Taking taylor expansion of (* z y) in y 2.263 * [taylor]: Taking taylor expansion of z in y 2.263 * [taylor]: Taking taylor expansion of y in y 2.264 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) in z 2.264 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.264 * [taylor]: Taking taylor expansion of -1 in z 2.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 2.265 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 2.265 * [taylor]: Taking taylor expansion of 1/3 in z 2.265 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 2.265 * [taylor]: Taking taylor expansion of (log z) in z 2.265 * [taylor]: Taking taylor expansion of z in z 2.265 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.265 * [taylor]: Taking taylor expansion of (log x) in z 2.265 * [taylor]: Taking taylor expansion of x in z 2.265 * [taylor]: Taking taylor expansion of (log y) in z 2.265 * [taylor]: Taking taylor expansion of y in z 2.270 * [taylor]: Taking taylor expansion of 0 in y 2.270 * [taylor]: Taking taylor expansion of 0 in z 2.273 * [taylor]: Taking taylor expansion of 0 in z 2.282 * [taylor]: Taking taylor expansion of 0 in y 2.282 * [taylor]: Taking taylor expansion of 0 in z 2.282 * [taylor]: Taking taylor expansion of 0 in z 2.288 * [taylor]: Taking taylor expansion of 0 in z 2.289 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in (x y z) around 0 2.289 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in z 2.289 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.289 * [taylor]: Taking taylor expansion of -1 in z 2.290 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 2.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 2.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 2.290 * [taylor]: Taking taylor expansion of 1/3 in z 2.290 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 2.290 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 2.290 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.290 * [taylor]: Taking taylor expansion of x in z 2.290 * [taylor]: Taking taylor expansion of (* z y) in z 2.290 * [taylor]: Taking taylor expansion of z in z 2.290 * [taylor]: Taking taylor expansion of y in z 2.291 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in y 2.291 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.291 * [taylor]: Taking taylor expansion of -1 in y 2.292 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 2.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 2.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 2.292 * [taylor]: Taking taylor expansion of 1/3 in y 2.292 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 2.292 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 2.292 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.292 * [taylor]: Taking taylor expansion of x in y 2.292 * [taylor]: Taking taylor expansion of (* z y) in y 2.292 * [taylor]: Taking taylor expansion of z in y 2.292 * [taylor]: Taking taylor expansion of y in y 2.293 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.293 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.293 * [taylor]: Taking taylor expansion of -1 in x 2.294 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.294 * [taylor]: Taking taylor expansion of 1/3 in x 2.294 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.294 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.294 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (* z y) in x 2.294 * [taylor]: Taking taylor expansion of z in x 2.294 * [taylor]: Taking taylor expansion of y in x 2.295 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.295 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.295 * [taylor]: Taking taylor expansion of -1 in x 2.296 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.296 * [taylor]: Taking taylor expansion of 1/3 in x 2.296 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.296 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.296 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.296 * [taylor]: Taking taylor expansion of x in x 2.296 * [taylor]: Taking taylor expansion of (* z y) in x 2.296 * [taylor]: Taking taylor expansion of z in x 2.296 * [taylor]: Taking taylor expansion of y in x 2.297 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (* z y))) (log x))))) in y 2.297 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.297 * [taylor]: Taking taylor expansion of -1 in y 2.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 2.298 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 2.298 * [taylor]: Taking taylor expansion of 1/3 in y 2.298 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 2.298 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 2.298 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.298 * [taylor]: Taking taylor expansion of (* z y) in y 2.298 * [taylor]: Taking taylor expansion of z in y 2.298 * [taylor]: Taking taylor expansion of y in y 2.299 * [taylor]: Taking taylor expansion of (log x) in y 2.299 * [taylor]: Taking taylor expansion of x in y 2.300 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))))) in z 2.300 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.300 * [taylor]: Taking taylor expansion of -1 in z 2.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 2.300 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 2.300 * [taylor]: Taking taylor expansion of 1/3 in z 2.300 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 2.300 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.300 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.301 * [taylor]: Taking taylor expansion of z in z 2.301 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.301 * [taylor]: Taking taylor expansion of (log x) in z 2.301 * [taylor]: Taking taylor expansion of x in z 2.301 * [taylor]: Taking taylor expansion of (log y) in z 2.301 * [taylor]: Taking taylor expansion of y in z 2.306 * [taylor]: Taking taylor expansion of 0 in y 2.306 * [taylor]: Taking taylor expansion of 0 in z 2.309 * [taylor]: Taking taylor expansion of 0 in z 2.319 * [taylor]: Taking taylor expansion of 0 in y 2.319 * [taylor]: Taking taylor expansion of 0 in z 2.319 * [taylor]: Taking taylor expansion of 0 in z 2.325 * [taylor]: Taking taylor expansion of 0 in z 2.326 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in (x y z) around 0 2.326 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in z 2.327 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.327 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.327 * [taylor]: Taking taylor expansion of -1 in z 2.327 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 2.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 2.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 2.327 * [taylor]: Taking taylor expansion of 1/3 in z 2.327 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 2.327 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 2.327 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.327 * [taylor]: Taking taylor expansion of x in z 2.327 * [taylor]: Taking taylor expansion of (* z y) in z 2.327 * [taylor]: Taking taylor expansion of z in z 2.328 * [taylor]: Taking taylor expansion of y in z 2.329 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in y 2.329 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.329 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.329 * [taylor]: Taking taylor expansion of -1 in y 2.329 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 2.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 2.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 2.329 * [taylor]: Taking taylor expansion of 1/3 in y 2.330 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 2.330 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 2.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.330 * [taylor]: Taking taylor expansion of x in y 2.330 * [taylor]: Taking taylor expansion of (* z y) in y 2.330 * [taylor]: Taking taylor expansion of z in y 2.330 * [taylor]: Taking taylor expansion of y in y 2.331 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.331 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.331 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.331 * [taylor]: Taking taylor expansion of -1 in x 2.332 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.332 * [taylor]: Taking taylor expansion of 1/3 in x 2.332 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.332 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.332 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.332 * [taylor]: Taking taylor expansion of x in x 2.332 * [taylor]: Taking taylor expansion of (* z y) in x 2.332 * [taylor]: Taking taylor expansion of z in x 2.332 * [taylor]: Taking taylor expansion of y in x 2.333 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.333 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.333 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.333 * [taylor]: Taking taylor expansion of -1 in x 2.334 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.334 * [taylor]: Taking taylor expansion of 1/3 in x 2.334 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.334 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.334 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.334 * [taylor]: Taking taylor expansion of (* z y) in x 2.334 * [taylor]: Taking taylor expansion of z in x 2.334 * [taylor]: Taking taylor expansion of y in x 2.336 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (* z y))) (log x))))) in y 2.336 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.337 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.337 * [taylor]: Taking taylor expansion of -1 in y 2.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 2.337 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 2.337 * [taylor]: Taking taylor expansion of 1/3 in y 2.337 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 2.337 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 2.337 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.337 * [taylor]: Taking taylor expansion of (* z y) in y 2.337 * [taylor]: Taking taylor expansion of z in y 2.337 * [taylor]: Taking taylor expansion of y in y 2.338 * [taylor]: Taking taylor expansion of (log x) in y 2.338 * [taylor]: Taking taylor expansion of x in y 2.340 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))))) in z 2.340 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.340 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.340 * [taylor]: Taking taylor expansion of -1 in z 2.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 2.341 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 2.341 * [taylor]: Taking taylor expansion of 1/3 in z 2.341 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 2.341 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.341 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.341 * [taylor]: Taking taylor expansion of z in z 2.342 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.342 * [taylor]: Taking taylor expansion of (log x) in z 2.342 * [taylor]: Taking taylor expansion of x in z 2.342 * [taylor]: Taking taylor expansion of (log y) in z 2.347 * [taylor]: Taking taylor expansion of y in z 2.354 * [taylor]: Taking taylor expansion of 0 in y 2.354 * [taylor]: Taking taylor expansion of 0 in z 2.358 * [taylor]: Taking taylor expansion of 0 in z 2.370 * [taylor]: Taking taylor expansion of 0 in y 2.370 * [taylor]: Taking taylor expansion of 0 in z 2.370 * [taylor]: Taking taylor expansion of 0 in z 2.377 * [taylor]: Taking taylor expansion of 0 in z 2.378 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 2.378 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in (x y z) around 0 2.378 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in z 2.378 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.378 * [taylor]: Taking taylor expansion of -1 in z 2.379 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 2.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 2.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 2.379 * [taylor]: Taking taylor expansion of 1/3 in z 2.379 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 2.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.379 * [taylor]: Taking taylor expansion of x in z 2.379 * [taylor]: Taking taylor expansion of (* z y) in z 2.379 * [taylor]: Taking taylor expansion of z in z 2.379 * [taylor]: Taking taylor expansion of y in z 2.380 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in y 2.380 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.380 * [taylor]: Taking taylor expansion of -1 in y 2.381 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 2.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 2.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 2.381 * [taylor]: Taking taylor expansion of 1/3 in y 2.381 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 2.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.381 * [taylor]: Taking taylor expansion of x in y 2.381 * [taylor]: Taking taylor expansion of (* z y) in y 2.381 * [taylor]: Taking taylor expansion of z in y 2.381 * [taylor]: Taking taylor expansion of y in y 2.382 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in x 2.382 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.382 * [taylor]: Taking taylor expansion of -1 in x 2.383 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 2.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 2.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 2.383 * [taylor]: Taking taylor expansion of 1/3 in x 2.383 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 2.383 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.383 * [taylor]: Taking taylor expansion of x in x 2.383 * [taylor]: Taking taylor expansion of (* z y) in x 2.383 * [taylor]: Taking taylor expansion of z in x 2.383 * [taylor]: Taking taylor expansion of y in x 2.384 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in x 2.384 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.384 * [taylor]: Taking taylor expansion of -1 in x 2.385 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 2.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 2.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 2.385 * [taylor]: Taking taylor expansion of 1/3 in x 2.385 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 2.385 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.385 * [taylor]: Taking taylor expansion of x in x 2.385 * [taylor]: Taking taylor expansion of (* z y) in x 2.385 * [taylor]: Taking taylor expansion of z in x 2.385 * [taylor]: Taking taylor expansion of y in x 2.386 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log x) (log (* z y)))))) in y 2.386 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.386 * [taylor]: Taking taylor expansion of -1 in y 2.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 2.387 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 2.387 * [taylor]: Taking taylor expansion of 1/3 in y 2.387 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 2.387 * [taylor]: Taking taylor expansion of (log x) in y 2.387 * [taylor]: Taking taylor expansion of x in y 2.387 * [taylor]: Taking taylor expansion of (log (* z y)) in y 2.387 * [taylor]: Taking taylor expansion of (* z y) in y 2.387 * [taylor]: Taking taylor expansion of z in y 2.387 * [taylor]: Taking taylor expansion of y in y 2.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) in z 2.388 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.388 * [taylor]: Taking taylor expansion of -1 in z 2.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 2.389 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 2.389 * [taylor]: Taking taylor expansion of 1/3 in z 2.389 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 2.389 * [taylor]: Taking taylor expansion of (log z) in z 2.389 * [taylor]: Taking taylor expansion of z in z 2.389 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.389 * [taylor]: Taking taylor expansion of (log x) in z 2.389 * [taylor]: Taking taylor expansion of x in z 2.389 * [taylor]: Taking taylor expansion of (log y) in z 2.389 * [taylor]: Taking taylor expansion of y in z 2.394 * [taylor]: Taking taylor expansion of 0 in y 2.394 * [taylor]: Taking taylor expansion of 0 in z 2.397 * [taylor]: Taking taylor expansion of 0 in z 2.406 * [taylor]: Taking taylor expansion of 0 in y 2.406 * [taylor]: Taking taylor expansion of 0 in z 2.406 * [taylor]: Taking taylor expansion of 0 in z 2.412 * [taylor]: Taking taylor expansion of 0 in z 2.413 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in (x y z) around 0 2.413 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in z 2.413 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.413 * [taylor]: Taking taylor expansion of -1 in z 2.414 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 2.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 2.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 2.414 * [taylor]: Taking taylor expansion of 1/3 in z 2.414 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 2.414 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 2.414 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.414 * [taylor]: Taking taylor expansion of x in z 2.414 * [taylor]: Taking taylor expansion of (* z y) in z 2.414 * [taylor]: Taking taylor expansion of z in z 2.414 * [taylor]: Taking taylor expansion of y in z 2.415 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in y 2.415 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.415 * [taylor]: Taking taylor expansion of -1 in y 2.416 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 2.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 2.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 2.416 * [taylor]: Taking taylor expansion of 1/3 in y 2.416 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 2.416 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 2.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.416 * [taylor]: Taking taylor expansion of x in y 2.416 * [taylor]: Taking taylor expansion of (* z y) in y 2.416 * [taylor]: Taking taylor expansion of z in y 2.416 * [taylor]: Taking taylor expansion of y in y 2.417 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.417 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.417 * [taylor]: Taking taylor expansion of -1 in x 2.418 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.418 * [taylor]: Taking taylor expansion of 1/3 in x 2.418 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.418 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.418 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.418 * [taylor]: Taking taylor expansion of x in x 2.418 * [taylor]: Taking taylor expansion of (* z y) in x 2.418 * [taylor]: Taking taylor expansion of z in x 2.418 * [taylor]: Taking taylor expansion of y in x 2.419 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.419 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.419 * [taylor]: Taking taylor expansion of -1 in x 2.420 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.420 * [taylor]: Taking taylor expansion of 1/3 in x 2.420 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.420 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.420 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.420 * [taylor]: Taking taylor expansion of x in x 2.420 * [taylor]: Taking taylor expansion of (* z y) in x 2.420 * [taylor]: Taking taylor expansion of z in x 2.420 * [taylor]: Taking taylor expansion of y in x 2.422 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (* z y))) (log x))))) in y 2.422 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.422 * [taylor]: Taking taylor expansion of -1 in y 2.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 2.422 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 2.422 * [taylor]: Taking taylor expansion of 1/3 in y 2.422 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 2.422 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 2.422 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.422 * [taylor]: Taking taylor expansion of (* z y) in y 2.422 * [taylor]: Taking taylor expansion of z in y 2.423 * [taylor]: Taking taylor expansion of y in y 2.423 * [taylor]: Taking taylor expansion of (log x) in y 2.423 * [taylor]: Taking taylor expansion of x in y 2.424 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))))) in z 2.424 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.424 * [taylor]: Taking taylor expansion of -1 in z 2.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 2.425 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 2.425 * [taylor]: Taking taylor expansion of 1/3 in z 2.425 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 2.425 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.425 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.425 * [taylor]: Taking taylor expansion of z in z 2.425 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.425 * [taylor]: Taking taylor expansion of (log x) in z 2.425 * [taylor]: Taking taylor expansion of x in z 2.425 * [taylor]: Taking taylor expansion of (log y) in z 2.425 * [taylor]: Taking taylor expansion of y in z 2.430 * [taylor]: Taking taylor expansion of 0 in y 2.430 * [taylor]: Taking taylor expansion of 0 in z 2.434 * [taylor]: Taking taylor expansion of 0 in z 2.450 * [taylor]: Taking taylor expansion of 0 in y 2.451 * [taylor]: Taking taylor expansion of 0 in z 2.451 * [taylor]: Taking taylor expansion of 0 in z 2.457 * [taylor]: Taking taylor expansion of 0 in z 2.458 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in (x y z) around 0 2.459 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in z 2.459 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.459 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.459 * [taylor]: Taking taylor expansion of -1 in z 2.459 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 2.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 2.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 2.459 * [taylor]: Taking taylor expansion of 1/3 in z 2.459 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 2.459 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 2.459 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.460 * [taylor]: Taking taylor expansion of x in z 2.460 * [taylor]: Taking taylor expansion of (* z y) in z 2.460 * [taylor]: Taking taylor expansion of z in z 2.460 * [taylor]: Taking taylor expansion of y in z 2.461 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in y 2.461 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.461 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.461 * [taylor]: Taking taylor expansion of -1 in y 2.462 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 2.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 2.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 2.462 * [taylor]: Taking taylor expansion of 1/3 in y 2.462 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 2.462 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 2.462 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.462 * [taylor]: Taking taylor expansion of x in y 2.462 * [taylor]: Taking taylor expansion of (* z y) in y 2.462 * [taylor]: Taking taylor expansion of z in y 2.462 * [taylor]: Taking taylor expansion of y in y 2.463 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.463 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.463 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.463 * [taylor]: Taking taylor expansion of -1 in x 2.464 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.464 * [taylor]: Taking taylor expansion of 1/3 in x 2.464 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.464 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.464 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.464 * [taylor]: Taking taylor expansion of x in x 2.464 * [taylor]: Taking taylor expansion of (* z y) in x 2.464 * [taylor]: Taking taylor expansion of z in x 2.464 * [taylor]: Taking taylor expansion of y in x 2.465 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.465 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.465 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.465 * [taylor]: Taking taylor expansion of -1 in x 2.466 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.466 * [taylor]: Taking taylor expansion of 1/3 in x 2.466 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.466 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.466 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.466 * [taylor]: Taking taylor expansion of x in x 2.466 * [taylor]: Taking taylor expansion of (* z y) in x 2.466 * [taylor]: Taking taylor expansion of z in x 2.466 * [taylor]: Taking taylor expansion of y in x 2.469 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (* z y))) (log x))))) in y 2.469 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.469 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.469 * [taylor]: Taking taylor expansion of -1 in y 2.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 2.469 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 2.469 * [taylor]: Taking taylor expansion of 1/3 in y 2.469 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 2.469 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 2.470 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.470 * [taylor]: Taking taylor expansion of (* z y) in y 2.470 * [taylor]: Taking taylor expansion of z in y 2.470 * [taylor]: Taking taylor expansion of y in y 2.470 * [taylor]: Taking taylor expansion of (log x) in y 2.470 * [taylor]: Taking taylor expansion of x in y 2.472 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))))) in z 2.472 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.472 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.472 * [taylor]: Taking taylor expansion of -1 in z 2.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 2.473 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 2.473 * [taylor]: Taking taylor expansion of 1/3 in z 2.473 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 2.473 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.473 * [taylor]: Taking taylor expansion of z in z 2.474 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.474 * [taylor]: Taking taylor expansion of (log x) in z 2.474 * [taylor]: Taking taylor expansion of x in z 2.474 * [taylor]: Taking taylor expansion of (log y) in z 2.474 * [taylor]: Taking taylor expansion of y in z 2.480 * [taylor]: Taking taylor expansion of 0 in y 2.481 * [taylor]: Taking taylor expansion of 0 in z 2.484 * [taylor]: Taking taylor expansion of 0 in z 2.496 * [taylor]: Taking taylor expansion of 0 in y 2.496 * [taylor]: Taking taylor expansion of 0 in z 2.496 * [taylor]: Taking taylor expansion of 0 in z 2.503 * [taylor]: Taking taylor expansion of 0 in z 2.504 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 2.504 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in (x y z) around 0 2.504 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in z 2.504 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.504 * [taylor]: Taking taylor expansion of -1 in z 2.505 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 2.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 2.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 2.505 * [taylor]: Taking taylor expansion of 1/3 in z 2.505 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 2.505 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.505 * [taylor]: Taking taylor expansion of x in z 2.505 * [taylor]: Taking taylor expansion of (* z y) in z 2.505 * [taylor]: Taking taylor expansion of z in z 2.505 * [taylor]: Taking taylor expansion of y in z 2.506 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in y 2.506 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.506 * [taylor]: Taking taylor expansion of -1 in y 2.507 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 2.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 2.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 2.507 * [taylor]: Taking taylor expansion of 1/3 in y 2.507 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 2.507 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.507 * [taylor]: Taking taylor expansion of x in y 2.507 * [taylor]: Taking taylor expansion of (* z y) in y 2.507 * [taylor]: Taking taylor expansion of z in y 2.507 * [taylor]: Taking taylor expansion of y in y 2.508 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in x 2.508 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.508 * [taylor]: Taking taylor expansion of -1 in x 2.509 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 2.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 2.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 2.509 * [taylor]: Taking taylor expansion of 1/3 in x 2.509 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 2.509 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.509 * [taylor]: Taking taylor expansion of x in x 2.509 * [taylor]: Taking taylor expansion of (* z y) in x 2.509 * [taylor]: Taking taylor expansion of z in x 2.509 * [taylor]: Taking taylor expansion of y in x 2.510 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* x (* z y)) 1/3)) in x 2.510 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.510 * [taylor]: Taking taylor expansion of -1 in x 2.511 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 2.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 2.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 2.511 * [taylor]: Taking taylor expansion of 1/3 in x 2.511 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 2.511 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.511 * [taylor]: Taking taylor expansion of x in x 2.511 * [taylor]: Taking taylor expansion of (* z y) in x 2.511 * [taylor]: Taking taylor expansion of z in x 2.511 * [taylor]: Taking taylor expansion of y in x 2.512 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log x) (log (* z y)))))) in y 2.512 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.512 * [taylor]: Taking taylor expansion of -1 in y 2.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 2.513 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 2.513 * [taylor]: Taking taylor expansion of 1/3 in y 2.513 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 2.513 * [taylor]: Taking taylor expansion of (log x) in y 2.513 * [taylor]: Taking taylor expansion of x in y 2.513 * [taylor]: Taking taylor expansion of (log (* z y)) in y 2.513 * [taylor]: Taking taylor expansion of (* z y) in y 2.513 * [taylor]: Taking taylor expansion of z in y 2.513 * [taylor]: Taking taylor expansion of y in y 2.514 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) in z 2.514 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.514 * [taylor]: Taking taylor expansion of -1 in z 2.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 2.515 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 2.515 * [taylor]: Taking taylor expansion of 1/3 in z 2.515 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 2.515 * [taylor]: Taking taylor expansion of (log z) in z 2.515 * [taylor]: Taking taylor expansion of z in z 2.516 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.516 * [taylor]: Taking taylor expansion of (log x) in z 2.516 * [taylor]: Taking taylor expansion of x in z 2.516 * [taylor]: Taking taylor expansion of (log y) in z 2.516 * [taylor]: Taking taylor expansion of y in z 2.520 * [taylor]: Taking taylor expansion of 0 in y 2.520 * [taylor]: Taking taylor expansion of 0 in z 2.523 * [taylor]: Taking taylor expansion of 0 in z 2.538 * [taylor]: Taking taylor expansion of 0 in y 2.538 * [taylor]: Taking taylor expansion of 0 in z 2.538 * [taylor]: Taking taylor expansion of 0 in z 2.544 * [taylor]: Taking taylor expansion of 0 in z 2.545 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in (x y z) around 0 2.545 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in z 2.545 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.545 * [taylor]: Taking taylor expansion of -1 in z 2.546 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 2.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 2.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 2.546 * [taylor]: Taking taylor expansion of 1/3 in z 2.546 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 2.546 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 2.546 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.546 * [taylor]: Taking taylor expansion of x in z 2.546 * [taylor]: Taking taylor expansion of (* z y) in z 2.546 * [taylor]: Taking taylor expansion of z in z 2.546 * [taylor]: Taking taylor expansion of y in z 2.547 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in y 2.547 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.547 * [taylor]: Taking taylor expansion of -1 in y 2.548 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 2.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 2.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 2.548 * [taylor]: Taking taylor expansion of 1/3 in y 2.548 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 2.548 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 2.548 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.548 * [taylor]: Taking taylor expansion of x in y 2.548 * [taylor]: Taking taylor expansion of (* z y) in y 2.548 * [taylor]: Taking taylor expansion of z in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.549 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.549 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.549 * [taylor]: Taking taylor expansion of -1 in x 2.550 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.550 * [taylor]: Taking taylor expansion of 1/3 in x 2.550 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.550 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.550 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.550 * [taylor]: Taking taylor expansion of x in x 2.550 * [taylor]: Taking taylor expansion of (* z y) in x 2.550 * [taylor]: Taking taylor expansion of z in x 2.550 * [taylor]: Taking taylor expansion of y in x 2.551 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.551 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.551 * [taylor]: Taking taylor expansion of -1 in x 2.552 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.552 * [taylor]: Taking taylor expansion of 1/3 in x 2.552 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.552 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.552 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.552 * [taylor]: Taking taylor expansion of x in x 2.552 * [taylor]: Taking taylor expansion of (* z y) in x 2.552 * [taylor]: Taking taylor expansion of z in x 2.552 * [taylor]: Taking taylor expansion of y in x 2.554 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (* z y))) (log x))))) in y 2.554 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.554 * [taylor]: Taking taylor expansion of -1 in y 2.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 2.555 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 2.555 * [taylor]: Taking taylor expansion of 1/3 in y 2.555 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 2.555 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 2.555 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.555 * [taylor]: Taking taylor expansion of (* z y) in y 2.555 * [taylor]: Taking taylor expansion of z in y 2.555 * [taylor]: Taking taylor expansion of y in y 2.555 * [taylor]: Taking taylor expansion of (log x) in y 2.555 * [taylor]: Taking taylor expansion of x in y 2.556 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))))) in z 2.556 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.556 * [taylor]: Taking taylor expansion of -1 in z 2.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 2.557 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 2.557 * [taylor]: Taking taylor expansion of 1/3 in z 2.557 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 2.557 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.557 * [taylor]: Taking taylor expansion of z in z 2.557 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.557 * [taylor]: Taking taylor expansion of (log x) in z 2.557 * [taylor]: Taking taylor expansion of x in z 2.558 * [taylor]: Taking taylor expansion of (log y) in z 2.558 * [taylor]: Taking taylor expansion of y in z 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [taylor]: Taking taylor expansion of 0 in z 2.566 * [taylor]: Taking taylor expansion of 0 in z 2.576 * [taylor]: Taking taylor expansion of 0 in y 2.576 * [taylor]: Taking taylor expansion of 0 in z 2.576 * [taylor]: Taking taylor expansion of 0 in z 2.582 * [taylor]: Taking taylor expansion of 0 in z 2.583 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in (x y z) around 0 2.583 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in z 2.583 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.583 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.584 * [taylor]: Taking taylor expansion of -1 in z 2.584 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 2.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 2.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 2.584 * [taylor]: Taking taylor expansion of 1/3 in z 2.584 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 2.584 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 2.584 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 2.584 * [taylor]: Taking taylor expansion of x in z 2.584 * [taylor]: Taking taylor expansion of (* z y) in z 2.584 * [taylor]: Taking taylor expansion of z in z 2.584 * [taylor]: Taking taylor expansion of y in z 2.586 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in y 2.586 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.586 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.586 * [taylor]: Taking taylor expansion of -1 in y 2.586 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 2.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 2.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 2.586 * [taylor]: Taking taylor expansion of 1/3 in y 2.587 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 2.587 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 2.587 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 2.587 * [taylor]: Taking taylor expansion of x in y 2.587 * [taylor]: Taking taylor expansion of (* z y) in y 2.587 * [taylor]: Taking taylor expansion of z in y 2.587 * [taylor]: Taking taylor expansion of y in y 2.588 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.588 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.588 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.588 * [taylor]: Taking taylor expansion of -1 in x 2.589 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.589 * [taylor]: Taking taylor expansion of 1/3 in x 2.589 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.589 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.589 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.589 * [taylor]: Taking taylor expansion of x in x 2.589 * [taylor]: Taking taylor expansion of (* z y) in x 2.589 * [taylor]: Taking taylor expansion of z in x 2.589 * [taylor]: Taking taylor expansion of y in x 2.590 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (* x (* z y))) 1/3)) in x 2.590 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.590 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.590 * [taylor]: Taking taylor expansion of -1 in x 2.591 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 2.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 2.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 2.591 * [taylor]: Taking taylor expansion of 1/3 in x 2.591 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 2.591 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 2.591 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 2.591 * [taylor]: Taking taylor expansion of x in x 2.591 * [taylor]: Taking taylor expansion of (* z y) in x 2.591 * [taylor]: Taking taylor expansion of z in x 2.591 * [taylor]: Taking taylor expansion of y in x 2.594 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (* z y))) (log x))))) in y 2.594 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.594 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.594 * [taylor]: Taking taylor expansion of -1 in y 2.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 2.594 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 2.594 * [taylor]: Taking taylor expansion of 1/3 in y 2.594 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 2.594 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 2.594 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.594 * [taylor]: Taking taylor expansion of (* z y) in y 2.594 * [taylor]: Taking taylor expansion of z in y 2.595 * [taylor]: Taking taylor expansion of y in y 2.595 * [taylor]: Taking taylor expansion of (log x) in y 2.595 * [taylor]: Taking taylor expansion of x in y 2.597 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))))) in z 2.597 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.597 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.597 * [taylor]: Taking taylor expansion of -1 in z 2.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 2.598 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 2.598 * [taylor]: Taking taylor expansion of 1/3 in z 2.598 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 2.598 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.598 * [taylor]: Taking taylor expansion of z in z 2.599 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.599 * [taylor]: Taking taylor expansion of (log x) in z 2.599 * [taylor]: Taking taylor expansion of x in z 2.599 * [taylor]: Taking taylor expansion of (log y) in z 2.599 * [taylor]: Taking taylor expansion of y in z 2.606 * [taylor]: Taking taylor expansion of 0 in y 2.606 * [taylor]: Taking taylor expansion of 0 in z 2.610 * [taylor]: Taking taylor expansion of 0 in z 2.621 * [taylor]: Taking taylor expansion of 0 in y 2.621 * [taylor]: Taking taylor expansion of 0 in z 2.621 * [taylor]: Taking taylor expansion of 0 in z 2.634 * [taylor]: Taking taylor expansion of 0 in z 2.635 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 2.635 * [approximate]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in (x y z) around 0 2.635 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in z 2.635 * [taylor]: Taking taylor expansion of (* x y) in z 2.635 * [taylor]: Taking taylor expansion of x in z 2.635 * [taylor]: Taking taylor expansion of y in z 2.635 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.636 * [taylor]: Taking taylor expansion of 1/3 in z 2.636 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.636 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.636 * [taylor]: Taking taylor expansion of z in z 2.636 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in y 2.637 * [taylor]: Taking taylor expansion of (* x y) in y 2.637 * [taylor]: Taking taylor expansion of x in y 2.637 * [taylor]: Taking taylor expansion of y in y 2.637 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in y 2.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in y 2.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in y 2.637 * [taylor]: Taking taylor expansion of 1/3 in y 2.637 * [taylor]: Taking taylor expansion of (log (pow z 2)) in y 2.637 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.637 * [taylor]: Taking taylor expansion of z in y 2.637 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in x 2.637 * [taylor]: Taking taylor expansion of (* x y) in x 2.637 * [taylor]: Taking taylor expansion of x in x 2.637 * [taylor]: Taking taylor expansion of y in x 2.637 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in x 2.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in x 2.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in x 2.637 * [taylor]: Taking taylor expansion of 1/3 in x 2.637 * [taylor]: Taking taylor expansion of (log (pow z 2)) in x 2.637 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.637 * [taylor]: Taking taylor expansion of z in x 2.637 * [taylor]: Taking taylor expansion of (* (* x y) (pow (pow z 2) 1/3)) in x 2.637 * [taylor]: Taking taylor expansion of (* x y) in x 2.637 * [taylor]: Taking taylor expansion of x in x 2.637 * [taylor]: Taking taylor expansion of y in x 2.637 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in x 2.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in x 2.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in x 2.637 * [taylor]: Taking taylor expansion of 1/3 in x 2.638 * [taylor]: Taking taylor expansion of (log (pow z 2)) in x 2.638 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.638 * [taylor]: Taking taylor expansion of z in x 2.638 * [taylor]: Taking taylor expansion of 0 in y 2.638 * [taylor]: Taking taylor expansion of 0 in z 2.640 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) y) in y 2.640 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in y 2.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in y 2.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in y 2.640 * [taylor]: Taking taylor expansion of 1/3 in y 2.640 * [taylor]: Taking taylor expansion of (log (pow z 2)) in y 2.640 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.640 * [taylor]: Taking taylor expansion of z in y 2.641 * [taylor]: Taking taylor expansion of y in y 2.641 * [taylor]: Taking taylor expansion of 0 in z 2.641 * [taylor]: Taking taylor expansion of 0 in z 2.645 * [taylor]: Taking taylor expansion of 0 in y 2.645 * [taylor]: Taking taylor expansion of 0 in z 2.647 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.647 * [taylor]: Taking taylor expansion of 1/3 in z 2.647 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.647 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.647 * [taylor]: Taking taylor expansion of z in z 2.648 * [taylor]: Taking taylor expansion of 0 in z 2.653 * [taylor]: Taking taylor expansion of 0 in y 2.654 * [taylor]: Taking taylor expansion of 0 in z 2.654 * [taylor]: Taking taylor expansion of 0 in z 2.654 * [approximate]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in (x y z) around 0 2.654 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in z 2.654 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.654 * [taylor]: Taking taylor expansion of (* x y) in z 2.654 * [taylor]: Taking taylor expansion of x in z 2.654 * [taylor]: Taking taylor expansion of y in z 2.654 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.654 * [taylor]: Taking taylor expansion of 1/3 in z 2.654 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.654 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.654 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.654 * [taylor]: Taking taylor expansion of z in z 2.655 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in y 2.655 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.655 * [taylor]: Taking taylor expansion of (* x y) in y 2.655 * [taylor]: Taking taylor expansion of x in y 2.655 * [taylor]: Taking taylor expansion of y in y 2.656 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 2.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 2.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 2.656 * [taylor]: Taking taylor expansion of 1/3 in y 2.656 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 2.656 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.656 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.656 * [taylor]: Taking taylor expansion of z in y 2.656 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 2.656 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.656 * [taylor]: Taking taylor expansion of (* x y) in x 2.656 * [taylor]: Taking taylor expansion of x in x 2.656 * [taylor]: Taking taylor expansion of y in x 2.657 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 2.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 2.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 2.657 * [taylor]: Taking taylor expansion of 1/3 in x 2.657 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 2.657 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 2.657 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.657 * [taylor]: Taking taylor expansion of z in x 2.657 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 2.657 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.657 * [taylor]: Taking taylor expansion of (* x y) in x 2.657 * [taylor]: Taking taylor expansion of x in x 2.657 * [taylor]: Taking taylor expansion of y in x 2.657 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 2.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 2.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 2.658 * [taylor]: Taking taylor expansion of 1/3 in x 2.658 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 2.658 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 2.658 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.658 * [taylor]: Taking taylor expansion of z in x 2.658 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (/ 1 y)) in y 2.658 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 2.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 2.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 2.658 * [taylor]: Taking taylor expansion of 1/3 in y 2.658 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 2.658 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.658 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.658 * [taylor]: Taking taylor expansion of z in y 2.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.659 * [taylor]: Taking taylor expansion of y in y 2.659 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.659 * [taylor]: Taking taylor expansion of 1/3 in z 2.659 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.659 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.659 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.659 * [taylor]: Taking taylor expansion of z in z 2.663 * [taylor]: Taking taylor expansion of 0 in y 2.665 * [taylor]: Taking taylor expansion of 0 in z 2.673 * [taylor]: Taking taylor expansion of 0 in y 2.673 * [taylor]: Taking taylor expansion of 0 in z 2.677 * [taylor]: Taking taylor expansion of 0 in z 2.682 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in (x y z) around 0 2.682 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in z 2.682 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in z 2.682 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.682 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.682 * [taylor]: Taking taylor expansion of -1 in z 2.682 * [taylor]: Taking taylor expansion of (* x y) in z 2.682 * [taylor]: Taking taylor expansion of x in z 2.682 * [taylor]: Taking taylor expansion of y in z 2.684 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.684 * [taylor]: Taking taylor expansion of 1/3 in z 2.684 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.684 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.684 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.684 * [taylor]: Taking taylor expansion of z in z 2.685 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in y 2.685 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in y 2.685 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.685 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.685 * [taylor]: Taking taylor expansion of -1 in y 2.686 * [taylor]: Taking taylor expansion of (* x y) in y 2.686 * [taylor]: Taking taylor expansion of x in y 2.686 * [taylor]: Taking taylor expansion of y in y 2.688 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 2.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 2.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 2.688 * [taylor]: Taking taylor expansion of 1/3 in y 2.688 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 2.688 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.688 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.688 * [taylor]: Taking taylor expansion of z in y 2.689 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 2.689 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in x 2.689 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.689 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.689 * [taylor]: Taking taylor expansion of -1 in x 2.689 * [taylor]: Taking taylor expansion of (* x y) in x 2.689 * [taylor]: Taking taylor expansion of x in x 2.689 * [taylor]: Taking taylor expansion of y in x 2.691 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 2.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 2.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 2.691 * [taylor]: Taking taylor expansion of 1/3 in x 2.691 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 2.691 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 2.691 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.691 * [taylor]: Taking taylor expansion of z in x 2.692 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x y)) (pow (/ 1 (pow z 2)) 1/3)) in x 2.692 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x y)) in x 2.692 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.692 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.692 * [taylor]: Taking taylor expansion of -1 in x 2.692 * [taylor]: Taking taylor expansion of (* x y) in x 2.692 * [taylor]: Taking taylor expansion of x in x 2.693 * [taylor]: Taking taylor expansion of y in x 2.694 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in x 2.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in x 2.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in x 2.694 * [taylor]: Taking taylor expansion of 1/3 in x 2.694 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in x 2.694 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 2.694 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.695 * [taylor]: Taking taylor expansion of z in x 2.696 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) y) (pow (/ 1 (pow z 2)) 1/3)) in y 2.696 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) y) in y 2.696 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.696 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.696 * [taylor]: Taking taylor expansion of -1 in y 2.697 * [taylor]: Taking taylor expansion of y in y 2.699 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in y 2.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in y 2.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in y 2.699 * [taylor]: Taking taylor expansion of 1/3 in y 2.699 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in y 2.699 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.699 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.699 * [taylor]: Taking taylor expansion of z in y 2.700 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 2.700 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.700 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.700 * [taylor]: Taking taylor expansion of -1 in z 2.701 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.701 * [taylor]: Taking taylor expansion of 1/3 in z 2.701 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.701 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.701 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.701 * [taylor]: Taking taylor expansion of z in z 2.709 * [taylor]: Taking taylor expansion of 0 in y 2.712 * [taylor]: Taking taylor expansion of 0 in z 2.723 * [taylor]: Taking taylor expansion of 0 in y 2.723 * [taylor]: Taking taylor expansion of 0 in z 2.735 * [taylor]: Taking taylor expansion of 0 in z 2.742 * * * [progress]: simplifying candidates 2.750 * [simplify]: Simplifying using # : (log (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (exp (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z)))))) (cbrt (cbrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (- (cbrt z))))) (cbrt (sqrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) 1)) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (sqrt z))))) (cbrt (cbrt (sqrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt 1)))) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (sqrt (cbrt z))))) (cbrt (sqrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- 1))) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (sqrt z)))) (cbrt (- (cbrt (sqrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt 1))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (cbrt z)))) (cbrt (- (sqrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) 1)) (cbrt (- (cbrt z))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (sqrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x 1)) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y 1))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt 1) (cbrt 1))))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* 1 1)))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (sqrt z)))))) (cbrt (* (cbrt (sqrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt 1))))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (sqrt (cbrt z)))))) (cbrt (* (sqrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) 1)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt (sqrt z))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt 1)))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (sqrt (cbrt z))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y 1))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* (cbrt y) (cbrt y)))) (cbrt (* (* (cbrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (sqrt y))) (cbrt (* (* (sqrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x 1)) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (cbrt z) (cbrt z)))) (cbrt (* y (- (cbrt z)))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (sqrt x)) (cbrt (* (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* x (- (cbrt z)))) (cbrt (- (cbrt z))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (log (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (exp (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z)))))) (cbrt (cbrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (- (cbrt z))))) (cbrt (sqrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) 1)) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (sqrt z))))) (cbrt (cbrt (sqrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt 1)))) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (sqrt (cbrt z))))) (cbrt (sqrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- 1))) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (sqrt z)))) (cbrt (- (cbrt (sqrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt 1))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (cbrt z)))) (cbrt (- (sqrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) 1)) (cbrt (- (cbrt z))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (sqrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x 1)) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y 1))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt 1) (cbrt 1))))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* 1 1)))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (sqrt z)))))) (cbrt (* (cbrt (sqrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt 1))))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (sqrt (cbrt z)))))) (cbrt (* (sqrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) 1)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt (sqrt z))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt 1)))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (sqrt (cbrt z))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y 1))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* (cbrt y) (cbrt y)))) (cbrt (* (* (cbrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (sqrt y))) (cbrt (* (* (sqrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x 1)) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (cbrt z) (cbrt z)))) (cbrt (* y (- (cbrt z)))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (sqrt x)) (cbrt (* (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* x (- (cbrt z)))) (cbrt (- (cbrt z))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (log (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (exp (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z)))))) (cbrt (cbrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (- (cbrt z))))) (cbrt (sqrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) 1)) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (sqrt z))))) (cbrt (cbrt (sqrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt 1)))) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (sqrt (cbrt z))))) (cbrt (sqrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- 1))) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (sqrt z)))) (cbrt (- (cbrt (sqrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt 1))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (cbrt z)))) (cbrt (- (sqrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) 1)) (cbrt (- (cbrt z))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (sqrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x 1)) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y 1))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt 1) (cbrt 1))))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* 1 1)))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (sqrt z)))))) (cbrt (* (cbrt (sqrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt 1))))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (sqrt (cbrt z)))))) (cbrt (* (sqrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) 1)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt (sqrt z))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt 1)))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (sqrt (cbrt z))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y 1))) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* (cbrt y) (cbrt y)))) (cbrt (* (* (cbrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (sqrt y))) (cbrt (* (* (sqrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x 1)) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (cbrt z) (cbrt z)))) (cbrt (* y (- (cbrt z)))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (sqrt x)) (cbrt (* (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt 1) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* x (- (cbrt z)))) (cbrt (- (cbrt z))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (+ (log x) (+ (log y) (+ (log (cbrt z)) (log (cbrt z))))) (+ (log x) (+ (log y) (log (* (cbrt z) (cbrt z))))) (+ (log x) (log (* y (* (cbrt z) (cbrt z))))) (log (* x (* y (* (cbrt z) (cbrt z))))) (exp (* x (* y (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (* (* (* y y) y) (* z z))) (* (* (* x x) x) (* (* (* y y) y) (* z (* (* (cbrt z) (cbrt z)) (cbrt z))))) (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) z))) (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z))))) (* (* (* x x) x) (* (* (* y y) y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (* (* (* y (* (cbrt z) (cbrt z))) (* y (* (cbrt z) (cbrt z)))) (* y (* (cbrt z) (cbrt z))))) (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (* (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z))))) (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* (sqrt x) (* (sqrt y) (cbrt z))) (* x y) (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))))) (* x (sqrt (* y (* (cbrt z) (cbrt z))))) (* x 1) (* x (* (sqrt y) (cbrt z))) (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* (sqrt y) (cbrt z))) (* x (* y (cbrt z))) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (sqrt (* (cbrt z) (cbrt z))))) (* x (* y 1)) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* y (* (cbrt 1) (cbrt 1)))) (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* y (* 1 1))) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* y (* (cbrt (sqrt z)) (sqrt (cbrt z))))) (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* y (* (sqrt (cbrt z)) (sqrt (cbrt z))))) (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt z) (cbrt (sqrt z))))) (* x (* y (* (cbrt z) (cbrt 1)))) (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (* x (* y (* (cbrt z) (sqrt (cbrt z))))) (* x (* y (* (cbrt z) 1))) (* x (* y (cbrt (* (cbrt z) (cbrt z))))) (* x (* y (cbrt (sqrt z)))) (* x (* y (cbrt 1))) (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* x (* y (sqrt (cbrt z)))) (* x (* y 1)) (* x (* y (cbrt z))) (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) (* x 1) (* x (* (cbrt z) (cbrt z))) (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1)) (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1)) (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1)) (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (* (* x y) (pow (pow z 2) 1/3)) (* (* x y) (pow (pow z 2) 1/3)) (* (* (pow (cbrt -1) 2) (* x y)) (pow (pow z 2) 1/3)) 2.767 * * [simplify]: iteration 0 : 939 enodes (cost 5351 ) 2.784 * * [simplify]: iteration 1 : 3994 enodes (cost 5231 ) 2.853 * * [simplify]: iteration 2 : 5001 enodes (cost 5145 ) 2.872 * [simplify]: Simplified to: (log (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (exp (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z)))))) (cbrt (cbrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (- (cbrt z))))) (cbrt (sqrt (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (sqrt z))))) (cbrt (cbrt (sqrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (sqrt (cbrt z))))) (cbrt (sqrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (sqrt z)))) (cbrt (- (cbrt (sqrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (cbrt z)))) (cbrt (- (sqrt (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (sqrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (sqrt z)))))) (cbrt (* (cbrt (sqrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (sqrt (cbrt z)))))) (cbrt (* (sqrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt (sqrt z))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (sqrt (cbrt z))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* (cbrt y) (cbrt y)))) (cbrt (* (* (cbrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (sqrt y))) (cbrt (* (* (sqrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (cbrt z) (cbrt z)))) (cbrt (* y (- (cbrt z)))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (sqrt x)) (cbrt (* (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* x (- (cbrt z)))) (cbrt (- (cbrt z))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* (* -1 (* y x)) z) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (log (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (exp (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z)))))) (cbrt (cbrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (- (cbrt z))))) (cbrt (sqrt (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (sqrt z))))) (cbrt (cbrt (sqrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (sqrt (cbrt z))))) (cbrt (sqrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (sqrt z)))) (cbrt (- (cbrt (sqrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (cbrt z)))) (cbrt (- (sqrt (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (sqrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (sqrt z)))))) (cbrt (* (cbrt (sqrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (sqrt (cbrt z)))))) (cbrt (* (sqrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt (sqrt z))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (sqrt (cbrt z))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* (cbrt y) (cbrt y)))) (cbrt (* (* (cbrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (sqrt y))) (cbrt (* (* (sqrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (cbrt z) (cbrt z)))) (cbrt (* y (- (cbrt z)))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (sqrt x)) (cbrt (* (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* x (- (cbrt z)))) (cbrt (- (cbrt z))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* (* -1 (* y x)) z) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (log (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (exp (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (sqrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (sqrt (- (cbrt z))))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (- (cbrt z))) (cbrt (- (cbrt z)))))) (cbrt (cbrt (- (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (- (cbrt z))))) (cbrt (sqrt (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt (sqrt z))))) (cbrt (cbrt (sqrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (cbrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (sqrt (cbrt z))))) (cbrt (sqrt (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) -1)) (cbrt (cbrt z)) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (cbrt (sqrt z)))) (cbrt (- (cbrt (sqrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (cbrt (- (cbrt (cbrt z)))) (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (sqrt (cbrt z)))) (cbrt (- (sqrt (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (- (cbrt z))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (sqrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (sqrt (* (cbrt z) (cbrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* (sqrt x) (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt x) (* (sqrt y) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (sqrt (* y (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (sqrt y) (sqrt (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z)))) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* (sqrt y) (cbrt z)))) (cbrt (* (* (sqrt y) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (sqrt (* (cbrt z) (cbrt z)))))) (cbrt (* (sqrt (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z)))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (cbrt (sqrt z)))))) (cbrt (* (cbrt (sqrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))) (cbrt (* (cbrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt z) (sqrt (cbrt z)))))) (cbrt (* (sqrt (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* y (cbrt (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt (sqrt z))))) (cbrt (* (* (cbrt (sqrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (cbrt (* (* (cbrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (sqrt (cbrt z))))) (cbrt (* (* (sqrt (cbrt z)) (cbrt z)) (- (cbrt z)))) (cbrt (* x y)) (cbrt (* (* (cbrt z) (cbrt z)) (- (cbrt z)))) (cbrt (* x (* y (cbrt z)))) (cbrt (* (cbrt z) (- (cbrt z)))) (cbrt (* x (* (cbrt y) (cbrt y)))) (cbrt (* (* (cbrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (sqrt y))) (cbrt (* (* (sqrt y) (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt x) (cbrt (* (* y (* (cbrt z) (cbrt z))) (- (cbrt z)))) (cbrt (* x (* (cbrt z) (cbrt z)))) (cbrt (* y (- (cbrt z)))) (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (sqrt x)) (cbrt (* (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) 1 (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* x (- (cbrt z)))) (cbrt (- (cbrt z))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))))) (cbrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* (* -1 (* y x)) z) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (sqrt (cbrt (* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z))))) (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (log (* x (* y (* (cbrt z) (cbrt z))))) (log (* x (* y (* (cbrt z) (cbrt z))))) (log (* x (* y (* (cbrt z) (cbrt z))))) (log (* x (* y (* (cbrt z) (cbrt z))))) (exp (* x (* y (* (cbrt z) (cbrt z))))) (* (* (pow x 3) (pow z 2)) (pow y 3)) (* (* (pow x 3) (pow z 2)) (pow y 3)) (* (* (pow x 3) (pow z 2)) (pow y 3)) (* (* (pow x 3) (pow z 2)) (pow y 3)) (* (* (pow x 3) (pow z 2)) (pow y 3)) (* (* (pow x 3) (pow z 2)) (pow y 3)) (* (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (cbrt (* x (* y (* (cbrt z) (cbrt z)))))) (cbrt (* x (* y (* (cbrt z) (cbrt z))))) (* (* (pow x 3) (pow z 2)) (pow y 3)) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (sqrt (* x (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (* y (* (cbrt z) (cbrt z))))) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* (* (sqrt x) (sqrt y)) (fabs (cbrt z))) (* (* (sqrt x) (sqrt y)) (fabs (cbrt z))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (sqrt x) (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* (* (sqrt x) (sqrt y)) (cbrt z)) (* y x) (* x (* (cbrt (* y (* (cbrt z) (cbrt z)))) (cbrt (* y (* (cbrt z) (cbrt z)))))) (* x (sqrt (* y (* (cbrt z) (cbrt z))))) x (* (* x (sqrt y)) (cbrt z)) (* (* x (sqrt y)) (fabs (cbrt z))) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* x (sqrt y)) (cbrt z)) (* x (* (sqrt y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* (sqrt y) (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (* x (sqrt y)) (cbrt z)) (* (* x (sqrt y)) (cbrt z)) (* (* x y) (cbrt z)) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* (* x y) (fabs (cbrt z))) (* y x) (* x (* y (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* y x) (* (* y x) (* (cbrt (cbrt z)) (cbrt z))) (* (* x y) (cbrt z)) (* y x) (* x (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* x (* y (* (sqrt (cbrt z)) (cbrt (sqrt z))))) (* (* x y) (cbrt z)) (* x (* y (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))))) (* x (* y (* (cbrt z) (cbrt (sqrt z))))) (* (* x y) (cbrt z)) (* x (* y (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))) (* (* x y) (pow (sqrt (cbrt z)) 3)) (* (* x y) (cbrt z)) (* x (* y (cbrt (* (cbrt z) (cbrt z))))) (* x (* y (cbrt (sqrt z)))) (* y x) (* x (* y (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* x (* y (sqrt (cbrt z)))) (* y x) (* (* x y) (cbrt z)) (* x (* (cbrt y) (cbrt y))) (* x (sqrt y)) x (* x (* (cbrt z) (cbrt z))) (* (cbrt x) (* y (* (cbrt z) (cbrt z)))) (* (sqrt x) (* y (* (cbrt z) (cbrt z)))) (* x (* y (* (cbrt z) (cbrt z)))) (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1)) (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1)) (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log x) (log y)))))) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1)) (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (* (* x y) (pow (pow z 2) 1/3)) (* (* x y) (pow (pow z 2) 1/3)) (* (* (pow (cbrt -1) 2) (* x y)) (pow (pow z 2) 1/3)) 2.876 * * * [progress]: adding candidates to table 4.206 * [progress]: [Phase 3 of 3] Extracting. 4.206 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 4.210 * * * [regime-changes]: Trying 4 branch expressions: ((* y z) z y x) 4.210 * * * * [regimes]: Trying to branch on (* y z) from (# # # # # # # # #) 4.260 * * * * [regimes]: Trying to branch on (* y z) from (# #) 4.274 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 4.327 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 4.371 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 4.426 * * * [regime]: Found split indices: #