0.775 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (* (+ x y) z) 0.034 * * [simplify]: iteration 0 : 7 enodes (cost 2 ) 0.035 * * [simplify]: iteration 1 : 15 enodes (cost 2 ) 0.036 * * [simplify]: iteration 2 : 15 enodes (cost 2 ) 0.036 * [simplify]: Simplified to: (* (+ x y) z) 0.038 * * [progress]: iteration 1 / 4 0.038 * * * [progress]: picking best candidate 0.041 * * * * [pick]: Picked # 0.041 * * * [progress]: localizing error 0.235 * * * [progress]: generating rewritten candidates 0.236 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.245 * * * [progress]: generating series expansions 0.246 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.250 * [approximate]: Taking taylor expansion of (* z (+ x y)) in (x y z) around 0 0.251 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 0.251 * [taylor]: Taking taylor expansion of z in z 0.251 * [taylor]: Taking taylor expansion of (+ x y) in z 0.251 * [taylor]: Taking taylor expansion of x in z 0.251 * [taylor]: Taking taylor expansion of y in z 0.251 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 0.251 * [taylor]: Taking taylor expansion of z in y 0.251 * [taylor]: Taking taylor expansion of (+ x y) in y 0.251 * [taylor]: Taking taylor expansion of x in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.251 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.251 * [taylor]: Taking taylor expansion of z in x 0.251 * [taylor]: Taking taylor expansion of (+ x y) in x 0.251 * [taylor]: Taking taylor expansion of x in x 0.251 * [taylor]: Taking taylor expansion of y in x 0.251 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.251 * [taylor]: Taking taylor expansion of z in x 0.251 * [taylor]: Taking taylor expansion of (+ x y) in x 0.251 * [taylor]: Taking taylor expansion of x in x 0.251 * [taylor]: Taking taylor expansion of y in x 0.252 * [taylor]: Taking taylor expansion of (* z y) in y 0.252 * [taylor]: Taking taylor expansion of z in y 0.252 * [taylor]: Taking taylor expansion of y in y 0.252 * [taylor]: Taking taylor expansion of 0 in z 0.252 * [taylor]: Taking taylor expansion of z in y 0.252 * [taylor]: Taking taylor expansion of z in z 0.252 * [taylor]: Taking taylor expansion of z in z 0.253 * [taylor]: Taking taylor expansion of 0 in y 0.253 * [taylor]: Taking taylor expansion of 0 in z 0.253 * [taylor]: Taking taylor expansion of 0 in z 0.253 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 0.253 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.253 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.253 * [taylor]: Taking taylor expansion of y in z 0.253 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.253 * [taylor]: Taking taylor expansion of x in z 0.253 * [taylor]: Taking taylor expansion of z in z 0.253 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.253 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.253 * [taylor]: Taking taylor expansion of y in y 0.253 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.253 * [taylor]: Taking taylor expansion of x in y 0.254 * [taylor]: Taking taylor expansion of z in y 0.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.254 * [taylor]: Taking taylor expansion of y in x 0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.254 * [taylor]: Taking taylor expansion of x in x 0.254 * [taylor]: Taking taylor expansion of z in x 0.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.254 * [taylor]: Taking taylor expansion of y in x 0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.254 * [taylor]: Taking taylor expansion of x in x 0.254 * [taylor]: Taking taylor expansion of z in x 0.254 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.254 * [taylor]: Taking taylor expansion of z in y 0.255 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.255 * [taylor]: Taking taylor expansion of (* z y) in y 0.255 * [taylor]: Taking taylor expansion of z in y 0.255 * [taylor]: Taking taylor expansion of y in y 0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.255 * [taylor]: Taking taylor expansion of z in z 0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.255 * [taylor]: Taking taylor expansion of z in z 0.255 * [taylor]: Taking taylor expansion of 0 in y 0.255 * [taylor]: Taking taylor expansion of 0 in z 0.255 * [taylor]: Taking taylor expansion of 0 in z 0.256 * [taylor]: Taking taylor expansion of 0 in y 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.257 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 0.257 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.257 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.257 * [taylor]: Taking taylor expansion of y in z 0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.257 * [taylor]: Taking taylor expansion of x in z 0.257 * [taylor]: Taking taylor expansion of z in z 0.257 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.257 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.257 * [taylor]: Taking taylor expansion of y in y 0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.257 * [taylor]: Taking taylor expansion of x in y 0.257 * [taylor]: Taking taylor expansion of z in y 0.257 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.257 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.257 * [taylor]: Taking taylor expansion of y in x 0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.257 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of z in x 0.258 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of z in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.258 * [taylor]: Taking taylor expansion of z in y 0.258 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.258 * [taylor]: Taking taylor expansion of (* z y) in y 0.258 * [taylor]: Taking taylor expansion of z in y 0.258 * [taylor]: Taking taylor expansion of y in y 0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.258 * [taylor]: Taking taylor expansion of z in z 0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.258 * [taylor]: Taking taylor expansion of z in z 0.258 * [taylor]: Taking taylor expansion of 0 in y 0.258 * [taylor]: Taking taylor expansion of 0 in z 0.258 * [taylor]: Taking taylor expansion of 0 in z 0.259 * [taylor]: Taking taylor expansion of 0 in y 0.259 * [taylor]: Taking taylor expansion of 0 in z 0.259 * [taylor]: Taking taylor expansion of 0 in z 0.259 * [taylor]: Taking taylor expansion of 0 in z 0.259 * * * [progress]: simplifying candidates 0.260 * [simplify]: Simplifying using # : (* (+ x y) z) (+ (log (+ x y)) (log z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* z z) 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 y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (* (+ x y) 1) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) 0 (+ (* x z) (* z y)) (+ (* x z) (* z y)) 0.262 * * [simplify]: iteration 0 : 106 enodes (cost 84 ) 0.265 * * [simplify]: iteration 1 : 411 enodes (cost 72 ) 0.274 * * [simplify]: iteration 2 : 1811 enodes (cost 72 ) 0.297 * * [simplify]: iteration 3 : 5003 enodes (cost 72 ) 0.298 * [simplify]: Simplified to: (* (+ x y) z) (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 y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (+ x y) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) 0 (* (+ x y) z) (* (+ x y) z) 0.299 * * * [progress]: adding candidates to table 0.320 * * [progress]: iteration 2 / 4 0.320 * * * [progress]: picking best candidate 0.326 * * * * [pick]: Picked # 0.326 * * * [progress]: localizing error 0.334 * * * [progress]: generating rewritten candidates 0.334 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.335 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.336 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.337 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.344 * * * [progress]: generating series expansions 0.344 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.344 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.344 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.344 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.344 * [taylor]: Taking taylor expansion of 1/3 in z 0.344 * [taylor]: Taking taylor expansion of (log z) in z 0.344 * [taylor]: Taking taylor expansion of z in z 0.345 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.345 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.345 * [taylor]: Taking taylor expansion of 1/3 in z 0.345 * [taylor]: Taking taylor expansion of (log z) in z 0.345 * [taylor]: Taking taylor expansion of z in z 0.353 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.353 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.353 * [taylor]: Taking taylor expansion of 1/3 in z 0.353 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.353 * [taylor]: Taking taylor expansion of z in z 0.353 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.353 * [taylor]: Taking taylor expansion of 1/3 in z 0.353 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.353 * [taylor]: Taking taylor expansion of z in z 0.366 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.366 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.366 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.366 * [taylor]: Taking taylor expansion of -1 in z 0.366 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.366 * [taylor]: Taking taylor expansion of 1/3 in z 0.366 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.366 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.366 * [taylor]: Taking taylor expansion of z in z 0.366 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.366 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.366 * [taylor]: Taking taylor expansion of -1 in z 0.367 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.367 * [taylor]: Taking taylor expansion of 1/3 in z 0.367 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.367 * [taylor]: Taking taylor expansion of z in z 0.375 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.375 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.375 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.375 * [taylor]: Taking taylor expansion of 1/3 in z 0.375 * [taylor]: Taking taylor expansion of (log z) in z 0.375 * [taylor]: Taking taylor expansion of z in z 0.375 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.375 * [taylor]: Taking taylor expansion of 1/3 in z 0.375 * [taylor]: Taking taylor expansion of (log z) in z 0.375 * [taylor]: Taking taylor expansion of z in z 0.381 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.381 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.381 * [taylor]: Taking taylor expansion of 1/3 in z 0.381 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.381 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.381 * [taylor]: Taking taylor expansion of z in z 0.381 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.381 * [taylor]: Taking taylor expansion of 1/3 in z 0.381 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.381 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.381 * [taylor]: Taking taylor expansion of z in z 0.388 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.388 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.388 * [taylor]: Taking taylor expansion of -1 in z 0.388 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.388 * [taylor]: Taking taylor expansion of 1/3 in z 0.388 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.388 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.388 * [taylor]: Taking taylor expansion of z in z 0.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.388 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.388 * [taylor]: Taking taylor expansion of -1 in z 0.388 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.388 * [taylor]: Taking taylor expansion of 1/3 in z 0.388 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.388 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.388 * [taylor]: Taking taylor expansion of z in z 0.396 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 0.396 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.396 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.396 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.396 * [taylor]: Taking taylor expansion of 1/3 in z 0.396 * [taylor]: Taking taylor expansion of (log z) in z 0.396 * [taylor]: Taking taylor expansion of z in z 0.396 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.396 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.396 * [taylor]: Taking taylor expansion of 1/3 in z 0.396 * [taylor]: Taking taylor expansion of (log z) in z 0.396 * [taylor]: Taking taylor expansion of z in z 0.402 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.402 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.402 * [taylor]: Taking taylor expansion of 1/3 in z 0.402 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.402 * [taylor]: Taking taylor expansion of z in z 0.402 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.402 * [taylor]: Taking taylor expansion of 1/3 in z 0.402 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.402 * [taylor]: Taking taylor expansion of z in z 0.409 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.409 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.409 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.409 * [taylor]: Taking taylor expansion of -1 in z 0.409 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.409 * [taylor]: Taking taylor expansion of 1/3 in z 0.409 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.409 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.409 * [taylor]: Taking taylor expansion of z in z 0.409 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.409 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.409 * [taylor]: Taking taylor expansion of -1 in z 0.409 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.410 * [taylor]: Taking taylor expansion of 1/3 in z 0.410 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.410 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.410 * [taylor]: Taking taylor expansion of z in z 0.417 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.417 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 0.417 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.417 * [taylor]: Taking taylor expansion of 1/3 in z 0.417 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.417 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.417 * [taylor]: Taking taylor expansion of z in z 0.418 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.418 * [taylor]: Taking taylor expansion of 1/3 in z 0.418 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.418 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.418 * [taylor]: Taking taylor expansion of z in z 0.424 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 0.424 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.424 * [taylor]: Taking taylor expansion of 1/3 in z 0.424 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.424 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.424 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.424 * [taylor]: Taking taylor expansion of z in z 0.425 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.425 * [taylor]: Taking taylor expansion of 1/3 in z 0.425 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.425 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.425 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.425 * [taylor]: Taking taylor expansion of z in z 0.432 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 0.432 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 0.432 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.432 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.432 * [taylor]: Taking taylor expansion of -1 in z 0.432 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.432 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.432 * [taylor]: Taking taylor expansion of 1/3 in z 0.432 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.432 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.432 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.432 * [taylor]: Taking taylor expansion of z in z 0.432 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 0.432 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.432 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.432 * [taylor]: Taking taylor expansion of -1 in z 0.432 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.432 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.432 * [taylor]: Taking taylor expansion of 1/3 in z 0.432 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.432 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.432 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.432 * [taylor]: Taking taylor expansion of z in z 0.442 * * * [progress]: simplifying candidates 0.443 * [simplify]: Simplifying using # : (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)) (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)) (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (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)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z)))))) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2)) 0.446 * * [simplify]: iteration 0 : 148 enodes (cost 349 ) 0.449 * * [simplify]: iteration 1 : 471 enodes (cost 322 ) 0.460 * * [simplify]: iteration 2 : 2276 enodes (cost 265 ) 0.512 * * [simplify]: iteration 3 : 5002 enodes (cost 252 ) 0.516 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (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 (cbrt z) (* (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 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) 2/3 2 (* z z) (pow z 2/3) 2 (* 2 (log (cbrt z))) (* 2 (log (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* z z) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (cbrt z) (pow (cbrt (cbrt z)) 5) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt z) (cbrt (sqrt z))) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (cbrt z) (cbrt z) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (cbrt z) (cbrt z) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (cbrt z) (cbrt z) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (pow z 2/3) (pow z 2/3) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2)) 0.517 * * * [progress]: adding candidates to table 0.580 * * [progress]: iteration 3 / 4 0.580 * * * [progress]: picking best candidate 0.587 * * * * [pick]: Picked # 0.587 * * * [progress]: localizing error 0.597 * * * [progress]: generating rewritten candidates 0.597 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 0.598 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 0.600 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.605 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.608 * * * [progress]: generating series expansions 0.608 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 0.608 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.608 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.608 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.608 * [taylor]: Taking taylor expansion of 1/3 in z 0.608 * [taylor]: Taking taylor expansion of (log z) in z 0.608 * [taylor]: Taking taylor expansion of z in z 0.608 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.608 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.608 * [taylor]: Taking taylor expansion of 1/3 in z 0.608 * [taylor]: Taking taylor expansion of (log z) in z 0.608 * [taylor]: Taking taylor expansion of z in z 0.614 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.614 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.614 * [taylor]: Taking taylor expansion of 1/3 in z 0.614 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.614 * [taylor]: Taking taylor expansion of z in z 0.615 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.615 * [taylor]: Taking taylor expansion of 1/3 in z 0.615 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.615 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.615 * [taylor]: Taking taylor expansion of z in z 0.621 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.621 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.621 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.621 * [taylor]: Taking taylor expansion of -1 in z 0.621 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.621 * [taylor]: Taking taylor expansion of 1/3 in z 0.621 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.621 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.621 * [taylor]: Taking taylor expansion of z in z 0.621 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.622 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.622 * [taylor]: Taking taylor expansion of -1 in z 0.622 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.622 * [taylor]: Taking taylor expansion of 1/3 in z 0.622 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.622 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.622 * [taylor]: Taking taylor expansion of z in z 0.629 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 0.629 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.629 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.629 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.629 * [taylor]: Taking taylor expansion of 1/3 in z 0.629 * [taylor]: Taking taylor expansion of (log z) in z 0.629 * [taylor]: Taking taylor expansion of z in z 0.630 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.630 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.630 * [taylor]: Taking taylor expansion of 1/3 in z 0.630 * [taylor]: Taking taylor expansion of (log z) in z 0.630 * [taylor]: Taking taylor expansion of z in z 0.635 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.635 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.636 * [taylor]: Taking taylor expansion of 1/3 in z 0.636 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.636 * [taylor]: Taking taylor expansion of z in z 0.636 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.636 * [taylor]: Taking taylor expansion of 1/3 in z 0.636 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.636 * [taylor]: Taking taylor expansion of z in z 0.642 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 0.642 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.642 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.642 * [taylor]: Taking taylor expansion of -1 in z 0.642 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.642 * [taylor]: Taking taylor expansion of 1/3 in z 0.642 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.642 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.642 * [taylor]: Taking taylor expansion of z in z 0.642 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 0.642 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.642 * [taylor]: Taking taylor expansion of -1 in z 0.643 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.643 * [taylor]: Taking taylor expansion of 1/3 in z 0.643 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.643 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.643 * [taylor]: Taking taylor expansion of z in z 0.652 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.653 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 0.653 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.653 * [taylor]: Taking taylor expansion of 1/3 in z 0.653 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.653 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.653 * [taylor]: Taking taylor expansion of z in z 0.653 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.653 * [taylor]: Taking taylor expansion of 1/3 in z 0.653 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.653 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.653 * [taylor]: Taking taylor expansion of z in z 0.659 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 0.659 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.659 * [taylor]: Taking taylor expansion of 1/3 in z 0.659 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.659 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.659 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.659 * [taylor]: Taking taylor expansion of z in z 0.660 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.660 * [taylor]: Taking taylor expansion of 1/3 in z 0.660 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.660 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.660 * [taylor]: Taking taylor expansion of z in z 0.667 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 0.667 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 0.667 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.667 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.667 * [taylor]: Taking taylor expansion of -1 in z 0.667 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.667 * [taylor]: Taking taylor expansion of 1/3 in z 0.667 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.667 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.667 * [taylor]: Taking taylor expansion of z in z 0.667 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 0.667 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.667 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.667 * [taylor]: Taking taylor expansion of -1 in z 0.667 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.667 * [taylor]: Taking taylor expansion of 1/3 in z 0.668 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.668 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.668 * [taylor]: Taking taylor expansion of z in z 0.677 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.677 * [approximate]: Taking taylor expansion of (pow z 1/6) in (z) around 0 0.677 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 0.677 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 0.677 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 0.677 * [taylor]: Taking taylor expansion of 1/6 in z 0.677 * [taylor]: Taking taylor expansion of (log z) in z 0.677 * [taylor]: Taking taylor expansion of z in z 0.677 * [taylor]: Taking taylor expansion of (pow z 1/6) in z 0.677 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log z))) in z 0.677 * [taylor]: Taking taylor expansion of (* 1/6 (log z)) in z 0.677 * [taylor]: Taking taylor expansion of 1/6 in z 0.678 * [taylor]: Taking taylor expansion of (log z) in z 0.678 * [taylor]: Taking taylor expansion of z in z 0.683 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/6) in (z) around 0 0.684 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 0.684 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 0.684 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 0.684 * [taylor]: Taking taylor expansion of 1/6 in z 0.684 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.684 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.684 * [taylor]: Taking taylor expansion of z in z 0.684 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/6) in z 0.684 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 z)))) in z 0.684 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 z))) in z 0.684 * [taylor]: Taking taylor expansion of 1/6 in z 0.684 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.684 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.684 * [taylor]: Taking taylor expansion of z in z 0.690 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in (z) around 0 0.690 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 0.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 0.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 0.690 * [taylor]: Taking taylor expansion of 1/3 in z 0.690 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 0.690 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.690 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.690 * [taylor]: Taking taylor expansion of -1 in z 0.690 * [taylor]: Taking taylor expansion of z in z 0.691 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/3) in z 0.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 z))))) in z 0.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 z)))) in z 0.691 * [taylor]: Taking taylor expansion of 1/3 in z 0.691 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z 0.691 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.691 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.691 * [taylor]: Taking taylor expansion of -1 in z 0.691 * [taylor]: Taking taylor expansion of z in z 0.693 * * * [progress]: simplifying candidates 0.694 * [simplify]: Simplifying using # : (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)) (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (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)) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt 1)) (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) (cbrt 1) (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z)))))) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2)) (exp (* 1/6 (+ (log z) (log 1)))) (exp (* 1/6 (- (log 1) (log (/ 1 z))))) (- (+ (pow NAN 1/3) (* 2/9 (* (pow (pow NAN 13) 1/3) (/ 1 (pow z 2))))) (* 1/3 (* (pow (pow NAN 7) 1/3) (/ 1 z)))) 0.698 * * [simplify]: iteration 0 : 230 enodes (cost 389 ) 0.702 * * [simplify]: iteration 1 : 721 enodes (cost 359 ) 0.719 * * [simplify]: iteration 2 : 3537 enodes (cost 299 ) 0.808 * * [simplify]: iteration 3 : 5001 enodes (cost 282 ) 0.811 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (pow z 1/6) (pow z 1/6) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (pow z 1/6) (pow z 1/6) 2/3 2 (pow z 2) (pow z 2/3) 2 (* 2 (log (cbrt z))) (* 2 (log (cbrt z))) (exp (* (cbrt z) (cbrt z))) (pow z 2) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (pow z 2) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (cbrt z) (pow (cbrt (cbrt z)) 5) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt z) (cbrt (sqrt z))) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (log (cbrt (sqrt z))) (exp (cbrt (sqrt z))) (cbrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (cbrt (sqrt (* (cbrt z) (cbrt z)))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) 1 (cbrt (sqrt z)) (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))) 1 (cbrt (sqrt z)) (* (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z)))) (cbrt (cbrt (sqrt z))) (sqrt z) (sqrt (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (cbrt z) (cbrt z) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (cbrt z) (cbrt z) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z)))))) (pow z 2/3) (pow z 2/3) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2)) (pow z 1/6) (pow z 1/6) (+ (+ (* -1/3 (/ (pow (pow NAN 7) 1/3) z)) (/ (* 2/9 (pow (pow NAN 13) 1/3)) (pow z 2))) (pow NAN 1/3)) 0.811 * * * [progress]: adding candidates to table 0.880 * * [progress]: iteration 4 / 4 0.880 * * * [progress]: picking best candidate 0.884 * * * * [pick]: Picked # 0.884 * * * [progress]: localizing error 0.891 * * * [progress]: generating rewritten candidates 0.891 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.893 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.900 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.907 * * * [progress]: generating series expansions 0.907 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.908 * [approximate]: Taking taylor expansion of (* z (+ x y)) in (x y z) around 0 0.908 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 0.908 * [taylor]: Taking taylor expansion of z in z 0.908 * [taylor]: Taking taylor expansion of (+ x y) in z 0.908 * [taylor]: Taking taylor expansion of x in z 0.908 * [taylor]: Taking taylor expansion of y in z 0.908 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 0.908 * [taylor]: Taking taylor expansion of z in y 0.908 * [taylor]: Taking taylor expansion of (+ x y) in y 0.908 * [taylor]: Taking taylor expansion of x in y 0.908 * [taylor]: Taking taylor expansion of y in y 0.908 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.908 * [taylor]: Taking taylor expansion of z in x 0.908 * [taylor]: Taking taylor expansion of (+ x y) in x 0.908 * [taylor]: Taking taylor expansion of x in x 0.908 * [taylor]: Taking taylor expansion of y in x 0.908 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.908 * [taylor]: Taking taylor expansion of z in x 0.908 * [taylor]: Taking taylor expansion of (+ x y) in x 0.908 * [taylor]: Taking taylor expansion of x in x 0.908 * [taylor]: Taking taylor expansion of y in x 0.908 * [taylor]: Taking taylor expansion of (* z y) in y 0.908 * [taylor]: Taking taylor expansion of z in y 0.908 * [taylor]: Taking taylor expansion of y in y 0.908 * [taylor]: Taking taylor expansion of 0 in z 0.908 * [taylor]: Taking taylor expansion of z in y 0.908 * [taylor]: Taking taylor expansion of z in z 0.908 * [taylor]: Taking taylor expansion of z in z 0.908 * [taylor]: Taking taylor expansion of 0 in y 0.908 * [taylor]: Taking taylor expansion of 0 in z 0.908 * [taylor]: Taking taylor expansion of 0 in z 0.908 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 0.908 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.908 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.908 * [taylor]: Taking taylor expansion of y in z 0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.909 * [taylor]: Taking taylor expansion of x in z 0.909 * [taylor]: Taking taylor expansion of z in z 0.909 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.909 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.909 * [taylor]: Taking taylor expansion of x in y 0.909 * [taylor]: Taking taylor expansion of z in y 0.909 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.909 * [taylor]: Taking taylor expansion of y in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.909 * [taylor]: Taking taylor expansion of z in x 0.909 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.909 * [taylor]: Taking taylor expansion of y in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.909 * [taylor]: Taking taylor expansion of z in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.909 * [taylor]: Taking taylor expansion of z in y 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.910 * [taylor]: Taking taylor expansion of (* z y) in y 0.910 * [taylor]: Taking taylor expansion of z in y 0.910 * [taylor]: Taking taylor expansion of y in y 0.910 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.910 * [taylor]: Taking taylor expansion of z in z 0.910 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.910 * [taylor]: Taking taylor expansion of z in z 0.910 * [taylor]: Taking taylor expansion of 0 in y 0.910 * [taylor]: Taking taylor expansion of 0 in z 0.910 * [taylor]: Taking taylor expansion of 0 in z 0.910 * [taylor]: Taking taylor expansion of 0 in y 0.910 * [taylor]: Taking taylor expansion of 0 in z 0.911 * [taylor]: Taking taylor expansion of 0 in z 0.911 * [taylor]: Taking taylor expansion of 0 in z 0.911 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 0.911 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.911 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.911 * [taylor]: Taking taylor expansion of y in z 0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.911 * [taylor]: Taking taylor expansion of x in z 0.911 * [taylor]: Taking taylor expansion of z in z 0.911 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.911 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.911 * [taylor]: Taking taylor expansion of y in y 0.911 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.911 * [taylor]: Taking taylor expansion of x in y 0.911 * [taylor]: Taking taylor expansion of z in y 0.911 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.911 * [taylor]: Taking taylor expansion of y in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of z in x 0.912 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.912 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.912 * [taylor]: Taking taylor expansion of y in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.912 * [taylor]: Taking taylor expansion of x in x 0.912 * [taylor]: Taking taylor expansion of z in x 0.912 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.912 * [taylor]: Taking taylor expansion of z in y 0.912 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.912 * [taylor]: Taking taylor expansion of (* z y) in y 0.912 * [taylor]: Taking taylor expansion of z in y 0.912 * [taylor]: Taking taylor expansion of y in y 0.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.912 * [taylor]: Taking taylor expansion of z in z 0.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.912 * [taylor]: Taking taylor expansion of z in z 0.912 * [taylor]: Taking taylor expansion of 0 in y 0.912 * [taylor]: Taking taylor expansion of 0 in z 0.912 * [taylor]: Taking taylor expansion of 0 in z 0.913 * [taylor]: Taking taylor expansion of 0 in y 0.913 * [taylor]: Taking taylor expansion of 0 in z 0.913 * [taylor]: Taking taylor expansion of 0 in z 0.913 * [taylor]: Taking taylor expansion of 0 in z 0.913 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.913 * [approximate]: Taking taylor expansion of (pow (* z (+ x y)) 3) in (x y z) around 0 0.913 * [taylor]: Taking taylor expansion of (pow (* z (+ x y)) 3) in z 0.913 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 0.913 * [taylor]: Taking taylor expansion of z in z 0.913 * [taylor]: Taking taylor expansion of (+ x y) in z 0.913 * [taylor]: Taking taylor expansion of x in z 0.913 * [taylor]: Taking taylor expansion of y in z 0.914 * [taylor]: Taking taylor expansion of (pow (* z (+ x y)) 3) in y 0.914 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 0.914 * [taylor]: Taking taylor expansion of z in y 0.914 * [taylor]: Taking taylor expansion of (+ x y) in y 0.914 * [taylor]: Taking taylor expansion of x in y 0.914 * [taylor]: Taking taylor expansion of y in y 0.914 * [taylor]: Taking taylor expansion of (pow (* z (+ x y)) 3) in x 0.914 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.914 * [taylor]: Taking taylor expansion of z in x 0.914 * [taylor]: Taking taylor expansion of (+ x y) in x 0.914 * [taylor]: Taking taylor expansion of x in x 0.914 * [taylor]: Taking taylor expansion of y in x 0.914 * [taylor]: Taking taylor expansion of (pow (* z (+ x y)) 3) in x 0.914 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.914 * [taylor]: Taking taylor expansion of z in x 0.914 * [taylor]: Taking taylor expansion of (+ x y) in x 0.914 * [taylor]: Taking taylor expansion of x in x 0.914 * [taylor]: Taking taylor expansion of y in x 0.914 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y 0.914 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.914 * [taylor]: Taking taylor expansion of z in y 0.915 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.915 * [taylor]: Taking taylor expansion of y in y 0.915 * [taylor]: Taking taylor expansion of (* 3 (* (pow z 3) (pow y 2))) in y 0.915 * [taylor]: Taking taylor expansion of 3 in y 0.915 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 2)) in y 0.915 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.915 * [taylor]: Taking taylor expansion of z in y 0.915 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.915 * [taylor]: Taking taylor expansion of y in y 0.915 * [taylor]: Taking taylor expansion of (* 3 (* (pow z 3) y)) in y 0.916 * [taylor]: Taking taylor expansion of 3 in y 0.916 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in y 0.916 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.916 * [taylor]: Taking taylor expansion of z in y 0.916 * [taylor]: Taking taylor expansion of y in y 0.916 * [taylor]: Taking taylor expansion of 0 in z 0.916 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.916 * [taylor]: Taking taylor expansion of z in y 0.916 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.916 * [taylor]: Taking taylor expansion of z in z 0.917 * [taylor]: Taking taylor expansion of (* 3 (pow z 3)) in z 0.917 * [taylor]: Taking taylor expansion of 3 in z 0.917 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.917 * [taylor]: Taking taylor expansion of z in z 0.917 * [taylor]: Taking taylor expansion of (* 3 (pow z 3)) in z 0.917 * [taylor]: Taking taylor expansion of 3 in z 0.917 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.917 * [taylor]: Taking taylor expansion of z in z 0.918 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in (x y z) around 0 0.918 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in z 0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.918 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.918 * [taylor]: Taking taylor expansion of y in z 0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.918 * [taylor]: Taking taylor expansion of x in z 0.918 * [taylor]: Taking taylor expansion of z in z 0.918 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in y 0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.918 * [taylor]: Taking taylor expansion of y in y 0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.918 * [taylor]: Taking taylor expansion of x in y 0.918 * [taylor]: Taking taylor expansion of z in y 0.918 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in x 0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.918 * [taylor]: Taking taylor expansion of y in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.918 * [taylor]: Taking taylor expansion of x in x 0.918 * [taylor]: Taking taylor expansion of z in x 0.918 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in x 0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.918 * [taylor]: Taking taylor expansion of y in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.918 * [taylor]: Taking taylor expansion of x in x 0.918 * [taylor]: Taking taylor expansion of z in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 0.919 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.919 * [taylor]: Taking taylor expansion of z in y 0.919 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 3) y))) in y 0.919 * [taylor]: Taking taylor expansion of 3 in y 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in y 0.919 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in y 0.919 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.919 * [taylor]: Taking taylor expansion of z in y 0.919 * [taylor]: Taking taylor expansion of y in y 0.920 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 3) (pow y 2)))) in y 0.920 * [taylor]: Taking taylor expansion of 3 in y 0.920 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 2))) in y 0.920 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 2)) in y 0.920 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.920 * [taylor]: Taking taylor expansion of z in y 0.920 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.920 * [taylor]: Taking taylor expansion of y in y 0.921 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y 0.921 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y 0.921 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.921 * [taylor]: Taking taylor expansion of z in y 0.921 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.921 * [taylor]: Taking taylor expansion of y in y 0.921 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 0.921 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.921 * [taylor]: Taking taylor expansion of z in z 0.921 * [taylor]: Taking taylor expansion of (/ 3 (pow z 3)) in z 0.921 * [taylor]: Taking taylor expansion of 3 in z 0.921 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.921 * [taylor]: Taking taylor expansion of z in z 0.922 * [taylor]: Taking taylor expansion of (/ 3 (pow z 3)) in z 0.922 * [taylor]: Taking taylor expansion of 3 in z 0.922 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.922 * [taylor]: Taking taylor expansion of z in z 0.922 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in (x y z) around 0 0.922 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in z 0.922 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.922 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.922 * [taylor]: Taking taylor expansion of y in z 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.923 * [taylor]: Taking taylor expansion of x in z 0.923 * [taylor]: Taking taylor expansion of z in z 0.923 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in y 0.923 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.923 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.923 * [taylor]: Taking taylor expansion of y in y 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.923 * [taylor]: Taking taylor expansion of x in y 0.923 * [taylor]: Taking taylor expansion of z in y 0.923 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in x 0.923 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.923 * [taylor]: Taking taylor expansion of y in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.923 * [taylor]: Taking taylor expansion of z in x 0.923 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 y) (/ 1 x)) z) 3) in x 0.923 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.923 * [taylor]: Taking taylor expansion of y in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.923 * [taylor]: Taking taylor expansion of z in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 0.923 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.923 * [taylor]: Taking taylor expansion of z in y 0.924 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 3) y))) in y 0.924 * [taylor]: Taking taylor expansion of 3 in y 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in y 0.924 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in y 0.924 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.924 * [taylor]: Taking taylor expansion of z in y 0.924 * [taylor]: Taking taylor expansion of y in y 0.925 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow z 3) (pow y 2)))) in y 0.925 * [taylor]: Taking taylor expansion of 3 in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 2))) in y 0.925 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 2)) in y 0.925 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.925 * [taylor]: Taking taylor expansion of z in y 0.925 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.925 * [taylor]: Taking taylor expansion of y in y 0.926 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y 0.926 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y 0.926 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.926 * [taylor]: Taking taylor expansion of z in y 0.926 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.926 * [taylor]: Taking taylor expansion of y in y 0.926 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 0.926 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.926 * [taylor]: Taking taylor expansion of z in z 0.926 * [taylor]: Taking taylor expansion of (/ 3 (pow z 3)) in z 0.926 * [taylor]: Taking taylor expansion of 3 in z 0.926 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.926 * [taylor]: Taking taylor expansion of z in z 0.926 * [taylor]: Taking taylor expansion of (/ 3 (pow z 3)) in z 0.926 * [taylor]: Taking taylor expansion of 3 in z 0.926 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.926 * [taylor]: Taking taylor expansion of z in z 0.927 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.927 * [approximate]: Taking taylor expansion of (* z (+ x y)) in (x y z) around 0 0.927 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 0.927 * [taylor]: Taking taylor expansion of z in z 0.927 * [taylor]: Taking taylor expansion of (+ x y) in z 0.927 * [taylor]: Taking taylor expansion of x in z 0.927 * [taylor]: Taking taylor expansion of y in z 0.927 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 0.927 * [taylor]: Taking taylor expansion of z in y 0.927 * [taylor]: Taking taylor expansion of (+ x y) in y 0.927 * [taylor]: Taking taylor expansion of x in y 0.927 * [taylor]: Taking taylor expansion of y in y 0.927 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.927 * [taylor]: Taking taylor expansion of z in x 0.927 * [taylor]: Taking taylor expansion of (+ x y) in x 0.927 * [taylor]: Taking taylor expansion of x in x 0.927 * [taylor]: Taking taylor expansion of y in x 0.928 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 0.928 * [taylor]: Taking taylor expansion of z in x 0.928 * [taylor]: Taking taylor expansion of (+ x y) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [taylor]: Taking taylor expansion of y in x 0.928 * [taylor]: Taking taylor expansion of (* z y) in y 0.928 * [taylor]: Taking taylor expansion of z in y 0.928 * [taylor]: Taking taylor expansion of y in y 0.928 * [taylor]: Taking taylor expansion of 0 in z 0.928 * [taylor]: Taking taylor expansion of z in y 0.928 * [taylor]: Taking taylor expansion of z in z 0.928 * [taylor]: Taking taylor expansion of z in z 0.928 * [taylor]: Taking taylor expansion of 0 in y 0.928 * [taylor]: Taking taylor expansion of 0 in z 0.928 * [taylor]: Taking taylor expansion of 0 in z 0.928 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 0.928 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.928 * [taylor]: Taking taylor expansion of y in z 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.928 * [taylor]: Taking taylor expansion of x in z 0.928 * [taylor]: Taking taylor expansion of z in z 0.928 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.928 * [taylor]: Taking taylor expansion of y in y 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.928 * [taylor]: Taking taylor expansion of x in y 0.928 * [taylor]: Taking taylor expansion of z in y 0.928 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.929 * [taylor]: Taking taylor expansion of y in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.929 * [taylor]: Taking taylor expansion of x in x 0.929 * [taylor]: Taking taylor expansion of z in x 0.929 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.929 * [taylor]: Taking taylor expansion of y in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.929 * [taylor]: Taking taylor expansion of x in x 0.929 * [taylor]: Taking taylor expansion of z in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.929 * [taylor]: Taking taylor expansion of z in y 0.929 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.929 * [taylor]: Taking taylor expansion of (* z y) in y 0.929 * [taylor]: Taking taylor expansion of z in y 0.929 * [taylor]: Taking taylor expansion of y in y 0.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.929 * [taylor]: Taking taylor expansion of z in z 0.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.929 * [taylor]: Taking taylor expansion of z in z 0.929 * [taylor]: Taking taylor expansion of 0 in y 0.930 * [taylor]: Taking taylor expansion of 0 in z 0.930 * [taylor]: Taking taylor expansion of 0 in z 0.930 * [taylor]: Taking taylor expansion of 0 in y 0.930 * [taylor]: Taking taylor expansion of 0 in z 0.930 * [taylor]: Taking taylor expansion of 0 in z 0.930 * [taylor]: Taking taylor expansion of 0 in z 0.930 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 0.930 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 0.930 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.930 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.930 * [taylor]: Taking taylor expansion of y in z 0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.931 * [taylor]: Taking taylor expansion of x in z 0.931 * [taylor]: Taking taylor expansion of z in z 0.931 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 0.931 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.931 * [taylor]: Taking taylor expansion of y in y 0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.931 * [taylor]: Taking taylor expansion of x in y 0.931 * [taylor]: Taking taylor expansion of z in y 0.931 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.931 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.931 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.931 * [taylor]: Taking taylor expansion of y in x 0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.931 * [taylor]: Taking taylor expansion of x in x 0.931 * [taylor]: Taking taylor expansion of z in x 0.931 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 0.931 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.931 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.931 * [taylor]: Taking taylor expansion of y in x 0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.931 * [taylor]: Taking taylor expansion of x in x 0.931 * [taylor]: Taking taylor expansion of z in x 0.931 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.931 * [taylor]: Taking taylor expansion of z in y 0.931 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.931 * [taylor]: Taking taylor expansion of (* z y) in y 0.932 * [taylor]: Taking taylor expansion of z in y 0.932 * [taylor]: Taking taylor expansion of y in y 0.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.932 * [taylor]: Taking taylor expansion of z in z 0.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.932 * [taylor]: Taking taylor expansion of z in z 0.932 * [taylor]: Taking taylor expansion of 0 in y 0.932 * [taylor]: Taking taylor expansion of 0 in z 0.932 * [taylor]: Taking taylor expansion of 0 in z 0.932 * [taylor]: Taking taylor expansion of 0 in y 0.932 * [taylor]: Taking taylor expansion of 0 in z 0.933 * [taylor]: Taking taylor expansion of 0 in z 0.933 * [taylor]: Taking taylor expansion of 0 in z 0.933 * * * [progress]: simplifying candidates 0.934 * [simplify]: Simplifying using # : (log (cbrt (pow (* (+ x y) z) 3))) (exp (cbrt (pow (* (+ x y) z) 3))) (cbrt (pow (+ x y) 3)) (cbrt (pow z 3)) (cbrt (* (* (+ x y) z) (* (+ x y) z))) (cbrt (* (+ x y) z)) (cbrt (* (cbrt (pow (* (+ x y) z) 3)) (cbrt (pow (* (+ x y) z) 3)))) (cbrt (cbrt (pow (* (+ x y) z) 3))) (cbrt (pow (+ x y) 3)) (cbrt (pow z 3)) (cbrt (* (+ x y) z)) (cbrt (* (* (+ x y) z) (* (+ x y) z))) (cbrt (sqrt (pow (* (+ x y) z) 3))) (cbrt (sqrt (pow (* (+ x y) z) 3))) (cbrt 1) (cbrt (pow (* (+ x y) z) 3)) (cbrt (pow (* (+ x y) z) (/ 3 2))) (cbrt (pow (* (+ x y) z) (/ 3 2))) (cbrt (pow (* (+ (pow x 3) (pow y 3)) z) 3)) (cbrt (pow (+ (* x x) (- (* y y) (* x y))) 3)) (cbrt (pow (* (- (* x x) (* y y)) z) 3)) (cbrt (pow (- x y) 3)) (* (cbrt (cbrt (pow (* (+ x y) z) 3))) (cbrt (cbrt (pow (* (+ x y) z) 3)))) (cbrt (cbrt (pow (* (+ x y) z) 3))) (* (* (cbrt (pow (* (+ x y) z) 3)) (cbrt (pow (* (+ x y) z) 3))) (cbrt (pow (* (+ x y) z) 3))) (sqrt (cbrt (pow (* (+ x y) z) 3))) (sqrt (cbrt (pow (* (+ x y) z) 3))) (* (+ (log (+ x y)) (log z)) 3) (* (log (* (+ x y) z)) 3) (* (log (* (+ x y) z)) 3) (* 1 3) (* 1 3) (pow (* (+ x y) z) (* (cbrt 3) (cbrt 3))) (pow (* (+ x y) z) (sqrt 3)) (pow (* (+ x y) z) 1) (pow (+ x y) 3) (pow z 3) (* (* (+ x y) z) (* (+ x y) z)) (log (pow (* (+ x y) z) 3)) (exp (pow (* (+ x y) z) 3)) (* (cbrt (pow (* (+ x y) z) 3)) (cbrt (pow (* (+ x y) z) 3))) (cbrt (pow (* (+ x y) z) 3)) (* (* (pow (* (+ x y) z) 3) (pow (* (+ x y) z) 3)) (pow (* (+ x y) z) 3)) (pow (+ x y) 3) (pow z 3) (pow (* (+ (pow x 3) (pow y 3)) z) 3) (pow (+ (* x x) (- (* y y) (* x y))) 3) (pow (* (- (* x x) (* y y)) z) 3) (pow (- x y) 3) (* (* (+ x y) z) (* (+ x y) z)) (sqrt (pow (* (+ x y) z) 3)) (sqrt (pow (* (+ x y) z) 3)) (pow (* (+ x y) z) (/ 3 2)) (pow (* (+ x y) z) (/ 3 2)) (* (+ x y) z) (+ (log (+ x y)) (log z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* z z) 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 y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (* (+ x y) 1) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) 0 (+ (* x z) (* z y)) (+ (* x z) (* z y)) (+ (* (pow x 3) (pow z 3)) (+ (* 3 (* (pow x 2) (* (pow z 3) y))) (* 3 (* x (* (pow z 3) (pow y 2)))))) (+ (* (pow z 3) (pow y 3)) (+ (* 3 (* (pow x 2) (* (pow z 3) y))) (* 3 (* x (* (pow z 3) (pow y 2)))))) (+ (* (pow z 3) (pow y 3)) (+ (* 3 (* (pow x 2) (* (pow z 3) y))) (* 3 (* x (* (pow z 3) (pow y 2)))))) 0 (+ (* x z) (* z y)) (+ (* x z) (* z y)) 0.938 * * [simplify]: iteration 0 : 252 enodes (cost 308 ) 0.943 * * [simplify]: iteration 1 : 1253 enodes (cost 292 ) 0.971 * * [simplify]: iteration 2 : 5001 enodes (cost 286 ) 0.974 * [simplify]: Simplified to: (log (* (+ x y) z)) (exp (* (+ x y) z)) (+ x y) z (cbrt (* (* (+ x y) z) (* (+ x y) z))) (cbrt (* (+ x y) z)) (cbrt (* (* (+ x y) z) (* (+ x y) z))) (cbrt (* (+ x y) z)) (+ x y) z (cbrt (* (+ x y) z)) (cbrt (* (* (+ x y) z) (* (+ x y) z))) (cbrt (sqrt (pow (* (+ x y) z) 3))) (cbrt (sqrt (pow (* (+ x y) z) 3))) 1 (* (+ x y) z) (cbrt (pow (* (+ x y) z) (/ 3 2))) (cbrt (pow (* (+ x y) z) (/ 3 2))) (* (+ (pow x 3) (pow y 3)) z) (+ (* y (- y x)) (pow x 2)) (* (- (* x x) (* y y)) z) (- x y) (* (cbrt (* (+ x y) z)) (cbrt (* (+ x y) z))) (cbrt (* (+ x y) z)) (pow (* (+ x y) z) 3) (pow (* (+ x y) z) 1/2) (pow (* (+ x y) z) 1/2) (log (pow (* (+ x y) z) 3)) (log (pow (* (+ x y) z) 3)) (log (pow (* (+ x y) z) 3)) 3 3 (pow (* (+ x y) z) (* (cbrt 3) (cbrt 3))) (pow (* (+ x y) z) (sqrt 3)) (* (+ x y) z) (pow (+ x y) 3) (pow z 3) (pow (* (+ x y) z) 2) (log (pow (* (+ x y) z) 3)) (exp (pow (* (+ x y) z) 3)) (pow (* (+ x y) z) 2) (* (+ x y) z) (pow (pow (* (+ x y) z) 3) 3) (pow (+ x y) 3) (pow z 3) (pow (* (+ (pow x 3) (pow y 3)) z) 3) (pow (+ (* y (- y x)) (pow x 2)) 3) (pow (* (- (* x x) (* y y)) z) 3) (pow (- x y) 3) (pow (* (+ x y) z) 2) (sqrt (pow (* (+ x y) z) 3)) (sqrt (pow (* (+ x y) z) 3)) (pow (* (+ x y) z) 3/2) (pow (* (+ x y) z) 3/2) (* (+ x y) z) (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) (pow (* (+ x y) z) 1/2) (pow (* (+ x y) z) 1/2) (* (sqrt (+ x y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (+ x y) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) 0 (* (+ x y) z) (* (+ x y) z) (+ (* (* x (pow z 3)) (+ (* (pow y 2) 3) (pow x 2))) (* 3 (* (pow x 2) (* (pow z 3) y)))) (+ (* (* (pow z 3) (pow y 2)) (+ (* 3 x) y)) (* 3 (* (pow x 2) (* (pow z 3) y)))) (+ (* (* (pow z 3) (pow y 2)) (+ (* 3 x) y)) (* 3 (* (pow x 2) (* (pow z 3) y)))) 0 (* (+ x y) z) (* (+ x y) z) 0.974 * * * [progress]: adding candidates to table 1.048 * [progress]: [Phase 3 of 3] Extracting. 1.048 * * [regime]: Finding splitpoints for: (# # # #) 1.049 * * * [regime-changes]: Trying 5 branch expressions: ((+ x y) (* (+ x y) z) z y x) 1.049 * * * * [regimes]: Trying to branch on (+ x y) from (# # # #) 1.098 * * * * [regimes]: Trying to branch on (* (+ x y) z) from (# # # #) 1.145 * * * * [regimes]: Trying to branch on z from (# # # #) 1.191 * * * * [regimes]: Trying to branch on y from (# # # #) 1.237 * * * * [regimes]: Trying to branch on x from (# # # #) 1.282 * * * [regime]: Found split indices: #