40.132 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.476 * * * [progress]: [2/2] Setting up program. 0.479 * [progress]: [Phase 2 of 3] Improving. 0.480 * [simplify]: Simplifying using # : (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 0.594 * * [simplify]: iteration 0 : 1743 enodes (cost 9 ) 0.594 * * [simplify]: iteration 1 : 1743 enodes (cost 9 ) 0.595 * [simplify]: Simplified to: (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 0.595 * * [progress]: iteration 1 / 4 0.595 * * * [progress]: picking best candidate 0.598 * * * * [pick]: Picked # 0.598 * * * [progress]: localizing error 0.605 * * * [progress]: generating rewritten candidates 0.605 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.616 * * * [progress]: generating series expansions 0.616 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.616 * [approximate]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in (x y z t) around 0 0.616 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in t 0.616 * [taylor]: Taking taylor expansion of 1/2 in t 0.616 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t 0.616 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t 0.616 * [taylor]: Taking taylor expansion of (+ x y) in t 0.616 * [taylor]: Taking taylor expansion of x in t 0.616 * [taylor]: Taking taylor expansion of y in t 0.616 * [taylor]: Taking taylor expansion of z in t 0.616 * [taylor]: Taking taylor expansion of t in t 0.616 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in z 0.616 * [taylor]: Taking taylor expansion of 1/2 in z 0.616 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z 0.616 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z 0.617 * [taylor]: Taking taylor expansion of (+ x y) in z 0.617 * [taylor]: Taking taylor expansion of x in z 0.617 * [taylor]: Taking taylor expansion of y in z 0.617 * [taylor]: Taking taylor expansion of z in z 0.617 * [taylor]: Taking taylor expansion of t in z 0.617 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in y 0.617 * [taylor]: Taking taylor expansion of 1/2 in y 0.617 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y 0.617 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y 0.617 * [taylor]: Taking taylor expansion of (+ x y) in y 0.617 * [taylor]: Taking taylor expansion of x in y 0.617 * [taylor]: Taking taylor expansion of y in y 0.617 * [taylor]: Taking taylor expansion of z in y 0.617 * [taylor]: Taking taylor expansion of t in y 0.617 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in x 0.617 * [taylor]: Taking taylor expansion of 1/2 in x 0.617 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 0.617 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 0.617 * [taylor]: Taking taylor expansion of (+ x y) in x 0.617 * [taylor]: Taking taylor expansion of x in x 0.617 * [taylor]: Taking taylor expansion of y in x 0.617 * [taylor]: Taking taylor expansion of z in x 0.617 * [taylor]: Taking taylor expansion of t in x 0.617 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in x 0.617 * [taylor]: Taking taylor expansion of 1/2 in x 0.617 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 0.617 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 0.617 * [taylor]: Taking taylor expansion of (+ x y) in x 0.617 * [taylor]: Taking taylor expansion of x in x 0.617 * [taylor]: Taking taylor expansion of y in x 0.617 * [taylor]: Taking taylor expansion of z in x 0.617 * [taylor]: Taking taylor expansion of t in x 0.617 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- y z) t)) in y 0.617 * [taylor]: Taking taylor expansion of 1/2 in y 0.617 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y 0.618 * [taylor]: Taking taylor expansion of (- y z) in y 0.618 * [taylor]: Taking taylor expansion of y in y 0.618 * [taylor]: Taking taylor expansion of z in y 0.618 * [taylor]: Taking taylor expansion of t in y 0.618 * [taylor]: Taking taylor expansion of (* -1/2 (/ z t)) in z 0.618 * [taylor]: Taking taylor expansion of -1/2 in z 0.618 * [taylor]: Taking taylor expansion of (/ z t) in z 0.618 * [taylor]: Taking taylor expansion of z in z 0.618 * [taylor]: Taking taylor expansion of t in z 0.618 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 t)) in y 0.618 * [taylor]: Taking taylor expansion of 1/2 in y 0.618 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.618 * [taylor]: Taking taylor expansion of t in y 0.618 * [taylor]: Taking taylor expansion of (/ 1/2 t) in z 0.618 * [taylor]: Taking taylor expansion of 1/2 in z 0.618 * [taylor]: Taking taylor expansion of t in z 0.618 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.618 * [taylor]: Taking taylor expansion of 1/2 in t 0.618 * [taylor]: Taking taylor expansion of t in t 0.619 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 t)) in z 0.619 * [taylor]: Taking taylor expansion of 1/2 in z 0.619 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.619 * [taylor]: Taking taylor expansion of t in z 0.619 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.619 * [taylor]: Taking taylor expansion of 1/2 in t 0.619 * [taylor]: Taking taylor expansion of t in t 0.619 * [taylor]: Taking taylor expansion of (/ -1/2 t) in t 0.619 * [taylor]: Taking taylor expansion of -1/2 in t 0.619 * [taylor]: Taking taylor expansion of t in t 0.619 * [approximate]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0 0.620 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t 0.620 * [taylor]: Taking taylor expansion of 1/2 in t 0.620 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t 0.620 * [taylor]: Taking taylor expansion of t in t 0.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.620 * [taylor]: Taking taylor expansion of y in t 0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.620 * [taylor]: Taking taylor expansion of x in t 0.620 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.620 * [taylor]: Taking taylor expansion of z in t 0.620 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z 0.620 * [taylor]: Taking taylor expansion of 1/2 in z 0.620 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z 0.620 * [taylor]: Taking taylor expansion of t in z 0.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 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 (/ 1 z) in z 0.620 * [taylor]: Taking taylor expansion of z in z 0.620 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y 0.620 * [taylor]: Taking taylor expansion of 1/2 in y 0.620 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y 0.620 * [taylor]: Taking taylor expansion of t in y 0.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 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 (/ 1 z) in y 0.620 * [taylor]: Taking taylor expansion of z in y 0.620 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x 0.620 * [taylor]: Taking taylor expansion of 1/2 in x 0.620 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x 0.620 * [taylor]: Taking taylor expansion of t in x 0.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 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.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.621 * [taylor]: Taking taylor expansion of x in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.621 * [taylor]: Taking taylor expansion of z in x 0.621 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x 0.621 * [taylor]: Taking taylor expansion of 1/2 in x 0.621 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x 0.621 * [taylor]: Taking taylor expansion of t in x 0.621 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.621 * [taylor]: Taking taylor expansion of y in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.621 * [taylor]: Taking taylor expansion of x in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.621 * [taylor]: Taking taylor expansion of z in x 0.621 * [taylor]: Taking taylor expansion of (* 1/2 t) in y 0.621 * [taylor]: Taking taylor expansion of 1/2 in y 0.621 * [taylor]: Taking taylor expansion of t in y 0.621 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ t y)) (* 1/2 (/ t z))) in y 0.621 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.621 * [taylor]: Taking taylor expansion of 1/2 in y 0.621 * [taylor]: Taking taylor expansion of (/ t y) in y 0.621 * [taylor]: Taking taylor expansion of t in y 0.621 * [taylor]: Taking taylor expansion of y in y 0.622 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.622 * [taylor]: Taking taylor expansion of 1/2 in y 0.622 * [taylor]: Taking taylor expansion of (/ t z) in y 0.622 * [taylor]: Taking taylor expansion of t in y 0.622 * [taylor]: Taking taylor expansion of z in y 0.622 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.622 * [taylor]: Taking taylor expansion of 1/2 in z 0.622 * [taylor]: Taking taylor expansion of t in z 0.622 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.622 * [taylor]: Taking taylor expansion of 1/2 in z 0.622 * [taylor]: Taking taylor expansion of t in z 0.622 * [taylor]: Taking taylor expansion of 0 in y 0.622 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ t z))) in z 0.622 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.622 * [taylor]: Taking taylor expansion of 1/2 in z 0.622 * [taylor]: Taking taylor expansion of (/ t z) in z 0.622 * [taylor]: Taking taylor expansion of t in z 0.622 * [taylor]: Taking taylor expansion of z in z 0.623 * [taylor]: Taking taylor expansion of (neg (* 1/2 t)) in t 0.623 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.623 * [taylor]: Taking taylor expansion of 1/2 in t 0.623 * [taylor]: Taking taylor expansion of t in t 0.623 * [taylor]: Taking taylor expansion of 0 in z 0.623 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.623 * [taylor]: Taking taylor expansion of 1/2 in t 0.623 * [taylor]: Taking taylor expansion of t in t 0.623 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.623 * [taylor]: Taking taylor expansion of 1/2 in t 0.623 * [taylor]: Taking taylor expansion of t in t 0.623 * [taylor]: Taking taylor expansion of 0 in y 0.623 * [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 z 0.624 * [taylor]: Taking taylor expansion of 0 in t 0.624 * [taylor]: Taking taylor expansion of 0 in t 0.624 * [taylor]: Taking taylor expansion of 0 in t 0.624 * [approximate]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0 0.624 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t 0.624 * [taylor]: Taking taylor expansion of -1/2 in t 0.624 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t 0.624 * [taylor]: Taking taylor expansion of t in t 0.624 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t 0.624 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.624 * [taylor]: Taking taylor expansion of z in t 0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.624 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.624 * [taylor]: Taking taylor expansion of y in t 0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.624 * [taylor]: Taking taylor expansion of x in t 0.624 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z 0.624 * [taylor]: Taking taylor expansion of -1/2 in z 0.624 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z 0.624 * [taylor]: Taking taylor expansion of t in z 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z 0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.625 * [taylor]: Taking taylor expansion of z in z 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.625 * [taylor]: Taking taylor expansion of y in z 0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.625 * [taylor]: Taking taylor expansion of x in z 0.625 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y 0.625 * [taylor]: Taking taylor expansion of -1/2 in y 0.625 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y 0.625 * [taylor]: Taking taylor expansion of t in y 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y 0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.625 * [taylor]: Taking taylor expansion of z in y 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.625 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x 0.625 * [taylor]: Taking taylor expansion of -1/2 in x 0.625 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 0.625 * [taylor]: Taking taylor expansion of t in x 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x 0.625 * [taylor]: Taking taylor expansion of -1/2 in x 0.625 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 0.625 * [taylor]: Taking taylor expansion of t in x 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (* 1/2 t) in y 0.626 * [taylor]: Taking taylor expansion of 1/2 in y 0.626 * [taylor]: Taking taylor expansion of t in y 0.626 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ t y)) (* 1/2 (/ t z))) in y 0.626 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.626 * [taylor]: Taking taylor expansion of 1/2 in y 0.626 * [taylor]: Taking taylor expansion of (/ t y) in y 0.626 * [taylor]: Taking taylor expansion of t in y 0.626 * [taylor]: Taking taylor expansion of y in y 0.626 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.626 * [taylor]: Taking taylor expansion of 1/2 in y 0.626 * [taylor]: Taking taylor expansion of (/ t z) in y 0.626 * [taylor]: Taking taylor expansion of t in y 0.626 * [taylor]: Taking taylor expansion of z in y 0.626 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.626 * [taylor]: Taking taylor expansion of 1/2 in z 0.626 * [taylor]: Taking taylor expansion of t in z 0.626 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.626 * [taylor]: Taking taylor expansion of 1/2 in z 0.626 * [taylor]: Taking taylor expansion of t in z 0.627 * [taylor]: Taking taylor expansion of 0 in y 0.627 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ t z))) in z 0.627 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.627 * [taylor]: Taking taylor expansion of 1/2 in z 0.627 * [taylor]: Taking taylor expansion of (/ t z) in z 0.627 * [taylor]: Taking taylor expansion of t in z 0.627 * [taylor]: Taking taylor expansion of z in z 0.627 * [taylor]: Taking taylor expansion of (neg (* 1/2 t)) in t 0.627 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.627 * [taylor]: Taking taylor expansion of 1/2 in t 0.627 * [taylor]: Taking taylor expansion of t in t 0.627 * [taylor]: Taking taylor expansion of 0 in z 0.627 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.627 * [taylor]: Taking taylor expansion of 1/2 in t 0.627 * [taylor]: Taking taylor expansion of t in t 0.627 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.628 * [taylor]: Taking taylor expansion of 1/2 in t 0.628 * [taylor]: Taking taylor expansion of t in t 0.628 * [taylor]: Taking taylor expansion of 0 in y 0.628 * [taylor]: Taking taylor expansion of 0 in z 0.628 * [taylor]: Taking taylor expansion of 0 in z 0.628 * [taylor]: Taking taylor expansion of 0 in z 0.628 * [taylor]: Taking taylor expansion of 0 in t 0.628 * [taylor]: Taking taylor expansion of 0 in t 0.629 * [taylor]: Taking taylor expansion of 0 in t 0.629 * * * [progress]: simplifying candidates 0.629 * [simplify]: Simplifying using # : (-.f64 (log.f64 (-.f64 (+.f64 x y) z)) (+.f64 (log.f64 t) (log.f64 2))) (-.f64 (log.f64 (-.f64 (+.f64 x y) z)) (log.f64 (*.f64 t 2))) (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (exp.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (/.f64 (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z)) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 2 2) 2))) (/.f64 (*.f64 (*.f64 (-.f64 (+.f64 x y) z) (-.f64 (+.f64 x y) z)) (-.f64 (+.f64 x y) z)) (*.f64 (*.f64 (*.f64 t 2) (*.f64 t 2)) (*.f64 t 2))) (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (*.f64 (*.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (neg.f64 (-.f64 (+.f64 x y) z)) (neg.f64 (*.f64 t 2)) (/.f64 (+.f64 x y) (*.f64 t 2)) (/.f64 z (*.f64 t 2)) (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) t) (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) 2) (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) t) (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 2) (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2) (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) t) (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 2) (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2) (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2) (/.f64 1 (*.f64 t 2)) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (/.f64 (-.f64 (+.f64 x y) z) t) (/.f64 (*.f64 t 2) (cbrt.f64 (-.f64 (+.f64 x y) z))) (/.f64 (*.f64 t 2) (sqrt.f64 (-.f64 (+.f64 x y) z))) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (/.f64 (*.f64 t 2) (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z))) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (/.f64 (*.f64 t 2) (-.f64 (+.f64 x y) z)) (*.f64 (*.f64 t 2) (+.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) z)))) (*.f64 (*.f64 t 2) (+.f64 (+.f64 x y) z)) (-.f64 (+.f64 (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 x t))) (*.f64 1/2 (/.f64 z t))) 0 0 0.652 * * [simplify]: iteration 0 : 5205 enodes (cost 348 ) 0.654 * [simplify]: Simplified to: (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (log.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 x y) z) t))) (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 3) (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)))) (cbrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (pow.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 3) (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (sqrt.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))) (-.f64 z (+.f64 x y)) (*.f64 t -2) (/.f64 (+.f64 x y) (*.f64 t 2)) (/.f64 z (*.f64 t 2)) (/.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) (cbrt.f64 (-.f64 (+.f64 x y) z))) t) (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) 2) (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) t) (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 2) (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2) (/.f64 (+.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) t) (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 2) (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2) (/.f64 1 t) (/.f64 (-.f64 (+.f64 x y) z) 2) (/.f64 1/2 t) (/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2)) (/.f64 (-.f64 (+.f64 x y) z) t) (/.f64 t (/.f64 (cbrt.f64 (-.f64 (+.f64 x y) z)) 2)) (/.f64 t (/.f64 (sqrt.f64 (-.f64 (+.f64 x y) z)) 2)) (/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2)) (/.f64 t (/.f64 (-.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 z)) 2)) (/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2)) (/.f64 t (/.f64 (-.f64 (+.f64 x y) z) 2)) (*.f64 (*.f64 t 2) (+.f64 (*.f64 z z) (*.f64 (+.f64 x y) (+.f64 (+.f64 x y) z)))) (*.f64 (*.f64 t 2) (+.f64 (+.f64 x y) z)) (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))) 0 0 0.655 * * * [progress]: adding candidates to table 0.685 * * [progress]: iteration 2 / 4 0.685 * * * [progress]: picking best candidate 0.692 * * * * [pick]: Picked # 0.692 * * * [progress]: localizing error 0.701 * * * [progress]: generating rewritten candidates 0.701 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.710 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.719 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.729 * * * [progress]: generating series expansions 0.729 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.729 * [approximate]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in (t x y) around 0 0.729 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in y 0.729 * [taylor]: Taking taylor expansion of 1/2 in y 0.729 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y 0.729 * [taylor]: Taking taylor expansion of (+ x y) in y 0.729 * [taylor]: Taking taylor expansion of x in y 0.729 * [taylor]: Taking taylor expansion of y in y 0.729 * [taylor]: Taking taylor expansion of t in y 0.729 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in x 0.729 * [taylor]: Taking taylor expansion of 1/2 in x 0.729 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x 0.729 * [taylor]: Taking taylor expansion of (+ x y) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of y in x 0.729 * [taylor]: Taking taylor expansion of t in x 0.729 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in t 0.729 * [taylor]: Taking taylor expansion of 1/2 in t 0.729 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t 0.729 * [taylor]: Taking taylor expansion of (+ x y) in t 0.729 * [taylor]: Taking taylor expansion of x in t 0.729 * [taylor]: Taking taylor expansion of y in t 0.729 * [taylor]: Taking taylor expansion of t in t 0.730 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in t 0.730 * [taylor]: Taking taylor expansion of 1/2 in t 0.730 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t 0.730 * [taylor]: Taking taylor expansion of (+ x y) in t 0.730 * [taylor]: Taking taylor expansion of x in t 0.730 * [taylor]: Taking taylor expansion of y in t 0.730 * [taylor]: Taking taylor expansion of t in t 0.730 * [taylor]: Taking taylor expansion of (* 1/2 (+ x y)) in x 0.730 * [taylor]: Taking taylor expansion of 1/2 in x 0.730 * [taylor]: Taking taylor expansion of (+ x y) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of y in x 0.730 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.730 * [taylor]: Taking taylor expansion of 1/2 in y 0.730 * [taylor]: Taking taylor expansion of y in y 0.730 * [taylor]: Taking taylor expansion of 0 in x 0.730 * [taylor]: Taking taylor expansion of 0 in y 0.730 * [taylor]: Taking taylor expansion of 1/2 in y 0.730 * [taylor]: Taking taylor expansion of 0 in x 0.730 * [taylor]: Taking taylor expansion of 0 in y 0.730 * [taylor]: Taking taylor expansion of 0 in y 0.730 * [taylor]: Taking taylor expansion of 0 in y 0.731 * [approximate]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in (t x y) around 0 0.731 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in y 0.731 * [taylor]: Taking taylor expansion of 1/2 in y 0.731 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y 0.731 * [taylor]: Taking taylor expansion of t in y 0.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.731 * [taylor]: Taking taylor expansion of y in y 0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.731 * [taylor]: Taking taylor expansion of x in y 0.731 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in x 0.731 * [taylor]: Taking taylor expansion of 1/2 in x 0.731 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x 0.731 * [taylor]: Taking taylor expansion of t in x 0.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.731 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.731 * [taylor]: Taking taylor expansion of y in x 0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.731 * [taylor]: Taking taylor expansion of 1/2 in t 0.731 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.731 * [taylor]: Taking taylor expansion of t in t 0.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.731 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.731 * [taylor]: Taking taylor expansion of y in t 0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.731 * [taylor]: Taking taylor expansion of x in t 0.731 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.731 * [taylor]: Taking taylor expansion of 1/2 in t 0.732 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.732 * [taylor]: Taking taylor expansion of t in t 0.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.732 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.732 * [taylor]: Taking taylor expansion of y in t 0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.732 * [taylor]: Taking taylor expansion of x in t 0.732 * [taylor]: Taking taylor expansion of 0 in x 0.732 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.732 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.732 * [taylor]: Taking taylor expansion of 1/2 in x 0.732 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.732 * [taylor]: Taking taylor expansion of y in x 0.732 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.732 * [taylor]: Taking taylor expansion of 1/2 in x 0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.732 * [taylor]: Taking taylor expansion of x in x 0.732 * [taylor]: Taking taylor expansion of 1/2 in y 0.732 * [taylor]: Taking taylor expansion of 0 in y 0.733 * [taylor]: Taking taylor expansion of 0 in x 0.733 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.733 * [taylor]: Taking taylor expansion of 1/2 in y 0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.733 * [taylor]: Taking taylor expansion of y in y 0.733 * [taylor]: Taking taylor expansion of 0 in y 0.733 * [taylor]: Taking taylor expansion of 0 in x 0.733 * [taylor]: Taking taylor expansion of 0 in y 0.734 * [taylor]: Taking taylor expansion of 0 in y 0.734 * [taylor]: Taking taylor expansion of 0 in y 0.734 * [taylor]: Taking taylor expansion of 0 in x 0.734 * [taylor]: Taking taylor expansion of 0 in y 0.734 * [taylor]: Taking taylor expansion of 0 in y 0.734 * [taylor]: Taking taylor expansion of 0 in y 0.734 * [taylor]: Taking taylor expansion of 0 in y 0.735 * [approximate]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in (t x y) around 0 0.735 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in y 0.735 * [taylor]: Taking taylor expansion of 1/2 in y 0.735 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y 0.735 * [taylor]: Taking taylor expansion of t in y 0.735 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.735 * [taylor]: Taking taylor expansion of y in y 0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.735 * [taylor]: Taking taylor expansion of x in y 0.735 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in x 0.735 * [taylor]: Taking taylor expansion of 1/2 in x 0.735 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x 0.735 * [taylor]: Taking taylor expansion of t in x 0.735 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.735 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.735 * [taylor]: Taking taylor expansion of y in x 0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.735 * [taylor]: Taking taylor expansion of 1/2 in t 0.735 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.735 * [taylor]: Taking taylor expansion of t in t 0.735 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.735 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.735 * [taylor]: Taking taylor expansion of y in t 0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.735 * [taylor]: Taking taylor expansion of x in t 0.735 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.735 * [taylor]: Taking taylor expansion of 1/2 in t 0.735 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.736 * [taylor]: Taking taylor expansion of t in t 0.736 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.736 * [taylor]: Taking taylor expansion of y in t 0.736 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.736 * [taylor]: Taking taylor expansion of x in t 0.736 * [taylor]: Taking taylor expansion of 0 in x 0.736 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.736 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.736 * [taylor]: Taking taylor expansion of 1/2 in x 0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.736 * [taylor]: Taking taylor expansion of y in x 0.736 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.736 * [taylor]: Taking taylor expansion of 1/2 in x 0.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.736 * [taylor]: Taking taylor expansion of x in x 0.736 * [taylor]: Taking taylor expansion of 1/2 in y 0.736 * [taylor]: Taking taylor expansion of 0 in y 0.737 * [taylor]: Taking taylor expansion of 0 in x 0.737 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.737 * [taylor]: Taking taylor expansion of 1/2 in y 0.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.737 * [taylor]: Taking taylor expansion of y in y 0.737 * [taylor]: Taking taylor expansion of 0 in y 0.737 * [taylor]: Taking taylor expansion of 0 in x 0.737 * [taylor]: Taking taylor expansion of 0 in y 0.738 * [taylor]: Taking taylor expansion of 0 in y 0.738 * [taylor]: Taking taylor expansion of 0 in y 0.738 * [taylor]: Taking taylor expansion of 0 in x 0.738 * [taylor]: Taking taylor expansion of 0 in y 0.738 * [taylor]: Taking taylor expansion of 0 in y 0.738 * [taylor]: Taking taylor expansion of 0 in y 0.738 * [taylor]: Taking taylor expansion of 0 in y 0.739 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.739 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in (t x y z) around 0 0.739 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in z 0.739 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in z 0.739 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in z 0.739 * [taylor]: Taking taylor expansion of 1/2 in z 0.739 * [taylor]: Taking taylor expansion of (/ x t) in z 0.739 * [taylor]: Taking taylor expansion of x in z 0.739 * [taylor]: Taking taylor expansion of t in z 0.739 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in z 0.739 * [taylor]: Taking taylor expansion of 1/2 in z 0.739 * [taylor]: Taking taylor expansion of (/ y t) in z 0.739 * [taylor]: Taking taylor expansion of y in z 0.739 * [taylor]: Taking taylor expansion of t in z 0.739 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.739 * [taylor]: Taking taylor expansion of 1/2 in z 0.739 * [taylor]: Taking taylor expansion of (/ z t) in z 0.739 * [taylor]: Taking taylor expansion of z in z 0.739 * [taylor]: Taking taylor expansion of t in z 0.739 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in y 0.739 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in y 0.739 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in y 0.739 * [taylor]: Taking taylor expansion of 1/2 in y 0.739 * [taylor]: Taking taylor expansion of (/ x t) in y 0.739 * [taylor]: Taking taylor expansion of x in y 0.739 * [taylor]: Taking taylor expansion of t in y 0.739 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in y 0.739 * [taylor]: Taking taylor expansion of 1/2 in y 0.739 * [taylor]: Taking taylor expansion of (/ y t) in y 0.739 * [taylor]: Taking taylor expansion of y in y 0.739 * [taylor]: Taking taylor expansion of t in y 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in y 0.740 * [taylor]: Taking taylor expansion of 1/2 in y 0.740 * [taylor]: Taking taylor expansion of (/ z t) in y 0.740 * [taylor]: Taking taylor expansion of z in y 0.740 * [taylor]: Taking taylor expansion of t in y 0.740 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in x 0.740 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in x 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in x 0.740 * [taylor]: Taking taylor expansion of 1/2 in x 0.740 * [taylor]: Taking taylor expansion of (/ x t) in x 0.740 * [taylor]: Taking taylor expansion of x in x 0.740 * [taylor]: Taking taylor expansion of t in x 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in x 0.740 * [taylor]: Taking taylor expansion of 1/2 in x 0.740 * [taylor]: Taking taylor expansion of (/ y t) in x 0.740 * [taylor]: Taking taylor expansion of y in x 0.740 * [taylor]: Taking taylor expansion of t in x 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in x 0.740 * [taylor]: Taking taylor expansion of 1/2 in x 0.740 * [taylor]: Taking taylor expansion of (/ z t) in x 0.740 * [taylor]: Taking taylor expansion of z in x 0.740 * [taylor]: Taking taylor expansion of t in x 0.740 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.740 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.740 * [taylor]: Taking taylor expansion of 1/2 in t 0.740 * [taylor]: Taking taylor expansion of (/ x t) in t 0.740 * [taylor]: Taking taylor expansion of x in t 0.740 * [taylor]: Taking taylor expansion of t in t 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.740 * [taylor]: Taking taylor expansion of 1/2 in t 0.740 * [taylor]: Taking taylor expansion of (/ y t) in t 0.740 * [taylor]: Taking taylor expansion of y in t 0.740 * [taylor]: Taking taylor expansion of t in t 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.740 * [taylor]: Taking taylor expansion of 1/2 in t 0.740 * [taylor]: Taking taylor expansion of (/ z t) in t 0.740 * [taylor]: Taking taylor expansion of z in t 0.740 * [taylor]: Taking taylor expansion of t in t 0.740 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.740 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.740 * [taylor]: Taking taylor expansion of 1/2 in t 0.740 * [taylor]: Taking taylor expansion of (/ x t) in t 0.740 * [taylor]: Taking taylor expansion of x in t 0.740 * [taylor]: Taking taylor expansion of t in t 0.741 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.741 * [taylor]: Taking taylor expansion of 1/2 in t 0.741 * [taylor]: Taking taylor expansion of (/ y t) in t 0.741 * [taylor]: Taking taylor expansion of y in t 0.741 * [taylor]: Taking taylor expansion of t in t 0.741 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.741 * [taylor]: Taking taylor expansion of 1/2 in t 0.741 * [taylor]: Taking taylor expansion of (/ z t) in t 0.741 * [taylor]: Taking taylor expansion of z in t 0.741 * [taylor]: Taking taylor expansion of t in t 0.741 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 x) (* 1/2 y)) (* 1/2 z)) in x 0.741 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) (* 1/2 y)) in x 0.741 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.741 * [taylor]: Taking taylor expansion of 1/2 in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 0.741 * [taylor]: Taking taylor expansion of 1/2 in x 0.741 * [taylor]: Taking taylor expansion of y in x 0.741 * [taylor]: Taking taylor expansion of (* 1/2 z) in x 0.741 * [taylor]: Taking taylor expansion of 1/2 in x 0.741 * [taylor]: Taking taylor expansion of z in x 0.741 * [taylor]: Taking taylor expansion of (- (* 1/2 y) (* 1/2 z)) in y 0.741 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.741 * [taylor]: Taking taylor expansion of 1/2 in y 0.741 * [taylor]: Taking taylor expansion of y in y 0.741 * [taylor]: Taking taylor expansion of (* 1/2 z) in y 0.741 * [taylor]: Taking taylor expansion of 1/2 in y 0.741 * [taylor]: Taking taylor expansion of z in y 0.741 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.741 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.741 * [taylor]: Taking taylor expansion of 1/2 in z 0.742 * [taylor]: Taking taylor expansion of z in z 0.742 * [taylor]: Taking taylor expansion of 0 in x 0.742 * [taylor]: Taking taylor expansion of 0 in y 0.742 * [taylor]: Taking taylor expansion of 0 in z 0.742 * [taylor]: Taking taylor expansion of 1/2 in y 0.742 * [taylor]: Taking taylor expansion of 1/2 in z 0.742 * [taylor]: Taking taylor expansion of 1/2 in z 0.743 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in (t x y z) around 0 0.743 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.743 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.743 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.743 * [taylor]: Taking taylor expansion of 1/2 in z 0.743 * [taylor]: Taking taylor expansion of (/ t y) in z 0.743 * [taylor]: Taking taylor expansion of t in z 0.743 * [taylor]: Taking taylor expansion of y in z 0.743 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.743 * [taylor]: Taking taylor expansion of 1/2 in z 0.743 * [taylor]: Taking taylor expansion of (/ t x) in z 0.743 * [taylor]: Taking taylor expansion of t in z 0.743 * [taylor]: Taking taylor expansion of x in z 0.743 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.743 * [taylor]: Taking taylor expansion of 1/2 in z 0.743 * [taylor]: Taking taylor expansion of (/ t z) in z 0.743 * [taylor]: Taking taylor expansion of t in z 0.743 * [taylor]: Taking taylor expansion of z in z 0.743 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.743 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.743 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.743 * [taylor]: Taking taylor expansion of 1/2 in y 0.743 * [taylor]: Taking taylor expansion of (/ t y) in y 0.743 * [taylor]: Taking taylor expansion of t in y 0.743 * [taylor]: Taking taylor expansion of y in y 0.743 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.743 * [taylor]: Taking taylor expansion of 1/2 in y 0.743 * [taylor]: Taking taylor expansion of (/ t x) in y 0.743 * [taylor]: Taking taylor expansion of t in y 0.743 * [taylor]: Taking taylor expansion of x in y 0.743 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.743 * [taylor]: Taking taylor expansion of 1/2 in y 0.743 * [taylor]: Taking taylor expansion of (/ t z) in y 0.743 * [taylor]: Taking taylor expansion of t in y 0.743 * [taylor]: Taking taylor expansion of z in y 0.743 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.743 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.743 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.743 * [taylor]: Taking taylor expansion of 1/2 in x 0.744 * [taylor]: Taking taylor expansion of (/ t y) in x 0.744 * [taylor]: Taking taylor expansion of t in x 0.744 * [taylor]: Taking taylor expansion of y in x 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.744 * [taylor]: Taking taylor expansion of 1/2 in x 0.744 * [taylor]: Taking taylor expansion of (/ t x) in x 0.744 * [taylor]: Taking taylor expansion of t in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.744 * [taylor]: Taking taylor expansion of 1/2 in x 0.744 * [taylor]: Taking taylor expansion of (/ t z) in x 0.744 * [taylor]: Taking taylor expansion of t in x 0.744 * [taylor]: Taking taylor expansion of z in x 0.744 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.744 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.744 * [taylor]: Taking taylor expansion of 1/2 in t 0.744 * [taylor]: Taking taylor expansion of (/ t y) in t 0.744 * [taylor]: Taking taylor expansion of t in t 0.744 * [taylor]: Taking taylor expansion of y in t 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.744 * [taylor]: Taking taylor expansion of 1/2 in t 0.744 * [taylor]: Taking taylor expansion of (/ t x) in t 0.744 * [taylor]: Taking taylor expansion of t in t 0.744 * [taylor]: Taking taylor expansion of x in t 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.744 * [taylor]: Taking taylor expansion of 1/2 in t 0.744 * [taylor]: Taking taylor expansion of (/ t z) in t 0.744 * [taylor]: Taking taylor expansion of t in t 0.744 * [taylor]: Taking taylor expansion of z in t 0.744 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.744 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.744 * [taylor]: Taking taylor expansion of 1/2 in t 0.744 * [taylor]: Taking taylor expansion of (/ t y) in t 0.744 * [taylor]: Taking taylor expansion of t in t 0.744 * [taylor]: Taking taylor expansion of y in t 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.744 * [taylor]: Taking taylor expansion of 1/2 in t 0.744 * [taylor]: Taking taylor expansion of (/ t x) in t 0.744 * [taylor]: Taking taylor expansion of t in t 0.744 * [taylor]: Taking taylor expansion of x in t 0.744 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.744 * [taylor]: Taking taylor expansion of 1/2 in t 0.744 * [taylor]: Taking taylor expansion of (/ t z) in t 0.744 * [taylor]: Taking taylor expansion of t in t 0.744 * [taylor]: Taking taylor expansion of z in t 0.745 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.745 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.745 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.745 * [taylor]: Taking taylor expansion of 1/2 in x 0.745 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.745 * [taylor]: Taking taylor expansion of y in x 0.745 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.745 * [taylor]: Taking taylor expansion of 1/2 in x 0.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.745 * [taylor]: Taking taylor expansion of 1/2 in x 0.745 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.745 * [taylor]: Taking taylor expansion of z in x 0.745 * [taylor]: Taking taylor expansion of 1/2 in y 0.746 * [taylor]: Taking taylor expansion of 0 in x 0.746 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.746 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.746 * [taylor]: Taking taylor expansion of 1/2 in y 0.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.746 * [taylor]: Taking taylor expansion of y in y 0.746 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.746 * [taylor]: Taking taylor expansion of 1/2 in y 0.746 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.746 * [taylor]: Taking taylor expansion of z in y 0.746 * [taylor]: Taking taylor expansion of 1/2 in z 0.746 * [taylor]: Taking taylor expansion of 1/2 in z 0.746 * [taylor]: Taking taylor expansion of 0 in x 0.746 * [taylor]: Taking taylor expansion of 0 in y 0.747 * [taylor]: Taking taylor expansion of 0 in y 0.747 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.747 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.747 * [taylor]: Taking taylor expansion of 1/2 in z 0.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.747 * [taylor]: Taking taylor expansion of z in z 0.747 * [taylor]: Taking taylor expansion of 0 in z 0.748 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in (t x y z) around 0 0.748 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.748 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.748 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.748 * [taylor]: Taking taylor expansion of 1/2 in z 0.748 * [taylor]: Taking taylor expansion of (/ t y) in z 0.748 * [taylor]: Taking taylor expansion of t in z 0.748 * [taylor]: Taking taylor expansion of y in z 0.748 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.748 * [taylor]: Taking taylor expansion of 1/2 in z 0.748 * [taylor]: Taking taylor expansion of (/ t x) in z 0.748 * [taylor]: Taking taylor expansion of t in z 0.748 * [taylor]: Taking taylor expansion of x in z 0.748 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.748 * [taylor]: Taking taylor expansion of 1/2 in z 0.748 * [taylor]: Taking taylor expansion of (/ t z) in z 0.748 * [taylor]: Taking taylor expansion of t in z 0.748 * [taylor]: Taking taylor expansion of z in z 0.748 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.748 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.748 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.748 * [taylor]: Taking taylor expansion of 1/2 in y 0.748 * [taylor]: Taking taylor expansion of (/ t y) in y 0.748 * [taylor]: Taking taylor expansion of t in y 0.748 * [taylor]: Taking taylor expansion of y in y 0.748 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.748 * [taylor]: Taking taylor expansion of 1/2 in y 0.748 * [taylor]: Taking taylor expansion of (/ t x) in y 0.748 * [taylor]: Taking taylor expansion of t in y 0.748 * [taylor]: Taking taylor expansion of x in y 0.748 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.748 * [taylor]: Taking taylor expansion of 1/2 in y 0.748 * [taylor]: Taking taylor expansion of (/ t z) in y 0.748 * [taylor]: Taking taylor expansion of t in y 0.748 * [taylor]: Taking taylor expansion of z in y 0.748 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.749 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.749 * [taylor]: Taking taylor expansion of 1/2 in x 0.749 * [taylor]: Taking taylor expansion of (/ t y) in x 0.749 * [taylor]: Taking taylor expansion of t in x 0.749 * [taylor]: Taking taylor expansion of y in x 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.749 * [taylor]: Taking taylor expansion of 1/2 in x 0.749 * [taylor]: Taking taylor expansion of (/ t x) in x 0.749 * [taylor]: Taking taylor expansion of t in x 0.749 * [taylor]: Taking taylor expansion of x in x 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.749 * [taylor]: Taking taylor expansion of 1/2 in x 0.749 * [taylor]: Taking taylor expansion of (/ t z) in x 0.749 * [taylor]: Taking taylor expansion of t in x 0.749 * [taylor]: Taking taylor expansion of z in x 0.749 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.749 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.749 * [taylor]: Taking taylor expansion of 1/2 in t 0.749 * [taylor]: Taking taylor expansion of (/ t y) in t 0.749 * [taylor]: Taking taylor expansion of t in t 0.749 * [taylor]: Taking taylor expansion of y in t 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.749 * [taylor]: Taking taylor expansion of 1/2 in t 0.749 * [taylor]: Taking taylor expansion of (/ t x) in t 0.749 * [taylor]: Taking taylor expansion of t in t 0.749 * [taylor]: Taking taylor expansion of x in t 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.749 * [taylor]: Taking taylor expansion of 1/2 in t 0.749 * [taylor]: Taking taylor expansion of (/ t z) in t 0.749 * [taylor]: Taking taylor expansion of t in t 0.749 * [taylor]: Taking taylor expansion of z in t 0.749 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.749 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.749 * [taylor]: Taking taylor expansion of 1/2 in t 0.749 * [taylor]: Taking taylor expansion of (/ t y) in t 0.749 * [taylor]: Taking taylor expansion of t in t 0.749 * [taylor]: Taking taylor expansion of y in t 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.749 * [taylor]: Taking taylor expansion of 1/2 in t 0.749 * [taylor]: Taking taylor expansion of (/ t x) in t 0.749 * [taylor]: Taking taylor expansion of t in t 0.749 * [taylor]: Taking taylor expansion of x in t 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.749 * [taylor]: Taking taylor expansion of 1/2 in t 0.750 * [taylor]: Taking taylor expansion of (/ t z) in t 0.750 * [taylor]: Taking taylor expansion of t in t 0.750 * [taylor]: Taking taylor expansion of z in t 0.752 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.752 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.752 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.752 * [taylor]: Taking taylor expansion of 1/2 in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.752 * [taylor]: Taking taylor expansion of y in x 0.752 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.752 * [taylor]: Taking taylor expansion of 1/2 in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.752 * [taylor]: Taking taylor expansion of 1/2 in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.752 * [taylor]: Taking taylor expansion of z in x 0.752 * [taylor]: Taking taylor expansion of 1/2 in y 0.753 * [taylor]: Taking taylor expansion of 0 in x 0.753 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.753 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.753 * [taylor]: Taking taylor expansion of 1/2 in y 0.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.753 * [taylor]: Taking taylor expansion of y in y 0.753 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.753 * [taylor]: Taking taylor expansion of 1/2 in y 0.753 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.753 * [taylor]: Taking taylor expansion of z in y 0.753 * [taylor]: Taking taylor expansion of 1/2 in z 0.753 * [taylor]: Taking taylor expansion of 1/2 in z 0.754 * [taylor]: Taking taylor expansion of 0 in x 0.754 * [taylor]: Taking taylor expansion of 0 in y 0.754 * [taylor]: Taking taylor expansion of 0 in y 0.754 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.754 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.754 * [taylor]: Taking taylor expansion of 1/2 in z 0.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.754 * [taylor]: Taking taylor expansion of z in z 0.754 * [taylor]: Taking taylor expansion of 0 in z 0.755 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.755 * [approximate]: Taking taylor expansion of (* 1/2 (/ z t)) in (z t) around 0 0.755 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.755 * [taylor]: Taking taylor expansion of 1/2 in t 0.755 * [taylor]: Taking taylor expansion of (/ z t) in t 0.755 * [taylor]: Taking taylor expansion of z in t 0.755 * [taylor]: Taking taylor expansion of t in t 0.755 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.755 * [taylor]: Taking taylor expansion of 1/2 in z 0.755 * [taylor]: Taking taylor expansion of (/ z t) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of t in z 0.755 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.755 * [taylor]: Taking taylor expansion of 1/2 in z 0.755 * [taylor]: Taking taylor expansion of (/ z t) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of t in z 0.755 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.755 * [taylor]: Taking taylor expansion of 1/2 in t 0.755 * [taylor]: Taking taylor expansion of t in t 0.756 * [taylor]: Taking taylor expansion of 0 in t 0.756 * [taylor]: Taking taylor expansion of 0 in t 0.756 * [taylor]: Taking taylor expansion of 0 in t 0.756 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.756 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.756 * [taylor]: Taking taylor expansion of 1/2 in t 0.756 * [taylor]: Taking taylor expansion of (/ t z) in t 0.756 * [taylor]: Taking taylor expansion of t in t 0.756 * [taylor]: Taking taylor expansion of z in t 0.756 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.756 * [taylor]: Taking taylor expansion of 1/2 in z 0.756 * [taylor]: Taking taylor expansion of (/ t z) in z 0.756 * [taylor]: Taking taylor expansion of t in z 0.756 * [taylor]: Taking taylor expansion of z in z 0.756 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.756 * [taylor]: Taking taylor expansion of 1/2 in z 0.757 * [taylor]: Taking taylor expansion of (/ t z) in z 0.757 * [taylor]: Taking taylor expansion of t in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.757 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.757 * [taylor]: Taking taylor expansion of 1/2 in t 0.757 * [taylor]: Taking taylor expansion of t in t 0.757 * [taylor]: Taking taylor expansion of 0 in t 0.757 * [taylor]: Taking taylor expansion of 0 in t 0.757 * [taylor]: Taking taylor expansion of 0 in t 0.757 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.757 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.757 * [taylor]: Taking taylor expansion of 1/2 in t 0.757 * [taylor]: Taking taylor expansion of (/ t z) in t 0.757 * [taylor]: Taking taylor expansion of t in t 0.757 * [taylor]: Taking taylor expansion of z in t 0.757 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.757 * [taylor]: Taking taylor expansion of 1/2 in z 0.757 * [taylor]: Taking taylor expansion of (/ t z) in z 0.757 * [taylor]: Taking taylor expansion of t in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.758 * [taylor]: Taking taylor expansion of 1/2 in z 0.758 * [taylor]: Taking taylor expansion of (/ t z) in z 0.758 * [taylor]: Taking taylor expansion of t in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.758 * [taylor]: Taking taylor expansion of 1/2 in t 0.758 * [taylor]: Taking taylor expansion of t in t 0.758 * [taylor]: Taking taylor expansion of 0 in t 0.758 * [taylor]: Taking taylor expansion of 0 in t 0.758 * [taylor]: Taking taylor expansion of 0 in t 0.758 * * * [progress]: simplifying candidates 0.760 * [simplify]: Simplifying using # : (*.f64 (/.f64 1/2 t) (+.f64 x y)) (+.f64 (-.f64 (log.f64 1/2) (log.f64 t)) (log.f64 (+.f64 x y))) (+.f64 (log.f64 (/.f64 1/2 t)) (log.f64 (+.f64 x y))) (log.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (exp.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 (/.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y))) (*.f64 (*.f64 (*.f64 (/.f64 1/2 t) (/.f64 1/2 t)) (/.f64 1/2 t)) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y))) (*.f64 (cbrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (cbrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 (*.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 (/.f64 1/2 t) (+.f64 x y))) (sqrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (sqrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 1/2 (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 t (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y)))) (*.f64 1/2 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 t (-.f64 x y)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 (+.f64 x y))) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 (+.f64 x y))) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 (+.f64 x y))) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 (+.f64 x y))) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y) (*.f64 x (/.f64 1/2 t)) (*.f64 y (/.f64 1/2 t)) (*.f64 (/.f64 1/2 t) (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) (*.f64 (/.f64 1/2 t) (sqrt.f64 (+.f64 x y))) (*.f64 (/.f64 1/2 t) 1) (*.f64 (/.f64 1/2 t) 1) (*.f64 (cbrt.f64 (/.f64 1/2 t)) (+.f64 x y)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (+.f64 x y)) (*.f64 (/.f64 (cbrt.f64 1/2) (cbrt.f64 t)) (+.f64 x y)) (*.f64 (/.f64 (cbrt.f64 1/2) (sqrt.f64 t)) (+.f64 x y)) (*.f64 (/.f64 (cbrt.f64 1/2) t) (+.f64 x y)) (*.f64 (/.f64 (sqrt.f64 1/2) (cbrt.f64 t)) (+.f64 x y)) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (+.f64 x y)) (*.f64 (/.f64 (sqrt.f64 1/2) t) (+.f64 x y)) (*.f64 (/.f64 1/2 (cbrt.f64 t)) (+.f64 x y)) (*.f64 (/.f64 1/2 (sqrt.f64 t)) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (/.f64 1/2 t) (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 1/2 (+.f64 x y)) (/.f64 (exp.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (exp.f64 (*.f64 1/2 (/.f64 z t)))) (log.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (exp.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (cbrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))))) (cbrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (*.f64 (*.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (-.f64 (*.f64 1/2 (+.f64 x y)) (*.f64 1/2 z)) (-.f64 (*.f64 (*.f64 1/2 (+.f64 (pow.f64 x 3) (pow.f64 y 3))) t) (*.f64 (*.f64 t (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y)))) (*.f64 1/2 z))) (*.f64 (*.f64 t (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y)))) t) (-.f64 (*.f64 (*.f64 1/2 (-.f64 (*.f64 x x) (*.f64 y y))) t) (*.f64 (*.f64 t (-.f64 x y)) (*.f64 1/2 z))) (*.f64 (*.f64 t (-.f64 x y)) t) (-.f64 (*.f64 (*.f64 (/.f64 1/2 t) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) t) (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (*.f64 1/2 z))) (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) t) (-.f64 (*.f64 (*.f64 (/.f64 1/2 t) (-.f64 (*.f64 x x) (*.f64 y y))) t) (*.f64 (-.f64 x y) (*.f64 1/2 z))) (*.f64 (-.f64 x y) t) (-.f64 (*.f64 (*.f64 1/2 (+.f64 x y)) t) (*.f64 t (*.f64 1/2 z))) (*.f64 t t) (-.f64 (pow.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) 3) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3)) (+.f64 (*.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y))) (+.f64 (*.f64 (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t))) (*.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))))) (neg.f64 (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)))) (+.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 (/.f64 1/2 t) y) (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 y (/.f64 1/2 t)) (*.f64 1/2 (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (+.f64 (log.f64 1/2) (-.f64 (log.f64 z) (log.f64 t))) (+.f64 (log.f64 1/2) (log.f64 (/.f64 z t))) (log.f64 (*.f64 1/2 (/.f64 z t))) (exp.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (/.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t))) (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (/.f64 z t) (/.f64 z t)) (/.f64 z t))) (*.f64 (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (cbrt.f64 (*.f64 1/2 (/.f64 z t)))) (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (*.f64 (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t))) (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (*.f64 (cbrt.f64 (/.f64 z t)) (cbrt.f64 (/.f64 z t)))) (*.f64 1/2 (sqrt.f64 (/.f64 z t))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (sqrt.f64 t))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) 1)) (*.f64 1/2 (/.f64 (sqrt.f64 z) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (/.f64 (sqrt.f64 z) 1)) (*.f64 1/2 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 1 (sqrt.f64 t))) (*.f64 1/2 (/.f64 1 1)) (*.f64 1/2 1) (*.f64 1/2 z) (*.f64 (cbrt.f64 1/2) (/.f64 z t)) (*.f64 (sqrt.f64 1/2) (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 z) (+.f64 (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 x t))) (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (-.f64 (+.f64 (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 x t))) (*.f64 1/2 (/.f64 z t))) (-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t))) (-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) 0.797 * * [simplify]: iteration 0 : 5181 enodes (cost 984 ) 0.801 * [simplify]: Simplified to: (*.f64 (/.f64 1/2 t) (+.f64 x y)) (log.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (log.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (log.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (sqrt.f64 (exp.f64 (/.f64 (+.f64 x y) t))) (*.f64 1/8 (pow.f64 (/.f64 (+.f64 x y) t) 3)) (*.f64 1/8 (pow.f64 (/.f64 (+.f64 x y) t) 3)) (*.f64 (cbrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (cbrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)))) (cbrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 1/8 (pow.f64 (/.f64 (+.f64 x y) t) 3)) (sqrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (sqrt.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 1/2 (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 t (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))) (*.f64 1/2 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 t (-.f64 x y)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 (+.f64 x y))) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 (+.f64 x y))) (*.f64 (sqrt.f64 (+.f64 x y)) (/.f64 (sqrt.f64 1/2) (sqrt.f64 t))) (*.f64 (sqrt.f64 (+.f64 x y)) (/.f64 (sqrt.f64 1/2) (sqrt.f64 t))) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) (*.f64 (/.f64 1/2 t) (sqrt.f64 (+.f64 x y))) (/.f64 1/2 t) (/.f64 1/2 t) (*.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 t))) (*.f64 (+.f64 x y) (sqrt.f64 (/.f64 1/2 t))) (*.f64 (+.f64 x y) (/.f64 (cbrt.f64 1/2) (cbrt.f64 t))) (*.f64 (+.f64 x y) (/.f64 (cbrt.f64 1/2) (sqrt.f64 t))) (*.f64 (+.f64 x y) (/.f64 (cbrt.f64 1/2) t)) (*.f64 (+.f64 x y) (/.f64 (sqrt.f64 1/2) (cbrt.f64 t))) (*.f64 (+.f64 x y) (/.f64 (sqrt.f64 1/2) (sqrt.f64 t))) (*.f64 (+.f64 x y) (/.f64 (sqrt.f64 1/2) t)) (*.f64 (+.f64 x y) (/.f64 1/2 (cbrt.f64 t))) (*.f64 (+.f64 x y) (/.f64 1/2 (sqrt.f64 t))) (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y)) (/.f64 (+.f64 x y) t) (*.f64 (/.f64 1/2 t) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (/.f64 1/2 t) (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 1/2 (+.f64 x y)) (pow.f64 (exp.f64 1/2) (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (log.f64 (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))) (pow.f64 (exp.f64 1/2) (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (*.f64 (cbrt.f64 (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))) (cbrt.f64 (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))))) (cbrt.f64 (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))) (*.f64 1/8 (pow.f64 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)) 3)) (sqrt.f64 (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))) (sqrt.f64 (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))) (*.f64 1/2 (-.f64 (+.f64 x y) z)) (*.f64 t (*.f64 1/2 (-.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 z (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))))) (*.f64 t (*.f64 t (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))) (*.f64 t (*.f64 (*.f64 1/2 (-.f64 x y)) (-.f64 (+.f64 x y) z))) (*.f64 t (*.f64 t (-.f64 x y))) (-.f64 (*.f64 t (*.f64 (/.f64 1/2 t) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (*.f64 1/2 z))) (*.f64 t (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))) (-.f64 (*.f64 t (*.f64 (/.f64 1/2 t) (-.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (-.f64 x y) (*.f64 1/2 z))) (*.f64 t (-.f64 x y)) (*.f64 t (*.f64 1/2 (-.f64 (+.f64 x y) z))) (*.f64 t t) (*.f64 1/8 (-.f64 (pow.f64 (/.f64 (+.f64 x y) t) 3) (pow.f64 (/.f64 z t) 3))) (+.f64 (*.f64 1/4 (*.f64 (/.f64 z t) (/.f64 z t))) (*.f64 (*.f64 (+.f64 x y) (/.f64 1/4 t)) (+.f64 (/.f64 (+.f64 x y) t) (/.f64 z t)))) (*.f64 (/.f64 z t) -1/2) (*.f64 1/4 (-.f64 (*.f64 (/.f64 (+.f64 x y) t) (/.f64 (+.f64 x y) t)) (*.f64 (/.f64 z t) (/.f64 z t)))) (*.f64 1/2 (+.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (*.f64 1/2 (-.f64 (/.f64 y t) (/.f64 z t))) (*.f64 1/2 (-.f64 (/.f64 y t) (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (log.f64 (*.f64 1/2 (/.f64 z t))) (log.f64 (*.f64 1/2 (/.f64 z t))) (log.f64 (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (exp.f64 (/.f64 z t))) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3) (*.f64 (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (cbrt.f64 (*.f64 1/2 (/.f64 z t)))) (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (*.f64 (cbrt.f64 (/.f64 z t)) (cbrt.f64 (/.f64 z t)))) (*.f64 1/2 (sqrt.f64 (/.f64 z t))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (sqrt.f64 t))) (*.f64 1/2 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 1/2 (/.f64 (sqrt.f64 z) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (sqrt.f64 z)) (/.f64 1/2 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 1/2 (sqrt.f64 t)) 1/2 1/2 (*.f64 1/2 z) (*.f64 (cbrt.f64 1/2) (/.f64 z t)) (*.f64 (sqrt.f64 1/2) (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 z) (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (*.f64 1/2 (-.f64 (/.f64 (+.f64 x y) t) (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) 0.801 * * * [progress]: adding candidates to table 0.883 * * [progress]: iteration 3 / 4 0.883 * * * [progress]: picking best candidate 0.887 * * * * [pick]: Picked # 0.887 * * * [progress]: localizing error 0.897 * * * [progress]: generating rewritten candidates 0.897 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.905 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.912 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.922 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.932 * * * [progress]: generating series expansions 0.933 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.933 * [approximate]: Taking taylor expansion of (* 1/2 (/ x t)) in (t x) around 0 0.933 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in x 0.933 * [taylor]: Taking taylor expansion of 1/2 in x 0.933 * [taylor]: Taking taylor expansion of (/ x t) in x 0.933 * [taylor]: Taking taylor expansion of x in x 0.933 * [taylor]: Taking taylor expansion of t in x 0.933 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.933 * [taylor]: Taking taylor expansion of 1/2 in t 0.933 * [taylor]: Taking taylor expansion of (/ x t) in t 0.933 * [taylor]: Taking taylor expansion of x in t 0.933 * [taylor]: Taking taylor expansion of t in t 0.933 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.933 * [taylor]: Taking taylor expansion of 1/2 in t 0.933 * [taylor]: Taking taylor expansion of (/ x t) in t 0.933 * [taylor]: Taking taylor expansion of x in t 0.933 * [taylor]: Taking taylor expansion of t in t 0.933 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.933 * [taylor]: Taking taylor expansion of 1/2 in x 0.933 * [taylor]: Taking taylor expansion of x in x 0.933 * [taylor]: Taking taylor expansion of 0 in x 0.934 * [taylor]: Taking taylor expansion of 0 in x 0.934 * [taylor]: Taking taylor expansion of 0 in x 0.934 * [approximate]: Taking taylor expansion of (* 1/2 (/ t x)) in (t x) around 0 0.934 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.934 * [taylor]: Taking taylor expansion of 1/2 in x 0.934 * [taylor]: Taking taylor expansion of (/ t x) in x 0.934 * [taylor]: Taking taylor expansion of t in x 0.934 * [taylor]: Taking taylor expansion of x in x 0.934 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.934 * [taylor]: Taking taylor expansion of 1/2 in t 0.934 * [taylor]: Taking taylor expansion of (/ t x) in t 0.934 * [taylor]: Taking taylor expansion of t in t 0.934 * [taylor]: Taking taylor expansion of x in t 0.934 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.934 * [taylor]: Taking taylor expansion of 1/2 in t 0.934 * [taylor]: Taking taylor expansion of (/ t x) in t 0.934 * [taylor]: Taking taylor expansion of t in t 0.934 * [taylor]: Taking taylor expansion of x in t 0.934 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 0.934 * [taylor]: Taking taylor expansion of 1/2 in x 0.934 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of 0 in x 0.935 * [taylor]: Taking taylor expansion of 0 in x 0.935 * [taylor]: Taking taylor expansion of 0 in x 0.935 * [approximate]: Taking taylor expansion of (* 1/2 (/ t x)) in (t x) around 0 0.935 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.935 * [taylor]: Taking taylor expansion of 1/2 in x 0.935 * [taylor]: Taking taylor expansion of (/ t x) in x 0.935 * [taylor]: Taking taylor expansion of t in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.935 * [taylor]: Taking taylor expansion of 1/2 in t 0.935 * [taylor]: Taking taylor expansion of (/ t x) in t 0.935 * [taylor]: Taking taylor expansion of t in t 0.935 * [taylor]: Taking taylor expansion of x in t 0.936 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.936 * [taylor]: Taking taylor expansion of 1/2 in t 0.936 * [taylor]: Taking taylor expansion of (/ t x) in t 0.936 * [taylor]: Taking taylor expansion of t in t 0.936 * [taylor]: Taking taylor expansion of x in t 0.936 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 0.936 * [taylor]: Taking taylor expansion of 1/2 in x 0.936 * [taylor]: Taking taylor expansion of x in x 0.936 * [taylor]: Taking taylor expansion of 0 in x 0.936 * [taylor]: Taking taylor expansion of 0 in x 0.936 * [taylor]: Taking taylor expansion of 0 in x 0.937 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.937 * [approximate]: Taking taylor expansion of (* 1/2 (/ y t)) in (t y) around 0 0.937 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in y 0.937 * [taylor]: Taking taylor expansion of 1/2 in y 0.937 * [taylor]: Taking taylor expansion of (/ y t) in y 0.937 * [taylor]: Taking taylor expansion of y in y 0.937 * [taylor]: Taking taylor expansion of t in y 0.937 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.937 * [taylor]: Taking taylor expansion of 1/2 in t 0.937 * [taylor]: Taking taylor expansion of (/ y t) in t 0.937 * [taylor]: Taking taylor expansion of y in t 0.937 * [taylor]: Taking taylor expansion of t in t 0.937 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.937 * [taylor]: Taking taylor expansion of 1/2 in t 0.937 * [taylor]: Taking taylor expansion of (/ y t) in t 0.937 * [taylor]: Taking taylor expansion of y in t 0.937 * [taylor]: Taking taylor expansion of t in t 0.937 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.937 * [taylor]: Taking taylor expansion of 1/2 in y 0.937 * [taylor]: Taking taylor expansion of y in y 0.937 * [taylor]: Taking taylor expansion of 0 in y 0.938 * [taylor]: Taking taylor expansion of 0 in y 0.938 * [taylor]: Taking taylor expansion of 0 in y 0.938 * [approximate]: Taking taylor expansion of (* 1/2 (/ t y)) in (t y) around 0 0.938 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.938 * [taylor]: Taking taylor expansion of 1/2 in y 0.938 * [taylor]: Taking taylor expansion of (/ t y) in y 0.938 * [taylor]: Taking taylor expansion of t in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.938 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.938 * [taylor]: Taking taylor expansion of 1/2 in t 0.938 * [taylor]: Taking taylor expansion of (/ t y) in t 0.938 * [taylor]: Taking taylor expansion of t in t 0.938 * [taylor]: Taking taylor expansion of y in t 0.938 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.938 * [taylor]: Taking taylor expansion of 1/2 in t 0.938 * [taylor]: Taking taylor expansion of (/ t y) in t 0.938 * [taylor]: Taking taylor expansion of t in t 0.938 * [taylor]: Taking taylor expansion of y in t 0.938 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 0.938 * [taylor]: Taking taylor expansion of 1/2 in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.938 * [taylor]: Taking taylor expansion of 0 in y 0.939 * [taylor]: Taking taylor expansion of 0 in y 0.939 * [taylor]: Taking taylor expansion of 0 in y 0.939 * [approximate]: Taking taylor expansion of (* 1/2 (/ t y)) in (t y) around 0 0.939 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.939 * [taylor]: Taking taylor expansion of 1/2 in y 0.939 * [taylor]: Taking taylor expansion of (/ t y) in y 0.939 * [taylor]: Taking taylor expansion of t in y 0.939 * [taylor]: Taking taylor expansion of y in y 0.939 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.939 * [taylor]: Taking taylor expansion of 1/2 in t 0.939 * [taylor]: Taking taylor expansion of (/ t y) in t 0.939 * [taylor]: Taking taylor expansion of t in t 0.939 * [taylor]: Taking taylor expansion of y in t 0.939 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.939 * [taylor]: Taking taylor expansion of 1/2 in t 0.939 * [taylor]: Taking taylor expansion of (/ t y) in t 0.939 * [taylor]: Taking taylor expansion of t in t 0.939 * [taylor]: Taking taylor expansion of y in t 0.940 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 0.940 * [taylor]: Taking taylor expansion of 1/2 in y 0.940 * [taylor]: Taking taylor expansion of y in y 0.940 * [taylor]: Taking taylor expansion of 0 in y 0.940 * [taylor]: Taking taylor expansion of 0 in y 0.940 * [taylor]: Taking taylor expansion of 0 in y 0.940 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.941 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in (t x y z) around 0 0.941 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in z 0.941 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in z 0.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in z 0.941 * [taylor]: Taking taylor expansion of 1/2 in z 0.941 * [taylor]: Taking taylor expansion of (/ x t) in z 0.941 * [taylor]: Taking taylor expansion of x in z 0.941 * [taylor]: Taking taylor expansion of t in z 0.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in z 0.941 * [taylor]: Taking taylor expansion of 1/2 in z 0.941 * [taylor]: Taking taylor expansion of (/ y t) in z 0.941 * [taylor]: Taking taylor expansion of y in z 0.941 * [taylor]: Taking taylor expansion of t in z 0.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.941 * [taylor]: Taking taylor expansion of 1/2 in z 0.941 * [taylor]: Taking taylor expansion of (/ z t) in z 0.941 * [taylor]: Taking taylor expansion of z in z 0.941 * [taylor]: Taking taylor expansion of t in z 0.941 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in y 0.941 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in y 0.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in y 0.941 * [taylor]: Taking taylor expansion of 1/2 in y 0.941 * [taylor]: Taking taylor expansion of (/ x t) in y 0.941 * [taylor]: Taking taylor expansion of x in y 0.941 * [taylor]: Taking taylor expansion of t in y 0.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in y 0.941 * [taylor]: Taking taylor expansion of 1/2 in y 0.941 * [taylor]: Taking taylor expansion of (/ y t) in y 0.941 * [taylor]: Taking taylor expansion of y in y 0.941 * [taylor]: Taking taylor expansion of t in y 0.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in y 0.941 * [taylor]: Taking taylor expansion of 1/2 in y 0.941 * [taylor]: Taking taylor expansion of (/ z t) in y 0.941 * [taylor]: Taking taylor expansion of z in y 0.941 * [taylor]: Taking taylor expansion of t in y 0.941 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in x 0.941 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in x 0.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in x 0.941 * [taylor]: Taking taylor expansion of 1/2 in x 0.941 * [taylor]: Taking taylor expansion of (/ x t) in x 0.941 * [taylor]: Taking taylor expansion of x in x 0.942 * [taylor]: Taking taylor expansion of t in x 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in x 0.942 * [taylor]: Taking taylor expansion of 1/2 in x 0.942 * [taylor]: Taking taylor expansion of (/ y t) in x 0.942 * [taylor]: Taking taylor expansion of y in x 0.942 * [taylor]: Taking taylor expansion of t in x 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in x 0.942 * [taylor]: Taking taylor expansion of 1/2 in x 0.942 * [taylor]: Taking taylor expansion of (/ z t) in x 0.942 * [taylor]: Taking taylor expansion of z in x 0.942 * [taylor]: Taking taylor expansion of t in x 0.942 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.942 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.942 * [taylor]: Taking taylor expansion of 1/2 in t 0.942 * [taylor]: Taking taylor expansion of (/ x t) in t 0.942 * [taylor]: Taking taylor expansion of x in t 0.942 * [taylor]: Taking taylor expansion of t in t 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.942 * [taylor]: Taking taylor expansion of 1/2 in t 0.942 * [taylor]: Taking taylor expansion of (/ y t) in t 0.942 * [taylor]: Taking taylor expansion of y in t 0.942 * [taylor]: Taking taylor expansion of t in t 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.942 * [taylor]: Taking taylor expansion of 1/2 in t 0.942 * [taylor]: Taking taylor expansion of (/ z t) in t 0.942 * [taylor]: Taking taylor expansion of z in t 0.942 * [taylor]: Taking taylor expansion of t in t 0.942 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.942 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.942 * [taylor]: Taking taylor expansion of 1/2 in t 0.942 * [taylor]: Taking taylor expansion of (/ x t) in t 0.942 * [taylor]: Taking taylor expansion of x in t 0.942 * [taylor]: Taking taylor expansion of t in t 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.942 * [taylor]: Taking taylor expansion of 1/2 in t 0.942 * [taylor]: Taking taylor expansion of (/ y t) in t 0.942 * [taylor]: Taking taylor expansion of y in t 0.942 * [taylor]: Taking taylor expansion of t in t 0.942 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.942 * [taylor]: Taking taylor expansion of 1/2 in t 0.942 * [taylor]: Taking taylor expansion of (/ z t) in t 0.942 * [taylor]: Taking taylor expansion of z in t 0.942 * [taylor]: Taking taylor expansion of t in t 0.943 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 x) (* 1/2 y)) (* 1/2 z)) in x 0.943 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) (* 1/2 y)) in x 0.943 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.943 * [taylor]: Taking taylor expansion of 1/2 in x 0.943 * [taylor]: Taking taylor expansion of x in x 0.943 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 0.943 * [taylor]: Taking taylor expansion of 1/2 in x 0.943 * [taylor]: Taking taylor expansion of y in x 0.943 * [taylor]: Taking taylor expansion of (* 1/2 z) in x 0.943 * [taylor]: Taking taylor expansion of 1/2 in x 0.943 * [taylor]: Taking taylor expansion of z in x 0.943 * [taylor]: Taking taylor expansion of (- (* 1/2 y) (* 1/2 z)) in y 0.943 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.943 * [taylor]: Taking taylor expansion of 1/2 in y 0.943 * [taylor]: Taking taylor expansion of y in y 0.943 * [taylor]: Taking taylor expansion of (* 1/2 z) in y 0.943 * [taylor]: Taking taylor expansion of 1/2 in y 0.943 * [taylor]: Taking taylor expansion of z in y 0.943 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.943 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.943 * [taylor]: Taking taylor expansion of 1/2 in z 0.943 * [taylor]: Taking taylor expansion of z in z 0.944 * [taylor]: Taking taylor expansion of 0 in x 0.944 * [taylor]: Taking taylor expansion of 0 in y 0.944 * [taylor]: Taking taylor expansion of 0 in z 0.944 * [taylor]: Taking taylor expansion of 1/2 in y 0.944 * [taylor]: Taking taylor expansion of 1/2 in z 0.944 * [taylor]: Taking taylor expansion of 1/2 in z 0.944 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in (t x y z) around 0 0.945 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.945 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.945 * [taylor]: Taking taylor expansion of 1/2 in z 0.945 * [taylor]: Taking taylor expansion of (/ t y) in z 0.945 * [taylor]: Taking taylor expansion of t in z 0.945 * [taylor]: Taking taylor expansion of y in z 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.945 * [taylor]: Taking taylor expansion of 1/2 in z 0.945 * [taylor]: Taking taylor expansion of (/ t x) in z 0.945 * [taylor]: Taking taylor expansion of t in z 0.945 * [taylor]: Taking taylor expansion of x in z 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.945 * [taylor]: Taking taylor expansion of 1/2 in z 0.945 * [taylor]: Taking taylor expansion of (/ t z) in z 0.945 * [taylor]: Taking taylor expansion of t in z 0.945 * [taylor]: Taking taylor expansion of z in z 0.945 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.945 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.945 * [taylor]: Taking taylor expansion of 1/2 in y 0.945 * [taylor]: Taking taylor expansion of (/ t y) in y 0.945 * [taylor]: Taking taylor expansion of t in y 0.945 * [taylor]: Taking taylor expansion of y in y 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.945 * [taylor]: Taking taylor expansion of 1/2 in y 0.945 * [taylor]: Taking taylor expansion of (/ t x) in y 0.945 * [taylor]: Taking taylor expansion of t in y 0.945 * [taylor]: Taking taylor expansion of x in y 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.945 * [taylor]: Taking taylor expansion of 1/2 in y 0.945 * [taylor]: Taking taylor expansion of (/ t z) in y 0.945 * [taylor]: Taking taylor expansion of t in y 0.945 * [taylor]: Taking taylor expansion of z in y 0.945 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.945 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.945 * [taylor]: Taking taylor expansion of 1/2 in x 0.945 * [taylor]: Taking taylor expansion of (/ t y) in x 0.945 * [taylor]: Taking taylor expansion of t in x 0.945 * [taylor]: Taking taylor expansion of y in x 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.945 * [taylor]: Taking taylor expansion of 1/2 in x 0.945 * [taylor]: Taking taylor expansion of (/ t x) in x 0.945 * [taylor]: Taking taylor expansion of t in x 0.945 * [taylor]: Taking taylor expansion of x in x 0.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.946 * [taylor]: Taking taylor expansion of 1/2 in x 0.946 * [taylor]: Taking taylor expansion of (/ t z) in x 0.946 * [taylor]: Taking taylor expansion of t in x 0.946 * [taylor]: Taking taylor expansion of z in x 0.946 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.946 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.946 * [taylor]: Taking taylor expansion of 1/2 in t 0.946 * [taylor]: Taking taylor expansion of (/ t y) in t 0.946 * [taylor]: Taking taylor expansion of t in t 0.946 * [taylor]: Taking taylor expansion of y in t 0.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.946 * [taylor]: Taking taylor expansion of 1/2 in t 0.946 * [taylor]: Taking taylor expansion of (/ t x) in t 0.946 * [taylor]: Taking taylor expansion of t in t 0.946 * [taylor]: Taking taylor expansion of x in t 0.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.946 * [taylor]: Taking taylor expansion of 1/2 in t 0.946 * [taylor]: Taking taylor expansion of (/ t z) in t 0.946 * [taylor]: Taking taylor expansion of t in t 0.946 * [taylor]: Taking taylor expansion of z in t 0.946 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.946 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.946 * [taylor]: Taking taylor expansion of 1/2 in t 0.946 * [taylor]: Taking taylor expansion of (/ t y) in t 0.946 * [taylor]: Taking taylor expansion of t in t 0.946 * [taylor]: Taking taylor expansion of y in t 0.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.946 * [taylor]: Taking taylor expansion of 1/2 in t 0.946 * [taylor]: Taking taylor expansion of (/ t x) in t 0.946 * [taylor]: Taking taylor expansion of t in t 0.946 * [taylor]: Taking taylor expansion of x in t 0.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.946 * [taylor]: Taking taylor expansion of 1/2 in t 0.946 * [taylor]: Taking taylor expansion of (/ t z) in t 0.946 * [taylor]: Taking taylor expansion of t in t 0.946 * [taylor]: Taking taylor expansion of z in t 0.947 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.947 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.947 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.947 * [taylor]: Taking taylor expansion of 1/2 in x 0.947 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.947 * [taylor]: Taking taylor expansion of y in x 0.947 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.947 * [taylor]: Taking taylor expansion of 1/2 in x 0.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.947 * [taylor]: Taking taylor expansion of x in x 0.947 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.947 * [taylor]: Taking taylor expansion of 1/2 in x 0.947 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.947 * [taylor]: Taking taylor expansion of z in x 0.947 * [taylor]: Taking taylor expansion of 1/2 in y 0.947 * [taylor]: Taking taylor expansion of 0 in x 0.948 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.948 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.948 * [taylor]: Taking taylor expansion of 1/2 in y 0.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.948 * [taylor]: Taking taylor expansion of y in y 0.948 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.948 * [taylor]: Taking taylor expansion of 1/2 in y 0.948 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.948 * [taylor]: Taking taylor expansion of z in y 0.948 * [taylor]: Taking taylor expansion of 1/2 in z 0.948 * [taylor]: Taking taylor expansion of 1/2 in z 0.948 * [taylor]: Taking taylor expansion of 0 in x 0.948 * [taylor]: Taking taylor expansion of 0 in y 0.949 * [taylor]: Taking taylor expansion of 0 in y 0.949 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.949 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.949 * [taylor]: Taking taylor expansion of 1/2 in z 0.949 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.949 * [taylor]: Taking taylor expansion of z in z 0.949 * [taylor]: Taking taylor expansion of 0 in z 0.950 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in (t x y z) around 0 0.950 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.950 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.950 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.950 * [taylor]: Taking taylor expansion of 1/2 in z 0.950 * [taylor]: Taking taylor expansion of (/ t y) in z 0.950 * [taylor]: Taking taylor expansion of t in z 0.950 * [taylor]: Taking taylor expansion of y in z 0.950 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.950 * [taylor]: Taking taylor expansion of 1/2 in z 0.950 * [taylor]: Taking taylor expansion of (/ t x) in z 0.950 * [taylor]: Taking taylor expansion of t in z 0.950 * [taylor]: Taking taylor expansion of x in z 0.950 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.950 * [taylor]: Taking taylor expansion of 1/2 in z 0.950 * [taylor]: Taking taylor expansion of (/ t z) in z 0.950 * [taylor]: Taking taylor expansion of t in z 0.950 * [taylor]: Taking taylor expansion of z in z 0.950 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.950 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.950 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.950 * [taylor]: Taking taylor expansion of 1/2 in y 0.950 * [taylor]: Taking taylor expansion of (/ t y) in y 0.950 * [taylor]: Taking taylor expansion of t in y 0.950 * [taylor]: Taking taylor expansion of y in y 0.950 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.950 * [taylor]: Taking taylor expansion of 1/2 in y 0.950 * [taylor]: Taking taylor expansion of (/ t x) in y 0.950 * [taylor]: Taking taylor expansion of t in y 0.950 * [taylor]: Taking taylor expansion of x in y 0.950 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.950 * [taylor]: Taking taylor expansion of 1/2 in y 0.950 * [taylor]: Taking taylor expansion of (/ t z) in y 0.950 * [taylor]: Taking taylor expansion of t in y 0.950 * [taylor]: Taking taylor expansion of z in y 0.950 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.950 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.950 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.950 * [taylor]: Taking taylor expansion of 1/2 in x 0.950 * [taylor]: Taking taylor expansion of (/ t y) in x 0.950 * [taylor]: Taking taylor expansion of t in x 0.950 * [taylor]: Taking taylor expansion of y in x 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.951 * [taylor]: Taking taylor expansion of 1/2 in x 0.951 * [taylor]: Taking taylor expansion of (/ t x) in x 0.951 * [taylor]: Taking taylor expansion of t in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.951 * [taylor]: Taking taylor expansion of 1/2 in x 0.951 * [taylor]: Taking taylor expansion of (/ t z) in x 0.951 * [taylor]: Taking taylor expansion of t in x 0.951 * [taylor]: Taking taylor expansion of z in x 0.951 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.951 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.951 * [taylor]: Taking taylor expansion of 1/2 in t 0.951 * [taylor]: Taking taylor expansion of (/ t y) in t 0.951 * [taylor]: Taking taylor expansion of t in t 0.951 * [taylor]: Taking taylor expansion of y in t 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.951 * [taylor]: Taking taylor expansion of 1/2 in t 0.951 * [taylor]: Taking taylor expansion of (/ t x) in t 0.951 * [taylor]: Taking taylor expansion of t in t 0.951 * [taylor]: Taking taylor expansion of x in t 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.951 * [taylor]: Taking taylor expansion of 1/2 in t 0.951 * [taylor]: Taking taylor expansion of (/ t z) in t 0.951 * [taylor]: Taking taylor expansion of t in t 0.951 * [taylor]: Taking taylor expansion of z in t 0.951 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.951 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.951 * [taylor]: Taking taylor expansion of 1/2 in t 0.951 * [taylor]: Taking taylor expansion of (/ t y) in t 0.951 * [taylor]: Taking taylor expansion of t in t 0.951 * [taylor]: Taking taylor expansion of y in t 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.951 * [taylor]: Taking taylor expansion of 1/2 in t 0.951 * [taylor]: Taking taylor expansion of (/ t x) in t 0.951 * [taylor]: Taking taylor expansion of t in t 0.951 * [taylor]: Taking taylor expansion of x in t 0.951 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.951 * [taylor]: Taking taylor expansion of 1/2 in t 0.951 * [taylor]: Taking taylor expansion of (/ t z) in t 0.951 * [taylor]: Taking taylor expansion of t in t 0.951 * [taylor]: Taking taylor expansion of z in t 0.952 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.952 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.952 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.952 * [taylor]: Taking taylor expansion of 1/2 in x 0.952 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.952 * [taylor]: Taking taylor expansion of y in x 0.952 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.952 * [taylor]: Taking taylor expansion of 1/2 in x 0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.952 * [taylor]: Taking taylor expansion of x in x 0.952 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.952 * [taylor]: Taking taylor expansion of 1/2 in x 0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.952 * [taylor]: Taking taylor expansion of z in x 0.952 * [taylor]: Taking taylor expansion of 1/2 in y 0.952 * [taylor]: Taking taylor expansion of 0 in x 0.953 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.953 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.953 * [taylor]: Taking taylor expansion of 1/2 in y 0.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.953 * [taylor]: Taking taylor expansion of y in y 0.953 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.953 * [taylor]: Taking taylor expansion of 1/2 in y 0.953 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.953 * [taylor]: Taking taylor expansion of z in y 0.953 * [taylor]: Taking taylor expansion of 1/2 in z 0.953 * [taylor]: Taking taylor expansion of 1/2 in z 0.953 * [taylor]: Taking taylor expansion of 0 in x 0.953 * [taylor]: Taking taylor expansion of 0 in y 0.954 * [taylor]: Taking taylor expansion of 0 in y 0.954 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.954 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.954 * [taylor]: Taking taylor expansion of 1/2 in z 0.954 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.954 * [taylor]: Taking taylor expansion of z in z 0.954 * [taylor]: Taking taylor expansion of 0 in z 0.954 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.955 * [approximate]: Taking taylor expansion of (* 1/2 (/ z t)) in (z t) around 0 0.955 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.955 * [taylor]: Taking taylor expansion of 1/2 in t 0.955 * [taylor]: Taking taylor expansion of (/ z t) in t 0.955 * [taylor]: Taking taylor expansion of z in t 0.955 * [taylor]: Taking taylor expansion of t in t 0.955 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.955 * [taylor]: Taking taylor expansion of 1/2 in z 0.955 * [taylor]: Taking taylor expansion of (/ z t) in z 0.955 * [taylor]: Taking taylor expansion of z in z 0.955 * [taylor]: Taking taylor expansion of t in z 0.955 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.955 * [taylor]: Taking taylor expansion of 1/2 in z 0.955 * [taylor]: Taking taylor expansion of (/ z t) in z 0.955 * [taylor]: Taking taylor expansion of z in z 0.955 * [taylor]: Taking taylor expansion of t in z 0.955 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.955 * [taylor]: Taking taylor expansion of 1/2 in t 0.955 * [taylor]: Taking taylor expansion of t in t 0.955 * [taylor]: Taking taylor expansion of 0 in t 0.955 * [taylor]: Taking taylor expansion of 0 in t 0.956 * [taylor]: Taking taylor expansion of 0 in t 0.956 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.956 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.956 * [taylor]: Taking taylor expansion of 1/2 in t 0.956 * [taylor]: Taking taylor expansion of (/ t z) in t 0.956 * [taylor]: Taking taylor expansion of t in t 0.956 * [taylor]: Taking taylor expansion of z in t 0.956 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.956 * [taylor]: Taking taylor expansion of 1/2 in z 0.956 * [taylor]: Taking taylor expansion of (/ t z) in z 0.956 * [taylor]: Taking taylor expansion of t in z 0.956 * [taylor]: Taking taylor expansion of z in z 0.956 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.956 * [taylor]: Taking taylor expansion of 1/2 in z 0.956 * [taylor]: Taking taylor expansion of (/ t z) in z 0.956 * [taylor]: Taking taylor expansion of t in z 0.956 * [taylor]: Taking taylor expansion of z in z 0.956 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.956 * [taylor]: Taking taylor expansion of 1/2 in t 0.956 * [taylor]: Taking taylor expansion of t in t 0.956 * [taylor]: Taking taylor expansion of 0 in t 0.956 * [taylor]: Taking taylor expansion of 0 in t 0.957 * [taylor]: Taking taylor expansion of 0 in t 0.957 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.957 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.957 * [taylor]: Taking taylor expansion of 1/2 in t 0.957 * [taylor]: Taking taylor expansion of (/ t z) in t 0.957 * [taylor]: Taking taylor expansion of t in t 0.957 * [taylor]: Taking taylor expansion of z in t 0.957 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.957 * [taylor]: Taking taylor expansion of 1/2 in z 0.957 * [taylor]: Taking taylor expansion of (/ t z) in z 0.957 * [taylor]: Taking taylor expansion of t in z 0.957 * [taylor]: Taking taylor expansion of z in z 0.957 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.957 * [taylor]: Taking taylor expansion of 1/2 in z 0.957 * [taylor]: Taking taylor expansion of (/ t z) in z 0.957 * [taylor]: Taking taylor expansion of t in z 0.957 * [taylor]: Taking taylor expansion of z in z 0.957 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.957 * [taylor]: Taking taylor expansion of 1/2 in t 0.957 * [taylor]: Taking taylor expansion of t in t 0.957 * [taylor]: Taking taylor expansion of 0 in t 0.958 * [taylor]: Taking taylor expansion of 0 in t 0.958 * [taylor]: Taking taylor expansion of 0 in t 0.958 * * * [progress]: simplifying candidates 0.959 * [simplify]: Simplifying using # : (*.f64 (/.f64 1/2 t) x) (+.f64 (-.f64 (log.f64 1/2) (log.f64 t)) (log.f64 x)) (+.f64 (log.f64 (/.f64 1/2 t)) (log.f64 x)) (log.f64 (*.f64 (/.f64 1/2 t) x)) (exp.f64 (*.f64 (/.f64 1/2 t) x)) (*.f64 (/.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (/.f64 1/2 t) (/.f64 1/2 t)) (/.f64 1/2 t)) (*.f64 (*.f64 x x) x)) (*.f64 (cbrt.f64 (*.f64 (/.f64 1/2 t) x)) (cbrt.f64 (*.f64 (/.f64 1/2 t) x))) (cbrt.f64 (*.f64 (/.f64 1/2 t) x)) (*.f64 (*.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x)) (*.f64 (/.f64 1/2 t) x)) (sqrt.f64 (*.f64 (/.f64 1/2 t) x)) (sqrt.f64 (*.f64 (/.f64 1/2 t) x)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 x)) (*.f64 (/.f64 1/2 t) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 1/2 t) (sqrt.f64 x)) (*.f64 (/.f64 1/2 t) 1) (*.f64 (cbrt.f64 (/.f64 1/2 t)) x) (*.f64 (sqrt.f64 (/.f64 1/2 t)) x) (*.f64 (/.f64 (cbrt.f64 1/2) (cbrt.f64 t)) x) (*.f64 (/.f64 (cbrt.f64 1/2) (sqrt.f64 t)) x) (*.f64 (/.f64 (cbrt.f64 1/2) t) x) (*.f64 (/.f64 (sqrt.f64 1/2) (cbrt.f64 t)) x) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) x) (*.f64 (/.f64 (sqrt.f64 1/2) t) x) (*.f64 (/.f64 1/2 (cbrt.f64 t)) x) (*.f64 (/.f64 1/2 (sqrt.f64 t)) x) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1 t) x) (*.f64 1/2 x) (*.f64 (/.f64 1/2 t) y) (+.f64 (-.f64 (log.f64 1/2) (log.f64 t)) (log.f64 y)) (+.f64 (log.f64 (/.f64 1/2 t)) (log.f64 y)) (log.f64 (*.f64 (/.f64 1/2 t) y)) (exp.f64 (*.f64 (/.f64 1/2 t) y)) (*.f64 (/.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (*.f64 (/.f64 1/2 t) (/.f64 1/2 t)) (/.f64 1/2 t)) (*.f64 (*.f64 y y) y)) (*.f64 (cbrt.f64 (*.f64 (/.f64 1/2 t) y)) (cbrt.f64 (*.f64 (/.f64 1/2 t) y))) (cbrt.f64 (*.f64 (/.f64 1/2 t) y)) (*.f64 (*.f64 (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y)) (*.f64 (/.f64 1/2 t) y)) (sqrt.f64 (*.f64 (/.f64 1/2 t) y)) (sqrt.f64 (*.f64 (/.f64 1/2 t) y)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 y)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 y)) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 y)) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 y)) (*.f64 (/.f64 1/2 t) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 1/2 t) (sqrt.f64 y)) (*.f64 (/.f64 1/2 t) 1) (*.f64 (cbrt.f64 (/.f64 1/2 t)) y) (*.f64 (sqrt.f64 (/.f64 1/2 t)) y) (*.f64 (/.f64 (cbrt.f64 1/2) (cbrt.f64 t)) y) (*.f64 (/.f64 (cbrt.f64 1/2) (sqrt.f64 t)) y) (*.f64 (/.f64 (cbrt.f64 1/2) t) y) (*.f64 (/.f64 (sqrt.f64 1/2) (cbrt.f64 t)) y) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) y) (*.f64 (/.f64 (sqrt.f64 1/2) t) y) (*.f64 (/.f64 1/2 (cbrt.f64 t)) y) (*.f64 (/.f64 1/2 (sqrt.f64 t)) y) (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1 t) y) (*.f64 1/2 y) (/.f64 (*.f64 (exp.f64 (*.f64 (/.f64 1/2 t) x)) (exp.f64 (*.f64 (/.f64 1/2 t) y))) (exp.f64 (*.f64 1/2 (/.f64 z t)))) (/.f64 (exp.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y))) (exp.f64 (*.f64 1/2 (/.f64 z t)))) (log.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (exp.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (cbrt.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t))))) (cbrt.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t))) (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (sqrt.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (sqrt.f64 (-.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t)))) (-.f64 (*.f64 (+.f64 (*.f64 (*.f64 1/2 x) t) (*.f64 t (*.f64 1/2 y))) t) (*.f64 (*.f64 t t) (*.f64 1/2 z))) (*.f64 (*.f64 t t) t) (-.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (/.f64 1/2 t) x) 3) (pow.f64 (*.f64 (/.f64 1/2 t) y) 3)) t) (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x)) (-.f64 (*.f64 (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y)) (*.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)))) (*.f64 1/2 z))) (*.f64 (+.f64 (*.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x)) (-.f64 (*.f64 (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y)) (*.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)))) t) (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x)) (*.f64 (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y))) t) (*.f64 (-.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 z))) (*.f64 (-.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) t) (-.f64 (pow.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) 3) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3)) (+.f64 (*.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y))) (+.f64 (*.f64 (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t))) (*.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t))))) (neg.f64 (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y))) (*.f64 (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)))) (+.f64 (+.f64 (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y)) (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 (/.f64 1/2 t) y) (*.f64 1/2 (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (+.f64 (log.f64 1/2) (-.f64 (log.f64 z) (log.f64 t))) (+.f64 (log.f64 1/2) (log.f64 (/.f64 z t))) (log.f64 (*.f64 1/2 (/.f64 z t))) (exp.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (/.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t))) (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (/.f64 z t) (/.f64 z t)) (/.f64 z t))) (*.f64 (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (cbrt.f64 (*.f64 1/2 (/.f64 z t)))) (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (*.f64 (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t))) (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (*.f64 (cbrt.f64 (/.f64 z t)) (cbrt.f64 (/.f64 z t)))) (*.f64 1/2 (sqrt.f64 (/.f64 z t))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (sqrt.f64 t))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) 1)) (*.f64 1/2 (/.f64 (sqrt.f64 z) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (/.f64 (sqrt.f64 z) 1)) (*.f64 1/2 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 1 (sqrt.f64 t))) (*.f64 1/2 (/.f64 1 1)) (*.f64 1/2 1) (*.f64 1/2 z) (*.f64 (cbrt.f64 1/2) (/.f64 z t)) (*.f64 (sqrt.f64 1/2) (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 z) (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 y t)) (-.f64 (+.f64 (*.f64 1/2 (/.f64 y t)) (*.f64 1/2 (/.f64 x t))) (*.f64 1/2 (/.f64 z t))) (-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t))) (-.f64 (+.f64 (*.f64 1/2 (/.f64 x t)) (*.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) 0.983 * * [simplify]: iteration 0 : 5545 enodes (cost 1064 ) 0.989 * [simplify]: Simplified to: (*.f64 (/.f64 1/2 t) x) (log.f64 (*.f64 (/.f64 1/2 t) x)) (log.f64 (*.f64 (/.f64 1/2 t) x)) (log.f64 (*.f64 (/.f64 1/2 t) x)) (sqrt.f64 (exp.f64 (/.f64 x t))) (*.f64 1/8 (pow.f64 (/.f64 x t) 3)) (*.f64 1/8 (pow.f64 (/.f64 x t) 3)) (*.f64 (cbrt.f64 (*.f64 (/.f64 1/2 t) x)) (cbrt.f64 (*.f64 (/.f64 1/2 t) x))) (cbrt.f64 (*.f64 (/.f64 1/2 t) x)) (*.f64 1/8 (pow.f64 (/.f64 x t) 3)) (sqrt.f64 (*.f64 (/.f64 1/2 t) x)) (sqrt.f64 (*.f64 (/.f64 1/2 t) x)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 x)) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 1/2) (sqrt.f64 t))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 1/2) (sqrt.f64 t))) (*.f64 (/.f64 1/2 t) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 1/2 t) (sqrt.f64 x)) (/.f64 1/2 t) (*.f64 x (cbrt.f64 (/.f64 1/2 t))) (*.f64 x (sqrt.f64 (/.f64 1/2 t))) (*.f64 x (/.f64 (cbrt.f64 1/2) (cbrt.f64 t))) (*.f64 x (/.f64 (cbrt.f64 1/2) (sqrt.f64 t))) (*.f64 x (/.f64 (cbrt.f64 1/2) t)) (*.f64 x (/.f64 (sqrt.f64 1/2) (cbrt.f64 t))) (*.f64 x (/.f64 (sqrt.f64 1/2) (sqrt.f64 t))) (*.f64 x (/.f64 (sqrt.f64 1/2) t)) (*.f64 x (/.f64 1/2 (cbrt.f64 t))) (*.f64 x (/.f64 1/2 (sqrt.f64 t))) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x) (/.f64 x t) (*.f64 1/2 x) (*.f64 (/.f64 1/2 t) y) (log.f64 (*.f64 (/.f64 1/2 t) y)) (log.f64 (*.f64 (/.f64 1/2 t) y)) (log.f64 (*.f64 (/.f64 1/2 t) y)) (sqrt.f64 (exp.f64 (/.f64 y t))) (*.f64 1/8 (pow.f64 (/.f64 y t) 3)) (*.f64 1/8 (pow.f64 (/.f64 y t) 3)) (*.f64 (cbrt.f64 (*.f64 (/.f64 1/2 t) y)) (cbrt.f64 (*.f64 (/.f64 1/2 t) y))) (cbrt.f64 (*.f64 (/.f64 1/2 t) y)) (*.f64 1/8 (pow.f64 (/.f64 y t) 3)) (sqrt.f64 (*.f64 (/.f64 1/2 t) y)) (sqrt.f64 (*.f64 (/.f64 1/2 t) y)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 y)) (*.f64 (sqrt.f64 (/.f64 1/2 t)) (sqrt.f64 y)) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 y)) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) (sqrt.f64 y)) (*.f64 (/.f64 1/2 t) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 1/2 t) (sqrt.f64 y)) (/.f64 1/2 t) (*.f64 (cbrt.f64 (/.f64 1/2 t)) y) (*.f64 (sqrt.f64 (/.f64 1/2 t)) y) (*.f64 (/.f64 (cbrt.f64 1/2) (cbrt.f64 t)) y) (*.f64 (/.f64 (cbrt.f64 1/2) (sqrt.f64 t)) y) (*.f64 (/.f64 (cbrt.f64 1/2) t) y) (*.f64 (/.f64 (sqrt.f64 1/2) (cbrt.f64 t)) y) (*.f64 (/.f64 (sqrt.f64 1/2) (sqrt.f64 t)) y) (*.f64 (/.f64 (sqrt.f64 1/2) t) y) (*.f64 (/.f64 1/2 (cbrt.f64 t)) y) (*.f64 (/.f64 1/2 (sqrt.f64 t)) y) (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y) (/.f64 y t) (*.f64 1/2 y) (/.f64 (pow.f64 (exp.f64 (/.f64 1/2 t)) (+.f64 x y)) (sqrt.f64 (exp.f64 (/.f64 z t)))) (/.f64 (pow.f64 (exp.f64 (/.f64 1/2 t)) (+.f64 x y)) (sqrt.f64 (exp.f64 (/.f64 z t)))) (log.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (/.f64 (pow.f64 (exp.f64 (/.f64 1/2 t)) (+.f64 x y)) (sqrt.f64 (exp.f64 (/.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (cbrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))))) (cbrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (*.f64 1/8 (pow.f64 (-.f64 (+.f64 (/.f64 x t) (/.f64 y t)) (/.f64 z t)) 3)) (sqrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t)))) (*.f64 t (*.f64 t (-.f64 (*.f64 1/2 (+.f64 x y)) (*.f64 1/2 z)))) (pow.f64 t 3) (-.f64 (*.f64 t (*.f64 1/8 (+.f64 (pow.f64 (/.f64 x t) 3) (pow.f64 (/.f64 y t) 3)))) (*.f64 (*.f64 1/2 z) (+.f64 (*.f64 1/4 (*.f64 (/.f64 x t) (/.f64 x t))) (*.f64 y (*.f64 (/.f64 (/.f64 1/4 t) t) (-.f64 y x)))))) (*.f64 t (+.f64 (*.f64 1/4 (*.f64 (/.f64 x t) (/.f64 x t))) (*.f64 y (*.f64 (/.f64 (/.f64 1/4 t) t) (-.f64 y x))))) (*.f64 (*.f64 (/.f64 1/2 t) (-.f64 x y)) (+.f64 (*.f64 t (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 z -1/2))) (*.f64 t (*.f64 (/.f64 1/2 t) (-.f64 x y))) (-.f64 (pow.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) 3) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3)) (+.f64 (*.f64 (/.f64 (/.f64 1/4 t) t) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 (*.f64 (/.f64 z t) 1/4) (+.f64 (/.f64 z t) (+.f64 (/.f64 x t) (/.f64 y t))))) (*.f64 (/.f64 z t) -1/2) (-.f64 (*.f64 (/.f64 (/.f64 1/4 t) t) (*.f64 (+.f64 x y) (+.f64 x y))) (*.f64 1/4 (*.f64 (/.f64 z t) (/.f64 z t)))) (+.f64 (*.f64 1/2 (/.f64 z t)) (*.f64 (/.f64 1/2 t) (+.f64 x y))) (*.f64 1/2 (-.f64 (/.f64 y t) (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (log.f64 (*.f64 1/2 (/.f64 z t))) (log.f64 (*.f64 1/2 (/.f64 z t))) (log.f64 (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (exp.f64 (/.f64 z t))) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3) (*.f64 (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (cbrt.f64 (*.f64 1/2 (/.f64 z t)))) (cbrt.f64 (*.f64 1/2 (/.f64 z t))) (pow.f64 (*.f64 1/2 (/.f64 z t)) 3) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (sqrt.f64 (*.f64 1/2 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (sqrt.f64 (/.f64 z t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (*.f64 (cbrt.f64 (/.f64 z t)) (cbrt.f64 (/.f64 z t)))) (*.f64 1/2 (sqrt.f64 (/.f64 z t))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (sqrt.f64 t))) (*.f64 1/2 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 1/2 (/.f64 (sqrt.f64 z) (*.f64 (cbrt.f64 t) (cbrt.f64 t)))) (*.f64 1/2 (/.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 1/2 (sqrt.f64 z)) (/.f64 1/2 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 1/2 (sqrt.f64 t)) 1/2 1/2 (*.f64 1/2 z) (*.f64 (cbrt.f64 1/2) (/.f64 z t)) (*.f64 (sqrt.f64 1/2) (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 z) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) x) (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y) (*.f64 (/.f64 1/2 t) y) (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))) (-.f64 (*.f64 (/.f64 1/2 t) (+.f64 x y)) (*.f64 1/2 (/.f64 z t))) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) (*.f64 1/2 (/.f64 z t)) 0.989 * * * [progress]: adding candidates to table 1.101 * [progress]: [Phase 3 of 3] Extracting. 1.101 * * [regime]: Finding splitpoints for: (# #) 1.102 * * * [regime-changes]: Trying 8 branch expressions: ((*.f64 t 2) (+.f64 x y) (-.f64 (+.f64 x y) z) (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) t z y x) 1.102 * * * * [regimes]: Trying to branch on (*.f64 t 2) from (# #) 1.153 * * * * [regimes]: Trying to branch on (+.f64 x y) from (# #) 1.203 * * * * [regimes]: Trying to branch on (-.f64 (+.f64 x y) z) from (# #) 1.255 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) from (# #) 1.307 * * * * [regimes]: Trying to branch on t from (# #) 1.357 * * * * [regimes]: Trying to branch on z from (# #) 1.405 * * * * [regimes]: Trying to branch on y from (# #) 1.452 * * * * [regimes]: Trying to branch on x from (# #) 1.503 * * * [regime]: Found split indices: #