12.588 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.047 * [simplify]: Simplifying using # : (* 2.0 (sqrt (+ (+ (* x y) (* x z)) (* y z)))) 0.049 * * [simplify]: iteration 0 : 21 enodes (cost 7 ) 0.050 * * [simplify]: iteration 1 : 33 enodes (cost 7 ) 0.051 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 0.052 * * [simplify]: iteration 3 : 44 enodes (cost 7 ) 0.054 * * [simplify]: iteration 4 : 44 enodes (cost 7 ) 0.054 * [simplify]: Simplified to: (* 2.0 (sqrt (+ (+ (* x y) (* x z)) (* y z)))) 0.054 * * [progress]: iteration 1 / 4 0.054 * * * [progress]: picking best candidate 0.058 * * * * [pick]: Picked # 0.058 * * * [progress]: localizing error 0.068 * * * [progress]: generating rewritten candidates 0.068 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.073 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.079 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1) 0.083 * * * [progress]: generating series expansions 0.083 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.083 * [approximate]: Approximating (sqrt (+ (* x z) (+ (* z y) (* x y)))) in (x y z) around 0 0.087 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 0.089 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.089 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 0.092 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.093 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.096 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 0.104 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.118 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.125 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.131 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 0.154 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.189 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.219 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.240 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 0.250 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 0.259 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 0.260 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 0.261 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.261 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.264 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 0.277 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.286 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.287 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.289 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 0.296 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 0.296 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 0.297 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.297 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.300 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 0.313 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.323 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.323 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 0.326 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.326 * [approximate]: Approximating (+ (* x z) (+ (* z y) (* x y))) in (x y z) around 0 0.326 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 0.326 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 0.327 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 0.327 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 0.327 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 0.330 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 0.330 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 0.330 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 0.331 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 0.331 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 0.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 0.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 0.340 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 0.341 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 0.342 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 0.342 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 0.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 0.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 0.348 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 0.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 0.350 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 0.351 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1) 0.351 * [approximate]: Approximating (+ (* x z) (* x y)) in (x y z) around 0 0.351 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y 0.351 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.352 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y 0.352 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.352 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.354 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y 0.354 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.354 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.355 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.357 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y 0.357 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.357 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.357 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.357 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z 0.358 * [approximate]: Approximating (+ (/ 1 (* x z)) (/ 1 (* x y))) in (x y z) around 0 0.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.363 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.363 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.373 * [approximate]: Approximating (+ (/ 1 (* x z)) (/ 1 (* x y))) in (x y z) around 0 0.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.388 * * * [progress]: simplifying candidates 0.389 * [simplify]: Simplifying using # : (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt 1) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) (/ 1 2) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (exp (* x y)) (exp (* x z))) (exp (* y z))) (* (exp (+ (* x y) (* x z))) (exp (* y z))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (* (* (+ (+ (* x y) (* x z)) (* y z)) (+ (+ (* x y) (* x z)) (* y z))) (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z)))) (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z))) (- (+ (* x y) (* x z)) (* y z)) (+ (* x z) (* y z)) (* (exp (* x y)) (exp (* x z))) (log (+ (* x y) (* x z))) (exp (+ (* x y) (* x z))) (* (cbrt (+ (* x y) (* x z))) (cbrt (+ (* x y) (* x z)))) (cbrt (+ (* x y) (* x z))) (* (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (+ (* x y) (* x z))) (sqrt (+ (* x y) (* x z))) (sqrt (+ (* x y) (* x z))) (+ (pow (* x y) 3) (pow (* x z) 3)) (+ (* (* x y) (* x y)) (- (* (* x z) (* x z)) (* (* x y) (* x z)))) (- (* (* x y) (* x y)) (* (* x z) (* x z))) (- (* x y) (* x z)) (+ y z) (+ (* 1/2 (* x NAN)) (* NAN (* z y))) (- (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z))) (* 2 (/ (* (pow NAN 3) (* z y)) x))) (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z)))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (* x y)) (+ (* x z) (* x y)) (+ (* x z) (* x y)) 0.393 * * [simplify]: iteration 0 : 256 enodes (cost 358 ) 0.398 * * [simplify]: iteration 1 : 972 enodes (cost 331 ) 0.420 * * [simplify]: iteration 2 : 3980 enodes (cost 326 ) 0.506 * * [simplify]: iteration 3 : 5002 enodes (cost 326 ) 0.508 * [simplify]: Simplified to: (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (pow (sqrt (+ (+ (* x y) (* x z)) (* y z))) 3) (fabs (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt 1) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) 1/2 (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (+ (* x y) (* z (+ x y)))) (exp (+ (* x y) (* z (+ x y)))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (* x y) (* z (+ x y)))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (pow (+ (* x y) (* z (+ x y))) 3) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (* x (+ y z)) (+ (* z (- x y)) (* x y))) (* (* y z) (* y z))) (* (+ (* z (- x y)) (* x y)) (+ (* x y) (* z (+ x y)))) (+ (* z (- x y)) (* x y)) (* z (+ x y)) (pow (exp x) (+ y z)) (log (+ (* x y) (* x z))) (pow (exp x) (+ y z)) (* (cbrt (+ (* x y) (* x z))) (cbrt (+ (* x y) (* x z)))) (cbrt (+ (* x y) (* x z))) (pow (* x (+ y z)) 3) (sqrt (+ (* x y) (* x z))) (sqrt (+ (* x y) (* x z))) (+ (pow (* x y) 3) (pow (* x z) 3)) (* x (+ (* y (* x y)) (* z (* x (- z y))))) (* (* x x) (- (* y y) (* z z))) (* x (- y z)) (+ y z) (* NAN (+ (* y z) (* 1/2 x))) (+ (/ (* NAN (* z y)) x) (- (* NAN (+ y z)) (* 2 (/ (* (pow NAN 3) (* z y)) x)))) (- (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (/ (* NAN (* z y)) x)) (* NAN (+ y z))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) (* x (+ y z)) (* x (+ y z)) (* x (+ y z)) 0.508 * * * [progress]: adding candidates to table 0.691 * * [progress]: iteration 2 / 4 0.691 * * * [progress]: picking best candidate 0.704 * * * * [pick]: Picked # 0.704 * * * [progress]: localizing error 0.718 * * * [progress]: generating rewritten candidates 0.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.723 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 0.730 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 0.736 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 0.742 * * * [progress]: generating series expansions 0.742 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.743 * [approximate]: Approximating (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in (x y z) around 0 0.744 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 0.745 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.747 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 0.754 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.761 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.769 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 0.784 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.803 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.810 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.810 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 0.817 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 0.818 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.822 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 0.825 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.832 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.843 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 0.847 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.862 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.879 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.892 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 0.899 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 0.900 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.904 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 0.907 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.913 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.925 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 0.929 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.945 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.960 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 0.975 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 0.975 * [approximate]: Approximating (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in (x y z) around 0 0.976 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 0.977 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.979 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 0.985 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.992 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 0.999 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 1.015 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.034 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.038 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.038 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 1.047 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.049 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.052 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.056 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.062 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.074 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.077 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.093 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.109 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.124 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 1.130 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.132 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.135 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.139 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.145 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.156 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.160 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.176 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.192 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.206 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 1.206 * [approximate]: Approximating (+ (* x z) (+ (* z y) (* x y))) in (x y z) around 0 1.206 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 1.206 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.207 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 1.207 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.208 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.210 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 1.210 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.210 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.211 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.211 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 1.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.217 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.219 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.227 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 1.227 * [approximate]: Approximating (+ (* x z) (+ (* z y) (* x y))) in (x y z) around 0 1.228 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 1.228 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.228 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 1.228 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.229 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.231 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 1.231 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.232 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.232 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 1.233 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 1.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.237 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.241 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 1.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.245 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 1.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 1.249 * * * [progress]: simplifying candidates 1.250 * [simplify]: Simplifying using # : (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (exp (* x y)) (exp (* x z))) (exp (* y z))) (* (exp (+ (* x y) (* x z))) (exp (* y z))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (* (* (+ (+ (* x y) (* x z)) (* y z)) (+ (+ (* x y) (* x z)) (* y z))) (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z)))) (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z))) (- (+ (* x y) (* x z)) (* y z)) (+ (* x z) (* y z)) (* (* (exp (* x y)) (exp (* x z))) (exp (* y z))) (* (exp (+ (* x y) (* x z))) (exp (* y z))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (* (* (+ (+ (* x y) (* x z)) (* y z)) (+ (+ (* x y) (* x z)) (* y z))) (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z)))) (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z))) (- (+ (* x y) (* x z)) (* y z)) (+ (* x z) (* y z)) (exp (* 1/3 (+ (log z) (log y)))) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (exp (* 1/3 (+ (log z) (log y)))) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) 1.254 * * [simplify]: iteration 0 : 197 enodes (cost 594 ) 1.257 * * [simplify]: iteration 1 : 625 enodes (cost 540 ) 1.270 * * [simplify]: iteration 2 : 2618 enodes (cost 516 ) 1.327 * * [simplify]: iteration 3 : 5001 enodes (cost 512 ) 1.330 * [simplify]: Simplified to: (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (+ (* x y) (* z (+ x y))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (+ (* x y) (* z (+ x y))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (pow (+ (* x y) (* z (+ x y))) 3) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (* x (+ y z)) (+ (* z (- x y)) (* x y))) (* (* y z) (* y z))) (* (+ (* z (- x y)) (* x y)) (+ (* x y) (* z (+ x y)))) (+ (* z (- x y)) (* x y)) (* z (+ x y)) (exp (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (pow (+ (* x y) (* z (+ x y))) 3) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (* x (+ y z)) (+ (* z (- x y)) (* x y))) (* (* y z) (* y z))) (* (+ (* z (- x y)) (* x y)) (+ (* x y) (* z (+ x y)))) (+ (* z (- x y)) (* x y)) (* z (+ x y)) (* (pow y 1/3) (pow z 1/3)) (/ (pow x 1/3) (pow y -1/3)) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3)) (* (pow y 1/3) (pow z 1/3)) (/ (pow x 1/3) (pow y -1/3)) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3)) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) 1.331 * * * [progress]: adding candidates to table 1.625 * * [progress]: iteration 3 / 4 1.625 * * * [progress]: picking best candidate 1.639 * * * * [pick]: Picked # 1.639 * * * [progress]: localizing error 1.657 * * * [progress]: generating rewritten candidates 1.657 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1) 1.667 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1) 1.672 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1) 1.679 * * * [progress]: generating series expansions 1.679 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.680 * [approximate]: Approximating (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in (x y z) around 0 1.681 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 1.682 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.687 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 1.692 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.700 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.707 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 1.722 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.741 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.745 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 1.745 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 1.751 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.753 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.756 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.762 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.768 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.780 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.783 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.799 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.815 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.826 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 1.832 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.834 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.840 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.843 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.849 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.861 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 1.864 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.880 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.896 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 1.907 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1) 1.908 * [approximate]: Approximating (sqrt (+ (* x z) (+ (* z y) (* x y)))) in (x y z) around 0 1.914 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 1.915 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 1.915 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 1.919 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 1.919 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 1.923 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 1.932 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 1.942 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 1.949 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 1.956 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 1.978 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.014 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.044 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.068 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.078 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 2.085 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.085 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.086 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.086 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.089 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.102 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.112 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.112 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.115 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 2.121 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.121 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.122 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.123 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.125 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.138 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.151 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.151 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.154 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1) 2.154 * [approximate]: Approximating (sqrt (+ (* x z) (+ (* z y) (* x y)))) in (x y z) around 0 2.158 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 2.159 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.159 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 2.162 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.163 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.167 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 2.175 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.186 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.194 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.199 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 2.225 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.258 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.287 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.311 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 2.322 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 2.328 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.328 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.329 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.330 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.332 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.345 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.355 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.355 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.357 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 2.364 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.364 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.365 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.365 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.368 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 2.384 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.394 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.394 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 2.396 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1) 2.396 * [approximate]: Approximating (+ (* x z) (+ (* z y) (* x y))) in (x y z) around 0 2.397 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 2.397 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 2.398 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 2.398 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 2.398 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 2.400 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in y 2.400 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 2.401 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 2.401 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (* x y))) in z 2.402 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 2.405 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 2.406 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 2.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 2.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 2.409 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 2.410 * [approximate]: Approximating (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in (x y z) around 0 2.413 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 2.414 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 2.416 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in y 2.416 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 2.417 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) in z 2.418 * * * [progress]: simplifying candidates 2.419 * [simplify]: Simplifying using # : (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt 1) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) (/ 1 2) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt 1) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) (/ 1 2) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (exp (* x y)) (exp (* x z))) (exp (* y z))) (* (exp (+ (* x y) (* x z))) (exp (* y z))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (+ (* x y) (* x z)) (* y z))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (* (* (+ (+ (* x y) (* x z)) (* y z)) (+ (+ (* x y) (* x z)) (* y z))) (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z)))) (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z))) (- (+ (* x y) (* x z)) (* y z)) (+ (* x z) (* y z)) (exp (* 1/3 (+ (log z) (log y)))) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (+ (* 1/2 (* x NAN)) (* NAN (* z y))) (- (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z))) (* 2 (/ (* (pow NAN 3) (* z y)) x))) (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z)))) (+ (* 1/2 (* x NAN)) (* NAN (* z y))) (- (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z))) (* 2 (/ (* (pow NAN 3) (* z y)) x))) (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z)))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) (+ (* x z) (+ (* z y) (* x y))) 2.423 * * [simplify]: iteration 0 : 265 enodes (cost 635 ) 2.428 * * [simplify]: iteration 1 : 875 enodes (cost 595 ) 2.445 * * [simplify]: iteration 2 : 3558 enodes (cost 583 ) 2.518 * * [simplify]: iteration 3 : 5001 enodes (cost 579 ) 2.522 * [simplify]: Simplified to: (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (+ (* x y) (* z (+ x y))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (pow (sqrt (+ (+ (* x y) (* x z)) (* y z))) 3) (fabs (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) 1 (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) 1/2 (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (pow (sqrt (+ (+ (* x y) (* x z)) (* y z))) 3) (fabs (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) 1 (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) 1/2 (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (+ (* x y) (* z (+ x y)))) (exp (+ (* x y) (* z (+ x y)))) (log (+ (+ (* x y) (* x z)) (* y z))) (exp (+ (* x y) (* z (+ x y)))) (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (pow (+ (* x y) (* z (+ x y))) 3) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3)) (+ (* (* x (+ y z)) (+ (* z (- x y)) (* x y))) (* (* y z) (* y z))) (* (+ (* z (- x y)) (* x y)) (+ (* x y) (* z (+ x y)))) (+ (* z (- x y)) (* x y)) (* z (+ x y)) (* (pow y 1/3) (pow z 1/3)) (/ (pow x 1/3) (pow y -1/3)) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3)) (* NAN (+ (* y z) (* 1/2 x))) (+ (/ (* NAN (* z y)) x) (- (* NAN (+ y z)) (* 2 (/ (* (pow NAN 3) (* z y)) x)))) (- (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (/ (* NAN (* z y)) x)) (* NAN (+ y z))) (* NAN (+ (* y z) (* 1/2 x))) (+ (/ (* NAN (* z y)) x) (- (* NAN (+ y z)) (* 2 (/ (* (pow NAN 3) (* z y)) x)))) (- (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (/ (* NAN (* z y)) x)) (* NAN (+ y z))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) (+ (* x y) (* z (+ x y))) 2.522 * * * [progress]: adding candidates to table 3.048 * * [progress]: iteration 4 / 4 3.048 * * * [progress]: picking best candidate 3.063 * * * * [pick]: Picked # 3.063 * * * [progress]: localizing error 3.085 * * * [progress]: generating rewritten candidates 3.085 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1) 3.090 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1) 3.095 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1) 3.101 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1) 3.107 * * * [progress]: generating series expansions 3.107 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1) 3.107 * [approximate]: Approximating (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in (x y z) around 0 3.109 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 3.109 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.112 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 3.118 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.125 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.133 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 3.152 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.172 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.176 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.176 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 3.183 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.184 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.187 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.191 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.198 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.210 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.213 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.233 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.250 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.261 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 3.268 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.269 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.273 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.276 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.283 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.295 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.299 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.318 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.334 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.345 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1) 3.345 * [approximate]: Approximating (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in (x y z) around 0 3.346 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 3.347 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.350 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 3.356 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.363 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.370 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in y 3.388 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.407 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.411 * [taylor]: Taking taylor expansion of (pow (+ (* x z) (+ (* z y) (* x y))) 1/3) in z 3.411 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 3.418 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.419 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.423 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.426 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.433 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.445 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.448 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.467 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.483 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.494 * [approximate]: Approximating (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in (x y z) around 0 3.500 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.502 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.505 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.509 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.515 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.527 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in y 3.530 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.549 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.565 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y)))) 1/3) in z 3.576 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1) 3.576 * [approximate]: Approximating (sqrt (+ (* x z) (+ (* z y) (* x y)))) in (x y z) around 0 3.580 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.581 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.581 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.584 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.585 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.589 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.598 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.608 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.619 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.625 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.647 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.679 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.711 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.732 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.742 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 3.748 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.749 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.750 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.750 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.752 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.769 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.778 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.779 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.781 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 3.787 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.788 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.789 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.789 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.791 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.805 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.814 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.814 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.817 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1) 3.817 * [approximate]: Approximating (sqrt (+ (* x z) (+ (* z y) (* x y)))) in (x y z) around 0 3.821 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.822 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.822 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.825 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.826 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.830 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.838 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.852 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.859 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.865 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in y 3.887 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.922 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.951 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.972 * [taylor]: Taking taylor expansion of (sqrt (+ (* x z) (+ (* z y) (* x y)))) in z 3.982 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 3.989 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.989 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 3.993 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.993 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 3.996 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 4.009 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.018 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.019 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.021 * [approximate]: Approximating (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in (x y z) around 0 4.028 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 4.028 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 4.029 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.029 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.032 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in y 4.045 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.054 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.055 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 (* x y))))) in z 4.057 * * * [progress]: simplifying candidates 4.058 * [simplify]: Simplifying using # : (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt 1) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) (/ 1 2) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (* (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt 1) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) (/ 1 2) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (* 1/3 (+ (log z) (log y)))) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (exp (* 1/3 (+ (log z) (log y)))) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (+ (* 1/2 (* x NAN)) (* NAN (* z y))) (- (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z))) (* 2 (/ (* (pow NAN 3) (* z y)) x))) (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z)))) (+ (* 1/2 (* x NAN)) (* NAN (* z y))) (- (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z))) (* 2 (/ (* (pow NAN 3) (* z y)) x))) (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (+ (/ (* NAN (* z y)) x) (+ (* NAN y) (* NAN z)))) 4.063 * * [simplify]: iteration 0 : 220 enodes (cost 690 ) 4.066 * * [simplify]: iteration 1 : 681 enodes (cost 652 ) 4.079 * * [simplify]: iteration 2 : 2416 enodes (cost 634 ) 4.126 * * [simplify]: iteration 3 : 5001 enodes (cost 628 ) 4.129 * [simplify]: Simplified to: (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (+ (* y z) (* x (+ y z))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (* (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt 1) (cbrt (+ (+ (* x y) (* x z)) (* y z))) (cbrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (cbrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (cbrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (cbrt (- (+ (* x y) (* x z)) (* y z))) (* (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (+ (* y z) (* x (+ y z))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (pow (sqrt (+ (+ (* x y) (* x z)) (* y z))) 3) (fabs (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) 1 (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) 1/2 (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (log (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (exp (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z))))) (cbrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (pow (sqrt (+ (+ (* x y) (* x z)) (* y z))) 3) (fabs (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (cbrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) 1 (sqrt (+ (+ (* x y) (* x z)) (* y z))) (sqrt (+ (pow (+ (* x y) (* x z)) 3) (pow (* y z) 3))) (sqrt (+ (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (- (* (* y z) (* y z)) (* (+ (* x y) (* x z)) (* y z))))) (sqrt (- (* (+ (* x y) (* x z)) (+ (* x y) (* x z))) (* (* y z) (* y z)))) (sqrt (- (+ (* x y) (* x z)) (* y z))) 1/2 (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (sqrt (sqrt (+ (+ (* x y) (* x z)) (* y z)))) (* (pow y 1/3) (pow z 1/3)) (/ (pow x 1/3) (pow y -1/3)) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3)) (* (pow y 1/3) (pow z 1/3)) (/ (pow x 1/3) (pow y -1/3)) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3)) (* NAN (+ (* y z) (* 1/2 x))) (+ (/ (* NAN (* z y)) x) (- (* NAN (+ y z)) (* 2 (/ (* (pow NAN 3) (* z y)) x)))) (- (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (/ (* NAN (* z y)) x)) (* NAN (+ y z))) (* NAN (+ (* y z) (* 1/2 x))) (+ (/ (* NAN (* z y)) x) (- (* NAN (+ y z)) (* 2 (/ (* (pow NAN 3) (* z y)) x)))) (- (- (* 2 (/ (* (pow NAN 3) (* z y)) x)) (/ (* NAN (* z y)) x)) (* NAN (+ y z))) 4.130 * * * [progress]: adding candidates to table 4.684 * [progress]: [Phase 3 of 3] Extracting. 4.685 * * [regime]: Finding splitpoints for: (# # # #) 4.687 * * * [regime-changes]: Trying 6 branch expressions: ((+ (+ (* x y) (* x z)) (* y z)) (sqrt (+ (+ (* x y) (* x z)) (* y z))) (* 2.0 (sqrt (+ (+ (* x y) (* x z)) (* y z)))) z y x) 4.687 * * * * [regimes]: Trying to branch on (+ (+ (* x y) (* x z)) (* y z)) from (# # # #) 4.740 * * * * [regimes]: Trying to branch on (sqrt (+ (+ (* x y) (* x z)) (* y z))) from (# # # #) 4.799 * * * * [regimes]: Trying to branch on (* 2.0 (sqrt (+ (+ (* x y) (* x z)) (* y z)))) from (# # # #) 4.857 * * * * [regimes]: Trying to branch on z from (# # # #) 4.910 * * * * [regimes]: Trying to branch on y from (# # # #) 4.965 * * * * [regimes]: Trying to branch on x from (# # # #) 5.019 * * * [regime]: Found split indices: #