16.296 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.517 * * * [progress]: [2/2] Setting up program. 0.523 * [progress]: [Phase 2 of 3] Improving. 0.523 * [simplify]: Simplifying using # : (+ x (* (- y x) z)) 0.525 * * [simplify]: iteration 0 : 10 enodes (cost 3 ) 0.526 * * [simplify]: iteration 1 : 17 enodes (cost 3 ) 0.527 * * [simplify]: iteration 2 : 31 enodes (cost 3 ) 0.529 * * [simplify]: iteration 3 : 46 enodes (cost 3 ) 0.530 * * [simplify]: iteration 4 : 53 enodes (cost 3 ) 0.532 * * [simplify]: iteration 5 : 62 enodes (cost 3 ) 0.533 * * [simplify]: iteration 6 : 80 enodes (cost 3 ) 0.535 * * [simplify]: iteration 7 : 118 enodes (cost 3 ) 0.537 * * [simplify]: iteration 8 : 235 enodes (cost 3 ) 0.541 * * [simplify]: iteration 9 : 467 enodes (cost 3 ) 0.547 * * [simplify]: iteration 10 : 750 enodes (cost 3 ) 0.556 * * [simplify]: iteration 11 : 1136 enodes (cost 3 ) 0.569 * * [simplify]: iteration 12 : 1818 enodes (cost 3 ) 0.601 * * [simplify]: iteration 13 : 5002 enodes (cost 3 ) 0.601 * [simplify]: Simplified to: (+ x (* (- y x) z)) 0.602 * * [progress]: iteration 1 / 4 0.602 * * * [progress]: picking best candidate 0.604 * * * * [pick]: Picked # 0.604 * * * [progress]: localizing error 0.609 * * * [progress]: generating rewritten candidates 0.609 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.615 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.618 * * * [progress]: generating series expansions 0.618 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.619 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 0.619 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 0.619 * [taylor]: Taking taylor expansion of (- y x) in z 0.619 * [taylor]: Taking taylor expansion of y in z 0.619 * [taylor]: Taking taylor expansion of x in z 0.619 * [taylor]: Taking taylor expansion of z in z 0.619 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 0.619 * [taylor]: Taking taylor expansion of (- y x) in x 0.619 * [taylor]: Taking taylor expansion of y in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of z in x 0.619 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.619 * [taylor]: Taking taylor expansion of (- y x) in y 0.619 * [taylor]: Taking taylor expansion of y in y 0.619 * [taylor]: Taking taylor expansion of x in y 0.619 * [taylor]: Taking taylor expansion of z in y 0.619 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.619 * [taylor]: Taking taylor expansion of (- y x) in y 0.619 * [taylor]: Taking taylor expansion of y in y 0.619 * [taylor]: Taking taylor expansion of x in y 0.619 * [taylor]: Taking taylor expansion of z in y 0.619 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 0.619 * [taylor]: Taking taylor expansion of -1 in x 0.619 * [taylor]: Taking taylor expansion of (* x z) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of z in x 0.619 * [taylor]: Taking taylor expansion of 0 in z 0.619 * [taylor]: Taking taylor expansion of z in x 0.619 * [taylor]: Taking taylor expansion of z in z 0.619 * [taylor]: Taking taylor expansion of (neg z) in z 0.619 * [taylor]: Taking taylor expansion of z in z 0.619 * [taylor]: Taking taylor expansion of 0 in x 0.619 * [taylor]: Taking taylor expansion of 0 in z 0.619 * [taylor]: Taking taylor expansion of 0 in z 0.620 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 0.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 0.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.620 * [taylor]: Taking taylor expansion of y in z 0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.620 * [taylor]: Taking taylor expansion of x in z 0.620 * [taylor]: Taking taylor expansion of z in z 0.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 0.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.620 * [taylor]: Taking taylor expansion of y in x 0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.620 * [taylor]: Taking taylor expansion of x in x 0.620 * [taylor]: Taking taylor expansion of z in x 0.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.620 * [taylor]: Taking taylor expansion of y in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.620 * [taylor]: Taking taylor expansion of x in y 0.620 * [taylor]: Taking taylor expansion of z in y 0.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.620 * [taylor]: Taking taylor expansion of y in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.620 * [taylor]: Taking taylor expansion of x in y 0.620 * [taylor]: Taking taylor expansion of z in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.620 * [taylor]: Taking taylor expansion of z in x 0.621 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.621 * [taylor]: Taking taylor expansion of (* x z) in x 0.621 * [taylor]: Taking taylor expansion of x in x 0.621 * [taylor]: Taking taylor expansion of z in x 0.621 * [taylor]: Taking taylor expansion of (neg (/ 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 (/ 1 z) in z 0.621 * [taylor]: Taking taylor expansion of z in z 0.621 * [taylor]: Taking taylor expansion of 0 in x 0.621 * [taylor]: Taking taylor expansion of 0 in z 0.621 * [taylor]: Taking taylor expansion of 0 in z 0.622 * [taylor]: Taking taylor expansion of 0 in x 0.622 * [taylor]: Taking taylor expansion of 0 in z 0.622 * [taylor]: Taking taylor expansion of 0 in z 0.622 * [taylor]: Taking taylor expansion of 0 in z 0.622 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 0.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 0.622 * [taylor]: Taking taylor expansion of -1 in z 0.622 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 0.622 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.622 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.622 * [taylor]: Taking taylor expansion of x in z 0.622 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.622 * [taylor]: Taking taylor expansion of y in z 0.622 * [taylor]: Taking taylor expansion of z in z 0.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 0.622 * [taylor]: Taking taylor expansion of -1 in x 0.622 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 0.622 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.623 * [taylor]: Taking taylor expansion of y in x 0.623 * [taylor]: Taking taylor expansion of z in x 0.623 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 0.623 * [taylor]: Taking taylor expansion of -1 in y 0.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 0.623 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.623 * [taylor]: Taking taylor expansion of x in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.623 * [taylor]: Taking taylor expansion of y in y 0.623 * [taylor]: Taking taylor expansion of z in y 0.623 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 0.623 * [taylor]: Taking taylor expansion of -1 in y 0.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 0.623 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.623 * [taylor]: Taking taylor expansion of x in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.623 * [taylor]: Taking taylor expansion of y in y 0.623 * [taylor]: Taking taylor expansion of z in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.623 * [taylor]: Taking taylor expansion of z in x 0.623 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x 0.623 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.623 * [taylor]: Taking taylor expansion of (* x z) in x 0.623 * [taylor]: Taking taylor expansion of x in x 0.623 * [taylor]: Taking taylor expansion of z in x 0.623 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.623 * [taylor]: Taking taylor expansion of z in z 0.624 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.624 * [taylor]: Taking taylor expansion of z in z 0.624 * [taylor]: Taking taylor expansion of 0 in x 0.624 * [taylor]: Taking taylor expansion of 0 in z 0.624 * [taylor]: Taking taylor expansion of 0 in z 0.624 * [taylor]: Taking taylor expansion of 0 in x 0.624 * [taylor]: Taking taylor expansion of 0 in z 0.624 * [taylor]: Taking taylor expansion of 0 in z 0.625 * [taylor]: Taking taylor expansion of 0 in z 0.625 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.625 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in (x y z) around 0 0.625 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in z 0.625 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 0.625 * [taylor]: Taking taylor expansion of (* z y) in z 0.625 * [taylor]: Taking taylor expansion of z in z 0.625 * [taylor]: Taking taylor expansion of y in z 0.625 * [taylor]: Taking taylor expansion of x in z 0.625 * [taylor]: Taking taylor expansion of (* x z) in z 0.625 * [taylor]: Taking taylor expansion of x in z 0.625 * [taylor]: Taking taylor expansion of z in z 0.625 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in y 0.625 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.625 * [taylor]: Taking taylor expansion of (* z y) in y 0.625 * [taylor]: Taking taylor expansion of z in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.625 * [taylor]: Taking taylor expansion of (* x z) in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.625 * [taylor]: Taking taylor expansion of z in y 0.625 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x 0.625 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.625 * [taylor]: Taking taylor expansion of (* z y) in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (* x z) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x 0.625 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.625 * [taylor]: Taking taylor expansion of (* z y) in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (* x z) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.626 * [taylor]: Taking taylor expansion of (* z y) in y 0.626 * [taylor]: Taking taylor expansion of z in y 0.626 * [taylor]: Taking taylor expansion of y in y 0.626 * [taylor]: Taking taylor expansion of 0 in z 0.626 * [taylor]: Taking taylor expansion of (- 1 z) in y 0.626 * [taylor]: Taking taylor expansion of 1 in y 0.626 * [taylor]: Taking taylor expansion of z in y 0.626 * [taylor]: Taking taylor expansion of (- 1 z) in z 0.626 * [taylor]: Taking taylor expansion of 1 in z 0.626 * [taylor]: Taking taylor expansion of z in z 0.626 * [taylor]: Taking taylor expansion of z in z 0.626 * [taylor]: Taking taylor expansion of 0 in y 0.626 * [taylor]: Taking taylor expansion of 0 in z 0.626 * [taylor]: Taking taylor expansion of 0 in z 0.626 * [taylor]: Taking taylor expansion of 0 in z 0.626 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in (x y z) around 0 0.626 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in z 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.627 * [taylor]: Taking taylor expansion of (* z y) in z 0.627 * [taylor]: Taking taylor expansion of z in z 0.627 * [taylor]: Taking taylor expansion of y in z 0.627 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.627 * [taylor]: Taking taylor expansion of x in z 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.627 * [taylor]: Taking taylor expansion of (* x z) in z 0.627 * [taylor]: Taking taylor expansion of x in z 0.627 * [taylor]: Taking taylor expansion of z in z 0.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in y 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.627 * [taylor]: Taking taylor expansion of (* z y) in y 0.627 * [taylor]: Taking taylor expansion of z in y 0.627 * [taylor]: Taking taylor expansion of y in y 0.627 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.627 * [taylor]: Taking taylor expansion of x in y 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.627 * [taylor]: Taking taylor expansion of (* x z) in y 0.627 * [taylor]: Taking taylor expansion of x in y 0.627 * [taylor]: Taking taylor expansion of z in y 0.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.627 * [taylor]: Taking taylor expansion of (* z y) in x 0.627 * [taylor]: Taking taylor expansion of z in x 0.627 * [taylor]: Taking taylor expansion of y in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.627 * [taylor]: Taking taylor expansion of (* x z) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of z in x 0.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.627 * [taylor]: Taking taylor expansion of (* z y) in x 0.627 * [taylor]: Taking taylor expansion of z in x 0.627 * [taylor]: Taking taylor expansion of y in x 0.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.628 * [taylor]: Taking taylor expansion of (* x z) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [taylor]: Taking taylor expansion of z in x 0.628 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y 0.628 * [taylor]: Taking taylor expansion of 1 in y 0.628 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.628 * [taylor]: Taking taylor expansion of z in y 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.628 * [taylor]: Taking taylor expansion of (* z y) in y 0.628 * [taylor]: Taking taylor expansion of z in y 0.628 * [taylor]: Taking taylor expansion of y in y 0.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.628 * [taylor]: Taking taylor expansion of z in z 0.628 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 0.628 * [taylor]: Taking taylor expansion of 1 in z 0.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.628 * [taylor]: Taking taylor expansion of z in z 0.628 * [taylor]: Taking taylor expansion of 0 in y 0.629 * [taylor]: Taking taylor expansion of 0 in z 0.629 * [taylor]: Taking taylor expansion of 0 in z 0.629 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in (x y z) around 0 0.629 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in z 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.629 * [taylor]: Taking taylor expansion of (* z y) in z 0.629 * [taylor]: Taking taylor expansion of z in z 0.629 * [taylor]: Taking taylor expansion of y in z 0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.629 * [taylor]: Taking taylor expansion of (* x z) in z 0.629 * [taylor]: Taking taylor expansion of x in z 0.629 * [taylor]: Taking taylor expansion of z in z 0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.629 * [taylor]: Taking taylor expansion of x in z 0.629 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in y 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.629 * [taylor]: Taking taylor expansion of (* z y) in y 0.629 * [taylor]: Taking taylor expansion of z in y 0.629 * [taylor]: Taking taylor expansion of y in y 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.630 * [taylor]: Taking taylor expansion of (* x z) in y 0.630 * [taylor]: Taking taylor expansion of x in y 0.630 * [taylor]: Taking taylor expansion of z in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.630 * [taylor]: Taking taylor expansion of x in y 0.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.630 * [taylor]: Taking taylor expansion of (* z y) in x 0.630 * [taylor]: Taking taylor expansion of z in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.630 * [taylor]: Taking taylor expansion of (* x z) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of z in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.630 * [taylor]: Taking taylor expansion of (* z y) in x 0.630 * [taylor]: Taking taylor expansion of z in x 0.630 * [taylor]: Taking taylor expansion of y in x 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.630 * [taylor]: Taking taylor expansion of (* x z) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of z in x 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) 1)) in y 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.630 * [taylor]: Taking taylor expansion of z in y 0.630 * [taylor]: Taking taylor expansion of 1 in y 0.631 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.631 * [taylor]: Taking taylor expansion of (* z y) in y 0.631 * [taylor]: Taking taylor expansion of z in y 0.631 * [taylor]: Taking taylor expansion of y in y 0.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.631 * [taylor]: Taking taylor expansion of z in z 0.631 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) 1)) in z 0.631 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 0.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.631 * [taylor]: Taking taylor expansion of z in z 0.631 * [taylor]: Taking taylor expansion of 1 in z 0.631 * [taylor]: Taking taylor expansion of 0 in y 0.631 * [taylor]: Taking taylor expansion of 0 in z 0.631 * [taylor]: Taking taylor expansion of 0 in z 0.632 * * * [progress]: simplifying candidates 0.632 * [simplify]: Simplifying using # : (* (- y x) z) (+ (log (- y x)) (log z)) (log (* (- y x) z)) (exp (* (- y x) z)) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z))) (cbrt (* (- y x) z)) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (sqrt (* (- y x) z)) (sqrt (* (- y x) z)) (* (sqrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (sqrt z)) (* (- y x) 1) (* (cbrt (- y x)) z) (* (sqrt (- y x)) z) (* (- y x) z) (* (- (sqrt y) (sqrt x)) z) (* (- y x) z) (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (* (exp x) (exp (* (- y 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 3) (pow (* (- y x) z) 3)) (+ (* x x) (- (* (* (- y x) z) (* (- y x) z)) (* x (* (- y x) z)))) (- (* x x) (* (* (- y x) z) (* (- y x) z))) (- x (* (- y x) z)) 0 (- (* z y) (* x z)) (- (* z y) (* x z)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) 0.635 * * [simplify]: iteration 0 : 163 enodes (cost 162 ) 0.639 * * [simplify]: iteration 1 : 556 enodes (cost 145 ) 0.651 * * [simplify]: iteration 2 : 2758 enodes (cost 145 ) 0.693 * * [simplify]: iteration 3 : 5001 enodes (cost 145 ) 0.695 * [simplify]: Simplified to: (* (- y x) z) (log (* (- y x) z)) (log (* (- y x) z)) (exp (* (- y x) z)) (pow (* (- y x) z) 3) (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z))) (cbrt (* (- y x) z)) (pow (* (- y x) z) 3) (sqrt (* (- y x) z)) (sqrt (* (- y x) z)) (* (sqrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (sqrt z)) (- y x) (* (cbrt (- y x)) z) (* (sqrt (- y x)) z) (* (- y x) z) (* (- (sqrt y) (sqrt x)) z) (* (- y x) z) (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (exp (+ x (* (- y 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))) (pow (+ x (* (- y x) z)) 3) (sqrt (+ x (* (- y x) z))) (sqrt (+ x (* (- y x) z))) (+ (pow x 3) (pow (* (- y x) z) 3)) (+ (* (* (- y x) z) (- (* (- y x) z) x)) (* x x)) (- (* x x) (* (* (- y x) z) (* (- y x) z))) (- x (* (- y x) z)) 0 (* (- y x) z) (* (- y x) z) (+ x (* (- y x) z)) (+ x (* (- y x) z)) (+ x (* (- y x) z)) 0.695 * * * [progress]: adding candidates to table 0.727 * * [progress]: iteration 2 / 4 0.727 * * * [progress]: picking best candidate 0.730 * * * * [pick]: Picked # 0.730 * * * [progress]: localizing error 0.737 * * * [progress]: generating rewritten candidates 0.737 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.746 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.753 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.757 * * * [progress]: generating series expansions 0.757 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.757 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 0.757 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 0.757 * [taylor]: Taking taylor expansion of (- y x) in z 0.757 * [taylor]: Taking taylor expansion of y in z 0.757 * [taylor]: Taking taylor expansion of x in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.757 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 0.757 * [taylor]: Taking taylor expansion of (- y x) in x 0.757 * [taylor]: Taking taylor expansion of y in x 0.757 * [taylor]: Taking taylor expansion of x in x 0.757 * [taylor]: Taking taylor expansion of z in x 0.757 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.757 * [taylor]: Taking taylor expansion of (- y x) in y 0.757 * [taylor]: Taking taylor expansion of y in y 0.757 * [taylor]: Taking taylor expansion of x in y 0.757 * [taylor]: Taking taylor expansion of z in y 0.758 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.758 * [taylor]: Taking taylor expansion of (- y x) in y 0.758 * [taylor]: Taking taylor expansion of y in y 0.758 * [taylor]: Taking taylor expansion of x in y 0.758 * [taylor]: Taking taylor expansion of z in y 0.758 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 0.758 * [taylor]: Taking taylor expansion of -1 in x 0.758 * [taylor]: Taking taylor expansion of (* x z) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of z in x 0.758 * [taylor]: Taking taylor expansion of 0 in z 0.758 * [taylor]: Taking taylor expansion of z in x 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (neg z) in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of 0 in x 0.758 * [taylor]: Taking taylor expansion of 0 in z 0.758 * [taylor]: Taking taylor expansion of 0 in z 0.758 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 0.758 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.758 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.758 * [taylor]: Taking taylor expansion of y in z 0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.758 * [taylor]: Taking taylor expansion of x in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.759 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 0.759 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.759 * [taylor]: Taking taylor expansion of y in x 0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.759 * [taylor]: Taking taylor expansion of x in x 0.759 * [taylor]: Taking taylor expansion of z in x 0.759 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.759 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.759 * [taylor]: Taking taylor expansion of x in y 0.759 * [taylor]: Taking taylor expansion of z in y 0.759 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.759 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.759 * [taylor]: Taking taylor expansion of x in y 0.759 * [taylor]: Taking taylor expansion of z in y 0.759 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.759 * [taylor]: Taking taylor expansion of z in x 0.759 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x 0.759 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.759 * [taylor]: Taking taylor expansion of (* x z) in x 0.759 * [taylor]: Taking taylor expansion of x in x 0.759 * [taylor]: Taking taylor expansion of z in x 0.759 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.759 * [taylor]: Taking taylor expansion of z in z 0.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.759 * [taylor]: Taking taylor expansion of z in z 0.760 * [taylor]: Taking taylor expansion of 0 in x 0.760 * [taylor]: Taking taylor expansion of 0 in z 0.760 * [taylor]: Taking taylor expansion of 0 in z 0.760 * [taylor]: Taking taylor expansion of 0 in x 0.760 * [taylor]: Taking taylor expansion of 0 in z 0.760 * [taylor]: Taking taylor expansion of 0 in z 0.760 * [taylor]: Taking taylor expansion of 0 in z 0.761 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in (y x z) around 0 0.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in z 0.761 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.761 * [taylor]: Taking taylor expansion of x in z 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.761 * [taylor]: Taking taylor expansion of y in z 0.761 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.761 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.761 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.761 * [taylor]: Taking taylor expansion of -1 in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in x 0.761 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.761 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.761 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.761 * [taylor]: Taking taylor expansion of -1 in x 0.761 * [taylor]: Taking taylor expansion of z in x 0.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y 0.761 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.761 * [taylor]: Taking taylor expansion of x in y 0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.761 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.761 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.761 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.762 * [taylor]: Taking taylor expansion of -1 in y 0.762 * [taylor]: Taking taylor expansion of z in y 0.762 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y 0.762 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.762 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.762 * [taylor]: Taking taylor expansion of x in y 0.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.762 * [taylor]: Taking taylor expansion of y in y 0.762 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.762 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.762 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.762 * [taylor]: Taking taylor expansion of -1 in y 0.762 * [taylor]: Taking taylor expansion of z in y 0.762 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 z)) 2)) in x 0.762 * [taylor]: Taking taylor expansion of -1 in x 0.762 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.762 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.762 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.762 * [taylor]: Taking taylor expansion of -1 in x 0.762 * [taylor]: Taking taylor expansion of z in x 0.763 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x 0.763 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.763 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.763 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.763 * [taylor]: Taking taylor expansion of -1 in x 0.763 * [taylor]: Taking taylor expansion of z in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.763 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.763 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.763 * [taylor]: Taking taylor expansion of -1 in z 0.763 * [taylor]: Taking taylor expansion of z in z 0.763 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 z)) 2)) in z 0.763 * [taylor]: Taking taylor expansion of -1 in z 0.763 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.763 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.763 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.763 * [taylor]: Taking taylor expansion of -1 in z 0.763 * [taylor]: Taking taylor expansion of z in z 0.764 * [taylor]: Taking taylor expansion of 0 in x 0.764 * [taylor]: Taking taylor expansion of 0 in z 0.764 * [taylor]: Taking taylor expansion of 0 in z 0.765 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.765 * [approximate]: Taking taylor expansion of (* (- y x) (sqrt z)) in (y x z) around 0 0.765 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in z 0.765 * [taylor]: Taking taylor expansion of (- y x) in z 0.765 * [taylor]: Taking taylor expansion of y in z 0.765 * [taylor]: Taking taylor expansion of x in z 0.765 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.765 * [taylor]: Taking taylor expansion of z in z 0.765 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in x 0.765 * [taylor]: Taking taylor expansion of (- y x) in x 0.765 * [taylor]: Taking taylor expansion of y in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.765 * [taylor]: Taking taylor expansion of z in x 0.765 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y 0.765 * [taylor]: Taking taylor expansion of (- y x) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of x in y 0.765 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.765 * [taylor]: Taking taylor expansion of z in y 0.765 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y 0.765 * [taylor]: Taking taylor expansion of (- y x) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of x in y 0.765 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.765 * [taylor]: Taking taylor expansion of z in y 0.766 * [taylor]: Taking taylor expansion of (* -1 (* x (sqrt z))) in x 0.766 * [taylor]: Taking taylor expansion of -1 in x 0.766 * [taylor]: Taking taylor expansion of (* x (sqrt z)) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.766 * [taylor]: Taking taylor expansion of z in x 0.766 * [taylor]: Taking taylor expansion of 0 in z 0.766 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.766 * [taylor]: Taking taylor expansion of z in x 0.766 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.766 * [taylor]: Taking taylor expansion of z in z 0.766 * [taylor]: Taking taylor expansion of (neg (sqrt z)) in z 0.766 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.766 * [taylor]: Taking taylor expansion of z in z 0.766 * [taylor]: Taking taylor expansion of 0 in x 0.766 * [taylor]: Taking taylor expansion of 0 in z 0.766 * [taylor]: Taking taylor expansion of 0 in z 0.766 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in (y x z) around 0 0.766 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z 0.766 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.766 * [taylor]: Taking taylor expansion of z in z 0.766 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.767 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.767 * [taylor]: Taking taylor expansion of y in z 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.767 * [taylor]: Taking taylor expansion of x in z 0.767 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x 0.767 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.767 * [taylor]: Taking taylor expansion of z in x 0.767 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 0.767 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.767 * [taylor]: Taking taylor expansion of z in y 0.767 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.767 * [taylor]: Taking taylor expansion of y in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.767 * [taylor]: Taking taylor expansion of x in y 0.767 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 0.767 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.767 * [taylor]: Taking taylor expansion of z in y 0.767 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.767 * [taylor]: Taking taylor expansion of y in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.767 * [taylor]: Taking taylor expansion of x in y 0.767 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.767 * [taylor]: Taking taylor expansion of z in x 0.768 * [taylor]: Taking taylor expansion of (neg (* (/ 1 x) (sqrt (/ 1 z)))) in x 0.768 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 z))) in x 0.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.768 * [taylor]: Taking taylor expansion of x in x 0.768 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.768 * [taylor]: Taking taylor expansion of z in x 0.768 * [taylor]: Taking taylor expansion of (neg (sqrt (/ 1 z))) in z 0.768 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.768 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.769 * [taylor]: Taking taylor expansion of 0 in x 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.769 * [taylor]: Taking taylor expansion of 0 in x 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.769 * [taylor]: Taking taylor expansion of 0 in z 0.770 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in (y x z) around 0 0.770 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in z 0.770 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.770 * [taylor]: Taking taylor expansion of x in z 0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.770 * [taylor]: Taking taylor expansion of y in z 0.770 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.770 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.770 * [taylor]: Taking taylor expansion of -1 in z 0.770 * [taylor]: Taking taylor expansion of z in z 0.770 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in x 0.770 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.770 * [taylor]: Taking taylor expansion of x in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.770 * [taylor]: Taking taylor expansion of y in x 0.770 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.770 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.770 * [taylor]: Taking taylor expansion of -1 in x 0.770 * [taylor]: Taking taylor expansion of z in x 0.771 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y 0.771 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.771 * [taylor]: Taking taylor expansion of x in y 0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.771 * [taylor]: Taking taylor expansion of y in y 0.771 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.771 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.771 * [taylor]: Taking taylor expansion of -1 in y 0.771 * [taylor]: Taking taylor expansion of z in y 0.771 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y 0.771 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.771 * [taylor]: Taking taylor expansion of x in y 0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.771 * [taylor]: Taking taylor expansion of y in y 0.771 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.771 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.771 * [taylor]: Taking taylor expansion of -1 in y 0.771 * [taylor]: Taking taylor expansion of z in y 0.771 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in x 0.771 * [taylor]: Taking taylor expansion of -1 in x 0.771 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.771 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.771 * [taylor]: Taking taylor expansion of -1 in x 0.771 * [taylor]: Taking taylor expansion of z in x 0.771 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) x) in x 0.772 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.772 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.772 * [taylor]: Taking taylor expansion of -1 in x 0.772 * [taylor]: Taking taylor expansion of z in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.772 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.772 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.772 * [taylor]: Taking taylor expansion of -1 in z 0.772 * [taylor]: Taking taylor expansion of z in z 0.772 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 0.772 * [taylor]: Taking taylor expansion of -1 in z 0.772 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.772 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.772 * [taylor]: Taking taylor expansion of -1 in z 0.772 * [taylor]: Taking taylor expansion of z in z 0.772 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [taylor]: Taking taylor expansion of 0 in z 0.772 * [taylor]: Taking taylor expansion of 0 in z 0.773 * [taylor]: Taking taylor expansion of 0 in x 0.773 * [taylor]: Taking taylor expansion of 0 in z 0.773 * [taylor]: Taking taylor expansion of 0 in z 0.773 * [taylor]: Taking taylor expansion of 0 in z 0.774 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.774 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in (x y z) around 0 0.774 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in z 0.774 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 0.774 * [taylor]: Taking taylor expansion of (* z y) in z 0.774 * [taylor]: Taking taylor expansion of z in z 0.774 * [taylor]: Taking taylor expansion of y in z 0.774 * [taylor]: Taking taylor expansion of x in z 0.774 * [taylor]: Taking taylor expansion of (* x z) in z 0.774 * [taylor]: Taking taylor expansion of x in z 0.774 * [taylor]: Taking taylor expansion of z in z 0.774 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in y 0.774 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.774 * [taylor]: Taking taylor expansion of (* z y) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of x in y 0.774 * [taylor]: Taking taylor expansion of (* x z) in y 0.774 * [taylor]: Taking taylor expansion of x in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x 0.774 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.774 * [taylor]: Taking taylor expansion of (* z y) in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (* x z) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.774 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x 0.774 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.774 * [taylor]: Taking taylor expansion of (* z y) in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (* x z) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.775 * [taylor]: Taking taylor expansion of (* z y) in y 0.775 * [taylor]: Taking taylor expansion of z in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of 0 in z 0.775 * [taylor]: Taking taylor expansion of (- 1 z) in y 0.775 * [taylor]: Taking taylor expansion of 1 in y 0.775 * [taylor]: Taking taylor expansion of z in y 0.775 * [taylor]: Taking taylor expansion of (- 1 z) in z 0.775 * [taylor]: Taking taylor expansion of 1 in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.775 * [taylor]: Taking taylor expansion of 0 in y 0.775 * [taylor]: Taking taylor expansion of 0 in z 0.775 * [taylor]: Taking taylor expansion of 0 in z 0.775 * [taylor]: Taking taylor expansion of 0 in z 0.775 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in (x y z) around 0 0.775 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in z 0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.776 * [taylor]: Taking taylor expansion of (* z y) in z 0.776 * [taylor]: Taking taylor expansion of z in z 0.776 * [taylor]: Taking taylor expansion of y in z 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.776 * [taylor]: Taking taylor expansion of x in z 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.776 * [taylor]: Taking taylor expansion of (* x z) in z 0.776 * [taylor]: Taking taylor expansion of x in z 0.776 * [taylor]: Taking taylor expansion of z in z 0.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in y 0.776 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.776 * [taylor]: Taking taylor expansion of (* z y) in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.776 * [taylor]: Taking taylor expansion of x in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.776 * [taylor]: Taking taylor expansion of (* x z) in y 0.776 * [taylor]: Taking taylor expansion of x in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x 0.776 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.776 * [taylor]: Taking taylor expansion of (* z y) in x 0.776 * [taylor]: Taking taylor expansion of z in x 0.776 * [taylor]: Taking taylor expansion of y in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.776 * [taylor]: Taking taylor expansion of (* x z) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.776 * [taylor]: Taking taylor expansion of z in x 0.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x 0.776 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.776 * [taylor]: Taking taylor expansion of (* z y) in x 0.776 * [taylor]: Taking taylor expansion of z in x 0.776 * [taylor]: Taking taylor expansion of y in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.776 * [taylor]: Taking taylor expansion of (* x z) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of z in x 0.777 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y 0.777 * [taylor]: Taking taylor expansion of 1 in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.777 * [taylor]: Taking taylor expansion of z in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.777 * [taylor]: Taking taylor expansion of (* z y) in y 0.777 * [taylor]: Taking taylor expansion of z in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.777 * [taylor]: Taking taylor expansion of z in z 0.777 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 0.777 * [taylor]: Taking taylor expansion of 1 in z 0.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.777 * [taylor]: Taking taylor expansion of z in z 0.777 * [taylor]: Taking taylor expansion of 0 in y 0.778 * [taylor]: Taking taylor expansion of 0 in z 0.778 * [taylor]: Taking taylor expansion of 0 in z 0.778 * [approximate]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in (x y z) around 0 0.778 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in z 0.778 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in z 0.778 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.778 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.778 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.778 * [taylor]: Taking taylor expansion of -1 in z 0.778 * [taylor]: Taking taylor expansion of z in z 0.778 * [taylor]: Taking taylor expansion of x in z 0.778 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in z 0.778 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in z 0.778 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.778 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.778 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.778 * [taylor]: Taking taylor expansion of -1 in z 0.778 * [taylor]: Taking taylor expansion of z in z 0.778 * [taylor]: Taking taylor expansion of y in z 0.779 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.779 * [taylor]: Taking taylor expansion of x in z 0.779 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in y 0.779 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in y 0.779 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.779 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.779 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.779 * [taylor]: Taking taylor expansion of -1 in y 0.779 * [taylor]: Taking taylor expansion of z in y 0.779 * [taylor]: Taking taylor expansion of x in y 0.779 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in y 0.779 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y 0.779 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.779 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.779 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.779 * [taylor]: Taking taylor expansion of -1 in y 0.779 * [taylor]: Taking taylor expansion of z in y 0.779 * [taylor]: Taking taylor expansion of y in y 0.779 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.779 * [taylor]: Taking taylor expansion of x in y 0.779 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in x 0.779 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x 0.779 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.779 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.779 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.779 * [taylor]: Taking taylor expansion of -1 in x 0.779 * [taylor]: Taking taylor expansion of z in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in x 0.780 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in x 0.780 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.780 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.780 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.780 * [taylor]: Taking taylor expansion of -1 in x 0.780 * [taylor]: Taking taylor expansion of z in x 0.780 * [taylor]: Taking taylor expansion of y in x 0.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in x 0.780 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x 0.780 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.780 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.780 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.780 * [taylor]: Taking taylor expansion of -1 in x 0.780 * [taylor]: Taking taylor expansion of z in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in x 0.780 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in x 0.780 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.780 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.781 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.781 * [taylor]: Taking taylor expansion of -1 in x 0.781 * [taylor]: Taking taylor expansion of z in x 0.781 * [taylor]: Taking taylor expansion of y in x 0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of (- (pow (sqrt (/ -1 z)) 2) 1) in y 0.781 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.781 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.781 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.781 * [taylor]: Taking taylor expansion of -1 in y 0.781 * [taylor]: Taking taylor expansion of z in y 0.781 * [taylor]: Taking taylor expansion of 1 in y 0.782 * [taylor]: Taking taylor expansion of (neg (/ (pow (sqrt (/ -1 z)) 2) y)) in y 0.782 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y 0.782 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.782 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.782 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.782 * [taylor]: Taking taylor expansion of -1 in y 0.782 * [taylor]: Taking taylor expansion of z in y 0.782 * [taylor]: Taking taylor expansion of y in y 0.782 * [taylor]: Taking taylor expansion of (neg (pow (sqrt (/ -1 z)) 2)) in z 0.782 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.782 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.782 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.782 * [taylor]: Taking taylor expansion of -1 in z 0.782 * [taylor]: Taking taylor expansion of z in z 0.782 * [taylor]: Taking taylor expansion of (- (pow (sqrt (/ -1 z)) 2) 1) in z 0.782 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.782 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.782 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.782 * [taylor]: Taking taylor expansion of -1 in z 0.783 * [taylor]: Taking taylor expansion of z in z 0.783 * [taylor]: Taking taylor expansion of 1 in z 0.783 * [taylor]: Taking taylor expansion of 0 in y 0.783 * [taylor]: Taking taylor expansion of 0 in z 0.783 * [taylor]: Taking taylor expansion of 0 in z 0.784 * * * [progress]: simplifying candidates 0.785 * [simplify]: Simplifying using # : (* (* (- y x) (sqrt z)) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt z)) (+ (+ (log (- y x)) (log (sqrt z))) (log (sqrt z))) (+ (log (* (- y x) (sqrt z))) (log (sqrt z))) (log (* (* (- y x) (sqrt z)) (sqrt z))) (exp (* (* (- y x) (sqrt z)) (sqrt z))) (* (* (* (* (- y x) (- y x)) (- y x)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (- y x) (sqrt z)) (* (- y x) (sqrt z))) (* (- y x) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (* (- y x) (sqrt z)) (sqrt z))) (cbrt (* (* (- y x) (sqrt z)) (sqrt z)))) (cbrt (* (* (- y x) (sqrt z)) (sqrt z))) (* (* (* (* (- y x) (sqrt z)) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt z))) (* (* (- y x) (sqrt z)) (sqrt z))) (sqrt (* (* (- y x) (sqrt z)) (sqrt z))) (sqrt (* (* (- y x) (sqrt z)) (sqrt z))) (* (* (- y x) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (- y x) (sqrt z)) (sqrt (* (cbrt z) (cbrt z)))) (* (* (- y x) (sqrt z)) (sqrt (sqrt z))) (* (* (- y x) (sqrt z)) (sqrt 1)) (* (* (- y x) (sqrt z)) (sqrt (sqrt z))) (* (* (- y x) (sqrt z)) 1) (* (sqrt z) (sqrt z)) (* (* (- (pow y 3) (pow x 3)) (sqrt z)) (sqrt z)) (* (* (- (* y y) (* x x)) (sqrt z)) (sqrt z)) (* (- y x) (sqrt z)) (+ (log (- y x)) (log (sqrt z))) (log (* (- y x) (sqrt z))) (exp (* (- y x) (sqrt z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (- y x) (sqrt z))) (cbrt (* (- y x) (sqrt z)))) (cbrt (* (- y x) (sqrt z))) (* (* (* (- y x) (sqrt z)) (* (- y x) (sqrt z))) (* (- y x) (sqrt z))) (sqrt (* (- y x) (sqrt z))) (sqrt (* (- y x) (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (- y x) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (- y x) (sqrt (* (cbrt z) (cbrt z)))) (* (- y x) (sqrt (sqrt z))) (* (- y x) (sqrt 1)) (* (- y x) (sqrt (sqrt z))) (* (- y x) 1) (* (cbrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (sqrt z)) (* (- (sqrt y) (sqrt x)) (sqrt z)) (* (- y x) (sqrt z)) (* (- (pow y 3) (pow x 3)) (sqrt z)) (* (- (* y y) (* x x)) (sqrt z)) (* (exp x) (exp (* (* (- y x) (sqrt z)) (sqrt z)))) (log (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (exp (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (* (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))) (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (* (* (+ x (* (* (- y x) (sqrt z)) (sqrt z))) (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (+ (pow x 3) (pow (* (* (- y x) (sqrt z)) (sqrt z)) 3)) (+ (* x x) (- (* (* (* (- y x) (sqrt z)) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt z))) (* x (* (* (- y x) (sqrt z)) (sqrt z))))) (- (* x x) (* (* (* (- y x) (sqrt z)) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt z)))) (- x (* (* (- y x) (sqrt z)) (sqrt z))) 0 (- (* z y) (* x z)) (- (+ (* 2 (/ (* x (pow NAN 4)) z)) (* (pow NAN 2) y)) (* x (pow NAN 2))) 0 (- (* NAN y) (+ (/ (* x (pow NAN 3)) z) (* x NAN))) (- (+ (/ (* x (pow NAN 3)) z) (* NAN y)) (* x NAN)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) (- (+ x (* (pow NAN 2) y)) (+ (* x (pow NAN 2)) (* 2 (/ (* (pow NAN 4) y) z)))) 0.789 * * [simplify]: iteration 0 : 316 enodes (cost 411 ) 0.795 * * [simplify]: iteration 1 : 1323 enodes (cost 347 ) 0.820 * * [simplify]: iteration 2 : 5001 enodes (cost 337 ) 0.822 * [simplify]: Simplified to: (* (- y x) z) (* (- y x) z) (+ (log (- y x)) (log z)) (+ (log (- y x)) (log z)) (+ (log (- y x)) (log z)) (pow (exp (- y x)) z) (pow (* (- y x) z) 3) (pow (* (- y x) z) 3) (* (cbrt (* (* (- y x) (sqrt z)) (sqrt z))) (cbrt (* (* (- y x) (sqrt z)) (sqrt z)))) (cbrt (* (* (- y x) (sqrt z)) (sqrt z))) (pow (* (- y x) z) 3) (sqrt (* (* (- y x) (sqrt z)) (sqrt z))) (sqrt (* (* (- y x) (sqrt z)) (sqrt z))) (* (* (- y x) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (- y x) (* (sqrt z) (fabs (cbrt z)))) (* (* (- y x) (sqrt z)) (sqrt (sqrt z))) (* (- y x) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt (sqrt z))) (* (- y x) (sqrt z)) z (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (* (- y x) (sqrt z)) (log (* (- y x) (sqrt z))) (log (* (- y x) (sqrt z))) (exp (* (- y x) (sqrt z))) (pow (* (- y x) (sqrt z)) 3) (* (cbrt (* (- y x) (sqrt z))) (cbrt (* (- y x) (sqrt z)))) (cbrt (* (- y x) (sqrt z))) (pow (* (- y x) (sqrt z)) 3) (sqrt (* (- y x) (sqrt z))) (sqrt (* (- y x) (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (sqrt (- y x)) (sqrt (sqrt z))) (* (- y x) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (fabs (cbrt z)) (- y x)) (* (- y x) (sqrt (sqrt z))) (- y x) (* (- y x) (sqrt (sqrt z))) (- y x) (* (cbrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (sqrt z)) (* (- (sqrt y) (sqrt x)) (sqrt z)) (* (- y x) (sqrt z)) (* (- (pow y 3) (pow x 3)) (sqrt z)) (* (- (* y y) (* x x)) (sqrt z)) (exp (+ x (* z (- y x)))) (log (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (exp (+ x (* z (- y x)))) (* (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))) (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (pow (+ (* (- y x) z) x) 3) (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (+ (pow x 3) (pow (* (* (- y x) (sqrt z)) (sqrt z)) 3)) (- (* (* (* (- y x) (- y x)) z) z) (- (* (* (- y x) z) x) (* x x))) (+ (* x x) (neg (* (* (* (- y x) (- y x)) z) z))) (+ x (neg (* (- y x) z))) 0 (* (- y x) z) (+ (* (pow NAN 2) (- y x)) (* 2 (/ (* x (pow NAN 4)) z))) 0 (- (* NAN (- y x)) (/ (* x (pow NAN 3)) z)) (+ (* NAN (- y x)) (/ (* x (pow NAN 3)) z)) (+ x (* z (- y x))) (+ x (* z (- y x))) (+ (- (* (pow NAN 2) (- y x)) (* 2 (/ (* (pow NAN 4) y) z))) x) 0.823 * * * [progress]: adding candidates to table 0.876 * [progress]: [Phase 3 of 3] Extracting. 0.876 * * [regime]: Finding splitpoints for: (# #) 0.876 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (- y x) z)) z y x) 0.876 * * * * [regimes]: Trying to branch on (+ x (* (- y x) z)) from (# #) 0.915 * * * * [regimes]: Trying to branch on z from (# #) 0.953 * * * * [regimes]: Trying to branch on y from (# #) 0.988 * * * * [regimes]: Trying to branch on x from (# #) 1.027 * * * [regime]: Found split indices: #