37.953 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.464 * * * [progress]: [2/2] Setting up program. 0.467 * [progress]: [Phase 2 of 3] Improving. 0.467 * [simplify]: Simplifying using # : (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 0.579 * * [simplify]: iteration 0 : 1743 enodes (cost 9 ) 0.579 * * [simplify]: iteration 1 : 1743 enodes (cost 9 ) 0.579 * [simplify]: Simplified to: (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) 0.579 * * [progress]: iteration 1 / 4 0.579 * * * [progress]: picking best candidate 0.582 * * * * [pick]: Picked # 0.582 * * * [progress]: localizing error 0.588 * * * [progress]: generating rewritten candidates 0.588 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.599 * * * [progress]: generating series expansions 0.599 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.599 * [approximate]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in (x y z t) around 0 0.599 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in t 0.599 * [taylor]: Taking taylor expansion of 1/2 in t 0.599 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t 0.599 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t 0.599 * [taylor]: Taking taylor expansion of (+ x y) in t 0.599 * [taylor]: Taking taylor expansion of x in t 0.599 * [taylor]: Taking taylor expansion of y in t 0.599 * [taylor]: Taking taylor expansion of z in t 0.599 * [taylor]: Taking taylor expansion of t in t 0.599 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in z 0.599 * [taylor]: Taking taylor expansion of 1/2 in z 0.599 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z 0.599 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z 0.599 * [taylor]: Taking taylor expansion of (+ x y) in z 0.599 * [taylor]: Taking taylor expansion of x in z 0.599 * [taylor]: Taking taylor expansion of y in z 0.599 * [taylor]: Taking taylor expansion of z in z 0.599 * [taylor]: Taking taylor expansion of t in z 0.599 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in y 0.599 * [taylor]: Taking taylor expansion of 1/2 in y 0.599 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y 0.599 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y 0.599 * [taylor]: Taking taylor expansion of (+ x y) in y 0.599 * [taylor]: Taking taylor expansion of x in y 0.599 * [taylor]: Taking taylor expansion of y in y 0.600 * [taylor]: Taking taylor expansion of z in y 0.600 * [taylor]: Taking taylor expansion of t in y 0.600 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in x 0.600 * [taylor]: Taking taylor expansion of 1/2 in x 0.600 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 0.600 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 0.600 * [taylor]: Taking taylor expansion of (+ x y) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of y in x 0.600 * [taylor]: Taking taylor expansion of z in x 0.600 * [taylor]: Taking taylor expansion of t in x 0.600 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (+ x y) z) t)) in x 0.600 * [taylor]: Taking taylor expansion of 1/2 in x 0.600 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x 0.600 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x 0.600 * [taylor]: Taking taylor expansion of (+ x y) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of y in x 0.600 * [taylor]: Taking taylor expansion of z in x 0.600 * [taylor]: Taking taylor expansion of t in x 0.600 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- y z) t)) in y 0.600 * [taylor]: Taking taylor expansion of 1/2 in y 0.600 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y 0.600 * [taylor]: Taking taylor expansion of (- y z) in y 0.600 * [taylor]: Taking taylor expansion of y in y 0.600 * [taylor]: Taking taylor expansion of z in y 0.600 * [taylor]: Taking taylor expansion of t in y 0.600 * [taylor]: Taking taylor expansion of (* -1/2 (/ z t)) in z 0.600 * [taylor]: Taking taylor expansion of -1/2 in z 0.600 * [taylor]: Taking taylor expansion of (/ z t) in z 0.600 * [taylor]: Taking taylor expansion of z in z 0.600 * [taylor]: Taking taylor expansion of t in z 0.601 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 t)) in y 0.601 * [taylor]: Taking taylor expansion of 1/2 in y 0.601 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.601 * [taylor]: Taking taylor expansion of t in y 0.601 * [taylor]: Taking taylor expansion of (/ 1/2 t) in z 0.601 * [taylor]: Taking taylor expansion of 1/2 in z 0.601 * [taylor]: Taking taylor expansion of t in z 0.601 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.601 * [taylor]: Taking taylor expansion of 1/2 in t 0.601 * [taylor]: Taking taylor expansion of t in t 0.601 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 t)) in z 0.601 * [taylor]: Taking taylor expansion of 1/2 in z 0.601 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.601 * [taylor]: Taking taylor expansion of t in z 0.601 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.601 * [taylor]: Taking taylor expansion of 1/2 in t 0.601 * [taylor]: Taking taylor expansion of t in t 0.602 * [taylor]: Taking taylor expansion of (/ -1/2 t) in t 0.602 * [taylor]: Taking taylor expansion of -1/2 in t 0.602 * [taylor]: Taking taylor expansion of t in t 0.602 * [approximate]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0 0.602 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t 0.602 * [taylor]: Taking taylor expansion of 1/2 in t 0.602 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t 0.602 * [taylor]: Taking taylor expansion of t in t 0.602 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.602 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.602 * [taylor]: Taking taylor expansion of y in t 0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.602 * [taylor]: Taking taylor expansion of x in t 0.602 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.602 * [taylor]: Taking taylor expansion of z in t 0.602 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z 0.602 * [taylor]: Taking taylor expansion of 1/2 in z 0.602 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z 0.602 * [taylor]: Taking taylor expansion of t in z 0.602 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.602 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.602 * [taylor]: Taking taylor expansion of y in z 0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.603 * [taylor]: Taking taylor expansion of x in z 0.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.603 * [taylor]: Taking taylor expansion of z in z 0.603 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y 0.603 * [taylor]: Taking taylor expansion of 1/2 in y 0.603 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y 0.603 * [taylor]: Taking taylor expansion of t in y 0.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.603 * [taylor]: Taking taylor expansion of y in y 0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.603 * [taylor]: Taking taylor expansion of x in y 0.603 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.603 * [taylor]: Taking taylor expansion of z in y 0.603 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x 0.603 * [taylor]: Taking taylor expansion of 1/2 in x 0.603 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x 0.603 * [taylor]: Taking taylor expansion of t in x 0.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.603 * [taylor]: Taking taylor expansion of y in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.603 * [taylor]: Taking taylor expansion of z in x 0.603 * [taylor]: Taking taylor expansion of (* 1/2 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x 0.603 * [taylor]: Taking taylor expansion of 1/2 in x 0.603 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x 0.603 * [taylor]: Taking taylor expansion of t in x 0.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.603 * [taylor]: Taking taylor expansion of y in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.603 * [taylor]: Taking taylor expansion of z in x 0.603 * [taylor]: Taking taylor expansion of (* 1/2 t) in y 0.603 * [taylor]: Taking taylor expansion of 1/2 in y 0.603 * [taylor]: Taking taylor expansion of t in y 0.604 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ t y)) (* 1/2 (/ t z))) in y 0.604 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.604 * [taylor]: Taking taylor expansion of 1/2 in y 0.604 * [taylor]: Taking taylor expansion of (/ t y) in y 0.604 * [taylor]: Taking taylor expansion of t in y 0.604 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.604 * [taylor]: Taking taylor expansion of 1/2 in y 0.604 * [taylor]: Taking taylor expansion of (/ t z) in y 0.604 * [taylor]: Taking taylor expansion of t in y 0.604 * [taylor]: Taking taylor expansion of z in y 0.604 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.604 * [taylor]: Taking taylor expansion of 1/2 in z 0.604 * [taylor]: Taking taylor expansion of t in z 0.604 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.604 * [taylor]: Taking taylor expansion of 1/2 in z 0.604 * [taylor]: Taking taylor expansion of t in z 0.605 * [taylor]: Taking taylor expansion of 0 in y 0.605 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ t z))) in z 0.605 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.605 * [taylor]: Taking taylor expansion of 1/2 in z 0.605 * [taylor]: Taking taylor expansion of (/ t z) in z 0.605 * [taylor]: Taking taylor expansion of t in z 0.605 * [taylor]: Taking taylor expansion of z in z 0.605 * [taylor]: Taking taylor expansion of (neg (* 1/2 t)) in t 0.605 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.605 * [taylor]: Taking taylor expansion of 1/2 in t 0.605 * [taylor]: Taking taylor expansion of t in t 0.605 * [taylor]: Taking taylor expansion of 0 in z 0.605 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.605 * [taylor]: Taking taylor expansion of 1/2 in t 0.605 * [taylor]: Taking taylor expansion of t in t 0.605 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.605 * [taylor]: Taking taylor expansion of 1/2 in t 0.605 * [taylor]: Taking taylor expansion of t in t 0.606 * [taylor]: Taking taylor expansion of 0 in y 0.606 * [taylor]: Taking taylor expansion of 0 in z 0.606 * [taylor]: Taking taylor expansion of 0 in z 0.606 * [taylor]: Taking taylor expansion of 0 in z 0.606 * [taylor]: Taking taylor expansion of 0 in t 0.606 * [taylor]: Taking taylor expansion of 0 in t 0.606 * [taylor]: Taking taylor expansion of 0 in t 0.607 * [approximate]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0 0.607 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t 0.607 * [taylor]: Taking taylor expansion of -1/2 in t 0.607 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t 0.607 * [taylor]: Taking taylor expansion of t in t 0.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t 0.607 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.607 * [taylor]: Taking taylor expansion of z in t 0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.607 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.607 * [taylor]: Taking taylor expansion of y in t 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.607 * [taylor]: Taking taylor expansion of x in t 0.607 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z 0.607 * [taylor]: Taking taylor expansion of -1/2 in z 0.607 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z 0.607 * [taylor]: Taking taylor expansion of t in z 0.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z 0.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.607 * [taylor]: Taking taylor expansion of z in z 0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 0.607 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.607 * [taylor]: Taking taylor expansion of y in z 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.607 * [taylor]: Taking taylor expansion of x in z 0.607 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y 0.607 * [taylor]: Taking taylor expansion of -1/2 in y 0.607 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y 0.607 * [taylor]: Taking taylor expansion of t in y 0.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y 0.607 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.607 * [taylor]: Taking taylor expansion of z in y 0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.607 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.607 * [taylor]: Taking taylor expansion of y in y 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.607 * [taylor]: Taking taylor expansion of x in y 0.607 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x 0.607 * [taylor]: Taking taylor expansion of -1/2 in x 0.607 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 0.607 * [taylor]: Taking taylor expansion of t in x 0.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 0.607 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.607 * [taylor]: Taking taylor expansion of z in x 0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.608 * [taylor]: Taking taylor expansion of y in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (* -1/2 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x 0.608 * [taylor]: Taking taylor expansion of -1/2 in x 0.608 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 0.608 * [taylor]: Taking taylor expansion of t in x 0.608 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.608 * [taylor]: Taking taylor expansion of z in x 0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.608 * [taylor]: Taking taylor expansion of y in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (* 1/2 t) in y 0.608 * [taylor]: Taking taylor expansion of 1/2 in y 0.608 * [taylor]: Taking taylor expansion of t in y 0.608 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ t y)) (* 1/2 (/ t z))) in y 0.608 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.608 * [taylor]: Taking taylor expansion of 1/2 in y 0.608 * [taylor]: Taking taylor expansion of (/ t y) in y 0.608 * [taylor]: Taking taylor expansion of t in y 0.608 * [taylor]: Taking taylor expansion of y in y 0.608 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.609 * [taylor]: Taking taylor expansion of 1/2 in y 0.609 * [taylor]: Taking taylor expansion of (/ t z) in y 0.609 * [taylor]: Taking taylor expansion of t in y 0.609 * [taylor]: Taking taylor expansion of z in y 0.609 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.609 * [taylor]: Taking taylor expansion of 1/2 in z 0.609 * [taylor]: Taking taylor expansion of t in z 0.609 * [taylor]: Taking taylor expansion of (* 1/2 t) in z 0.609 * [taylor]: Taking taylor expansion of 1/2 in z 0.609 * [taylor]: Taking taylor expansion of t in z 0.609 * [taylor]: Taking taylor expansion of 0 in y 0.609 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ t z))) in z 0.609 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.609 * [taylor]: Taking taylor expansion of 1/2 in z 0.609 * [taylor]: Taking taylor expansion of (/ t z) in z 0.609 * [taylor]: Taking taylor expansion of t in z 0.609 * [taylor]: Taking taylor expansion of z in z 0.610 * [taylor]: Taking taylor expansion of (neg (* 1/2 t)) in t 0.610 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.610 * [taylor]: Taking taylor expansion of 1/2 in t 0.610 * [taylor]: Taking taylor expansion of t in t 0.610 * [taylor]: Taking taylor expansion of 0 in z 0.610 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.610 * [taylor]: Taking taylor expansion of 1/2 in t 0.610 * [taylor]: Taking taylor expansion of t in t 0.610 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.610 * [taylor]: Taking taylor expansion of 1/2 in t 0.610 * [taylor]: Taking taylor expansion of t in t 0.610 * [taylor]: Taking taylor expansion of 0 in y 0.610 * [taylor]: Taking taylor expansion of 0 in z 0.611 * [taylor]: Taking taylor expansion of 0 in z 0.611 * [taylor]: Taking taylor expansion of 0 in z 0.611 * [taylor]: Taking taylor expansion of 0 in t 0.611 * [taylor]: Taking taylor expansion of 0 in t 0.611 * [taylor]: Taking taylor expansion of 0 in t 0.611 * * * [progress]: simplifying candidates 0.611 * [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.637 * * [simplify]: iteration 0 : 5205 enodes (cost 348 ) 0.639 * [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.639 * * * [progress]: adding candidates to table 0.656 * * [progress]: iteration 2 / 4 0.656 * * * [progress]: picking best candidate 0.660 * * * * [pick]: Picked # 0.660 * * * [progress]: localizing error 0.669 * * * [progress]: generating rewritten candidates 0.669 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.678 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.686 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.696 * * * [progress]: generating series expansions 0.696 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.696 * [approximate]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in (t x y) around 0 0.697 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in y 0.697 * [taylor]: Taking taylor expansion of 1/2 in y 0.697 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y 0.697 * [taylor]: Taking taylor expansion of (+ x y) in y 0.697 * [taylor]: Taking taylor expansion of x in y 0.697 * [taylor]: Taking taylor expansion of y in y 0.697 * [taylor]: Taking taylor expansion of t in y 0.697 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in x 0.697 * [taylor]: Taking taylor expansion of 1/2 in x 0.697 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x 0.697 * [taylor]: Taking taylor expansion of (+ x y) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of y in x 0.697 * [taylor]: Taking taylor expansion of t in x 0.697 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in t 0.697 * [taylor]: Taking taylor expansion of 1/2 in t 0.697 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t 0.697 * [taylor]: Taking taylor expansion of (+ x y) in t 0.697 * [taylor]: Taking taylor expansion of x in t 0.697 * [taylor]: Taking taylor expansion of y in t 0.697 * [taylor]: Taking taylor expansion of t in t 0.697 * [taylor]: Taking taylor expansion of (* 1/2 (/ (+ x y) t)) in t 0.697 * [taylor]: Taking taylor expansion of 1/2 in t 0.697 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t 0.697 * [taylor]: Taking taylor expansion of (+ x y) in t 0.697 * [taylor]: Taking taylor expansion of x in t 0.697 * [taylor]: Taking taylor expansion of y in t 0.697 * [taylor]: Taking taylor expansion of t in t 0.697 * [taylor]: Taking taylor expansion of (* 1/2 (+ x y)) in x 0.697 * [taylor]: Taking taylor expansion of 1/2 in x 0.697 * [taylor]: Taking taylor expansion of (+ x y) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of y in x 0.697 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.697 * [taylor]: Taking taylor expansion of 1/2 in y 0.697 * [taylor]: Taking taylor expansion of y in y 0.698 * [taylor]: Taking taylor expansion of 0 in x 0.698 * [taylor]: Taking taylor expansion of 0 in y 0.698 * [taylor]: Taking taylor expansion of 1/2 in y 0.698 * [taylor]: Taking taylor expansion of 0 in x 0.698 * [taylor]: Taking taylor expansion of 0 in y 0.698 * [taylor]: Taking taylor expansion of 0 in y 0.698 * [taylor]: Taking taylor expansion of 0 in y 0.698 * [approximate]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in (t x y) around 0 0.698 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in y 0.698 * [taylor]: Taking taylor expansion of 1/2 in y 0.698 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y 0.698 * [taylor]: Taking taylor expansion of t in y 0.698 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.698 * [taylor]: Taking taylor expansion of y in y 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.699 * [taylor]: Taking taylor expansion of x in y 0.699 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in x 0.699 * [taylor]: Taking taylor expansion of 1/2 in x 0.699 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x 0.699 * [taylor]: Taking taylor expansion of t in x 0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.699 * [taylor]: Taking taylor expansion of y in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.701 * [taylor]: Taking taylor expansion of 1/2 in t 0.701 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.701 * [taylor]: Taking taylor expansion of t in t 0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.701 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.701 * [taylor]: Taking taylor expansion of y in t 0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.701 * [taylor]: Taking taylor expansion of x in t 0.701 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.701 * [taylor]: Taking taylor expansion of 1/2 in t 0.701 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.701 * [taylor]: Taking taylor expansion of t in t 0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.701 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.701 * [taylor]: Taking taylor expansion of y in t 0.701 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.701 * [taylor]: Taking taylor expansion of x in t 0.701 * [taylor]: Taking taylor expansion of 0 in x 0.702 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.702 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.702 * [taylor]: Taking taylor expansion of 1/2 in x 0.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.702 * [taylor]: Taking taylor expansion of y in x 0.702 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.702 * [taylor]: Taking taylor expansion of 1/2 in x 0.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.702 * [taylor]: Taking taylor expansion of x in x 0.702 * [taylor]: Taking taylor expansion of 1/2 in y 0.702 * [taylor]: Taking taylor expansion of 0 in y 0.702 * [taylor]: Taking taylor expansion of 0 in x 0.702 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.702 * [taylor]: Taking taylor expansion of 1/2 in y 0.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.702 * [taylor]: Taking taylor expansion of y in y 0.702 * [taylor]: Taking taylor expansion of 0 in y 0.703 * [taylor]: Taking taylor expansion of 0 in x 0.703 * [taylor]: Taking taylor expansion of 0 in y 0.703 * [taylor]: Taking taylor expansion of 0 in y 0.703 * [taylor]: Taking taylor expansion of 0 in y 0.704 * [taylor]: Taking taylor expansion of 0 in x 0.704 * [taylor]: Taking taylor expansion of 0 in y 0.704 * [taylor]: Taking taylor expansion of 0 in y 0.704 * [taylor]: Taking taylor expansion of 0 in y 0.704 * [taylor]: Taking taylor expansion of 0 in y 0.704 * [approximate]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in (t x y) around 0 0.704 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in y 0.704 * [taylor]: Taking taylor expansion of 1/2 in y 0.704 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y 0.704 * [taylor]: Taking taylor expansion of t in y 0.704 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.704 * [taylor]: Taking taylor expansion of y in y 0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.704 * [taylor]: Taking taylor expansion of x in y 0.704 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in x 0.704 * [taylor]: Taking taylor expansion of 1/2 in x 0.704 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x 0.705 * [taylor]: Taking taylor expansion of t in x 0.705 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.705 * [taylor]: Taking taylor expansion of y in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.705 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.705 * [taylor]: Taking taylor expansion of 1/2 in t 0.705 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.705 * [taylor]: Taking taylor expansion of t in t 0.705 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.705 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.705 * [taylor]: Taking taylor expansion of y in t 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.705 * [taylor]: Taking taylor expansion of x in t 0.705 * [taylor]: Taking taylor expansion of (* 1/2 (* t (+ (/ 1 y) (/ 1 x)))) in t 0.705 * [taylor]: Taking taylor expansion of 1/2 in t 0.705 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t 0.705 * [taylor]: Taking taylor expansion of t in t 0.705 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 0.705 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.705 * [taylor]: Taking taylor expansion of y in t 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.705 * [taylor]: Taking taylor expansion of x in t 0.705 * [taylor]: Taking taylor expansion of 0 in x 0.705 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.706 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.706 * [taylor]: Taking taylor expansion of 1/2 in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.706 * [taylor]: Taking taylor expansion of y in x 0.706 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.706 * [taylor]: Taking taylor expansion of 1/2 in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of 1/2 in y 0.706 * [taylor]: Taking taylor expansion of 0 in y 0.706 * [taylor]: Taking taylor expansion of 0 in x 0.706 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.706 * [taylor]: Taking taylor expansion of 1/2 in y 0.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.706 * [taylor]: Taking taylor expansion of y in y 0.706 * [taylor]: Taking taylor expansion of 0 in y 0.707 * [taylor]: Taking taylor expansion of 0 in x 0.707 * [taylor]: Taking taylor expansion of 0 in y 0.707 * [taylor]: Taking taylor expansion of 0 in y 0.707 * [taylor]: Taking taylor expansion of 0 in y 0.707 * [taylor]: Taking taylor expansion of 0 in x 0.708 * [taylor]: Taking taylor expansion of 0 in y 0.708 * [taylor]: Taking taylor expansion of 0 in y 0.708 * [taylor]: Taking taylor expansion of 0 in y 0.708 * [taylor]: Taking taylor expansion of 0 in y 0.708 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.708 * [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.708 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in z 0.708 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in z 0.708 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in z 0.708 * [taylor]: Taking taylor expansion of 1/2 in z 0.708 * [taylor]: Taking taylor expansion of (/ x t) in z 0.708 * [taylor]: Taking taylor expansion of x in z 0.708 * [taylor]: Taking taylor expansion of t in z 0.708 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in z 0.708 * [taylor]: Taking taylor expansion of 1/2 in z 0.709 * [taylor]: Taking taylor expansion of (/ y t) in z 0.709 * [taylor]: Taking taylor expansion of y in z 0.709 * [taylor]: Taking taylor expansion of t in z 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.709 * [taylor]: Taking taylor expansion of 1/2 in z 0.709 * [taylor]: Taking taylor expansion of (/ z t) in z 0.709 * [taylor]: Taking taylor expansion of z in z 0.709 * [taylor]: Taking taylor expansion of t in z 0.709 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in y 0.709 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in y 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in y 0.709 * [taylor]: Taking taylor expansion of 1/2 in y 0.709 * [taylor]: Taking taylor expansion of (/ x t) in y 0.709 * [taylor]: Taking taylor expansion of x in y 0.709 * [taylor]: Taking taylor expansion of t in y 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in y 0.709 * [taylor]: Taking taylor expansion of 1/2 in y 0.709 * [taylor]: Taking taylor expansion of (/ y t) in y 0.709 * [taylor]: Taking taylor expansion of y in y 0.709 * [taylor]: Taking taylor expansion of t in y 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in y 0.709 * [taylor]: Taking taylor expansion of 1/2 in y 0.709 * [taylor]: Taking taylor expansion of (/ z t) in y 0.709 * [taylor]: Taking taylor expansion of z in y 0.709 * [taylor]: Taking taylor expansion of t in y 0.709 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in x 0.709 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in x 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in x 0.709 * [taylor]: Taking taylor expansion of 1/2 in x 0.709 * [taylor]: Taking taylor expansion of (/ x t) in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of t in x 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in x 0.709 * [taylor]: Taking taylor expansion of 1/2 in x 0.709 * [taylor]: Taking taylor expansion of (/ y t) in x 0.709 * [taylor]: Taking taylor expansion of y in x 0.709 * [taylor]: Taking taylor expansion of t in x 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in x 0.709 * [taylor]: Taking taylor expansion of 1/2 in x 0.709 * [taylor]: Taking taylor expansion of (/ z t) in x 0.709 * [taylor]: Taking taylor expansion of z in x 0.709 * [taylor]: Taking taylor expansion of t in x 0.709 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.709 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.709 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.709 * [taylor]: Taking taylor expansion of 1/2 in t 0.709 * [taylor]: Taking taylor expansion of (/ x t) in t 0.709 * [taylor]: Taking taylor expansion of x in t 0.709 * [taylor]: Taking taylor expansion of t in t 0.710 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.710 * [taylor]: Taking taylor expansion of 1/2 in t 0.710 * [taylor]: Taking taylor expansion of (/ y t) in t 0.710 * [taylor]: Taking taylor expansion of y in t 0.710 * [taylor]: Taking taylor expansion of t in t 0.710 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.710 * [taylor]: Taking taylor expansion of 1/2 in t 0.710 * [taylor]: Taking taylor expansion of (/ z t) in t 0.710 * [taylor]: Taking taylor expansion of z in t 0.710 * [taylor]: Taking taylor expansion of t in t 0.710 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.710 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.710 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.710 * [taylor]: Taking taylor expansion of 1/2 in t 0.710 * [taylor]: Taking taylor expansion of (/ x t) in t 0.710 * [taylor]: Taking taylor expansion of x in t 0.710 * [taylor]: Taking taylor expansion of t in t 0.710 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.710 * [taylor]: Taking taylor expansion of 1/2 in t 0.710 * [taylor]: Taking taylor expansion of (/ y t) in t 0.710 * [taylor]: Taking taylor expansion of y in t 0.710 * [taylor]: Taking taylor expansion of t in t 0.710 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.710 * [taylor]: Taking taylor expansion of 1/2 in t 0.710 * [taylor]: Taking taylor expansion of (/ z t) in t 0.710 * [taylor]: Taking taylor expansion of z in t 0.710 * [taylor]: Taking taylor expansion of t in t 0.710 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 x) (* 1/2 y)) (* 1/2 z)) in x 0.710 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) (* 1/2 y)) in x 0.710 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.710 * [taylor]: Taking taylor expansion of 1/2 in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.710 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 0.710 * [taylor]: Taking taylor expansion of 1/2 in x 0.710 * [taylor]: Taking taylor expansion of y in x 0.710 * [taylor]: Taking taylor expansion of (* 1/2 z) in x 0.710 * [taylor]: Taking taylor expansion of 1/2 in x 0.710 * [taylor]: Taking taylor expansion of z in x 0.711 * [taylor]: Taking taylor expansion of (- (* 1/2 y) (* 1/2 z)) in y 0.711 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.711 * [taylor]: Taking taylor expansion of 1/2 in y 0.711 * [taylor]: Taking taylor expansion of y in y 0.711 * [taylor]: Taking taylor expansion of (* 1/2 z) in y 0.711 * [taylor]: Taking taylor expansion of 1/2 in y 0.711 * [taylor]: Taking taylor expansion of z in y 0.711 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.711 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.711 * [taylor]: Taking taylor expansion of 1/2 in z 0.711 * [taylor]: Taking taylor expansion of z in z 0.711 * [taylor]: Taking taylor expansion of 0 in x 0.711 * [taylor]: Taking taylor expansion of 0 in y 0.711 * [taylor]: Taking taylor expansion of 0 in z 0.711 * [taylor]: Taking taylor expansion of 1/2 in y 0.711 * [taylor]: Taking taylor expansion of 1/2 in z 0.711 * [taylor]: Taking taylor expansion of 1/2 in z 0.712 * [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.712 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.712 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.712 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.712 * [taylor]: Taking taylor expansion of 1/2 in z 0.712 * [taylor]: Taking taylor expansion of (/ t y) in z 0.712 * [taylor]: Taking taylor expansion of t in z 0.712 * [taylor]: Taking taylor expansion of y in z 0.712 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.712 * [taylor]: Taking taylor expansion of 1/2 in z 0.712 * [taylor]: Taking taylor expansion of (/ t x) in z 0.712 * [taylor]: Taking taylor expansion of t in z 0.712 * [taylor]: Taking taylor expansion of x in z 0.712 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.712 * [taylor]: Taking taylor expansion of 1/2 in z 0.712 * [taylor]: Taking taylor expansion of (/ t z) in z 0.712 * [taylor]: Taking taylor expansion of t in z 0.712 * [taylor]: Taking taylor expansion of z in z 0.712 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.712 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.712 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.712 * [taylor]: Taking taylor expansion of 1/2 in y 0.712 * [taylor]: Taking taylor expansion of (/ t y) in y 0.712 * [taylor]: Taking taylor expansion of t in y 0.712 * [taylor]: Taking taylor expansion of y in y 0.712 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.712 * [taylor]: Taking taylor expansion of 1/2 in y 0.712 * [taylor]: Taking taylor expansion of (/ t x) in y 0.712 * [taylor]: Taking taylor expansion of t in y 0.713 * [taylor]: Taking taylor expansion of x in y 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.713 * [taylor]: Taking taylor expansion of 1/2 in y 0.713 * [taylor]: Taking taylor expansion of (/ t z) in y 0.713 * [taylor]: Taking taylor expansion of t in y 0.713 * [taylor]: Taking taylor expansion of z in y 0.713 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.713 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.713 * [taylor]: Taking taylor expansion of 1/2 in x 0.713 * [taylor]: Taking taylor expansion of (/ t y) in x 0.713 * [taylor]: Taking taylor expansion of t in x 0.713 * [taylor]: Taking taylor expansion of y in x 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.713 * [taylor]: Taking taylor expansion of 1/2 in x 0.713 * [taylor]: Taking taylor expansion of (/ t x) in x 0.713 * [taylor]: Taking taylor expansion of t in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.713 * [taylor]: Taking taylor expansion of 1/2 in x 0.713 * [taylor]: Taking taylor expansion of (/ t z) in x 0.713 * [taylor]: Taking taylor expansion of t in x 0.713 * [taylor]: Taking taylor expansion of z in x 0.713 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.713 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.713 * [taylor]: Taking taylor expansion of 1/2 in t 0.713 * [taylor]: Taking taylor expansion of (/ t y) in t 0.713 * [taylor]: Taking taylor expansion of t in t 0.713 * [taylor]: Taking taylor expansion of y in t 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.713 * [taylor]: Taking taylor expansion of 1/2 in t 0.713 * [taylor]: Taking taylor expansion of (/ t x) in t 0.713 * [taylor]: Taking taylor expansion of t in t 0.713 * [taylor]: Taking taylor expansion of x in t 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.713 * [taylor]: Taking taylor expansion of 1/2 in t 0.713 * [taylor]: Taking taylor expansion of (/ t z) in t 0.713 * [taylor]: Taking taylor expansion of t in t 0.713 * [taylor]: Taking taylor expansion of z in t 0.713 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.713 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.713 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.713 * [taylor]: Taking taylor expansion of 1/2 in t 0.713 * [taylor]: Taking taylor expansion of (/ t y) in t 0.713 * [taylor]: Taking taylor expansion of t in t 0.713 * [taylor]: Taking taylor expansion of y in t 0.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.714 * [taylor]: Taking taylor expansion of 1/2 in t 0.714 * [taylor]: Taking taylor expansion of (/ t x) in t 0.714 * [taylor]: Taking taylor expansion of t in t 0.714 * [taylor]: Taking taylor expansion of x in t 0.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.714 * [taylor]: Taking taylor expansion of 1/2 in t 0.714 * [taylor]: Taking taylor expansion of (/ t z) in t 0.714 * [taylor]: Taking taylor expansion of t in t 0.714 * [taylor]: Taking taylor expansion of z in t 0.714 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.714 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.714 * [taylor]: Taking taylor expansion of 1/2 in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.714 * [taylor]: Taking taylor expansion of y in x 0.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.714 * [taylor]: Taking taylor expansion of 1/2 in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.714 * [taylor]: Taking taylor expansion of 1/2 in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.714 * [taylor]: Taking taylor expansion of z in x 0.714 * [taylor]: Taking taylor expansion of 1/2 in y 0.715 * [taylor]: Taking taylor expansion of 0 in x 0.715 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.715 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.715 * [taylor]: Taking taylor expansion of 1/2 in y 0.715 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.715 * [taylor]: Taking taylor expansion of y in y 0.715 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.715 * [taylor]: Taking taylor expansion of 1/2 in y 0.715 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.715 * [taylor]: Taking taylor expansion of z in y 0.715 * [taylor]: Taking taylor expansion of 1/2 in z 0.715 * [taylor]: Taking taylor expansion of 1/2 in z 0.716 * [taylor]: Taking taylor expansion of 0 in x 0.716 * [taylor]: Taking taylor expansion of 0 in y 0.716 * [taylor]: Taking taylor expansion of 0 in y 0.716 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.716 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.716 * [taylor]: Taking taylor expansion of 1/2 in z 0.716 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.716 * [taylor]: Taking taylor expansion of z in z 0.716 * [taylor]: Taking taylor expansion of 0 in z 0.717 * [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.717 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.717 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.717 * [taylor]: Taking taylor expansion of 1/2 in z 0.717 * [taylor]: Taking taylor expansion of (/ t y) in z 0.717 * [taylor]: Taking taylor expansion of t in z 0.717 * [taylor]: Taking taylor expansion of y in z 0.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.717 * [taylor]: Taking taylor expansion of 1/2 in z 0.717 * [taylor]: Taking taylor expansion of (/ t x) in z 0.717 * [taylor]: Taking taylor expansion of t in z 0.717 * [taylor]: Taking taylor expansion of x in z 0.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.717 * [taylor]: Taking taylor expansion of 1/2 in z 0.717 * [taylor]: Taking taylor expansion of (/ t z) in z 0.717 * [taylor]: Taking taylor expansion of t in z 0.717 * [taylor]: Taking taylor expansion of z in z 0.717 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.717 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.717 * [taylor]: Taking taylor expansion of 1/2 in y 0.717 * [taylor]: Taking taylor expansion of (/ t y) in y 0.717 * [taylor]: Taking taylor expansion of t in y 0.717 * [taylor]: Taking taylor expansion of y in y 0.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.717 * [taylor]: Taking taylor expansion of 1/2 in y 0.717 * [taylor]: Taking taylor expansion of (/ t x) in y 0.717 * [taylor]: Taking taylor expansion of t in y 0.717 * [taylor]: Taking taylor expansion of x in y 0.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.718 * [taylor]: Taking taylor expansion of 1/2 in y 0.718 * [taylor]: Taking taylor expansion of (/ t z) in y 0.718 * [taylor]: Taking taylor expansion of t in y 0.718 * [taylor]: Taking taylor expansion of z in y 0.718 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.718 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.718 * [taylor]: Taking taylor expansion of 1/2 in x 0.718 * [taylor]: Taking taylor expansion of (/ t y) in x 0.718 * [taylor]: Taking taylor expansion of t in x 0.718 * [taylor]: Taking taylor expansion of y in x 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.718 * [taylor]: Taking taylor expansion of 1/2 in x 0.718 * [taylor]: Taking taylor expansion of (/ t x) in x 0.718 * [taylor]: Taking taylor expansion of t in x 0.718 * [taylor]: Taking taylor expansion of x in x 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.718 * [taylor]: Taking taylor expansion of 1/2 in x 0.718 * [taylor]: Taking taylor expansion of (/ t z) in x 0.718 * [taylor]: Taking taylor expansion of t in x 0.718 * [taylor]: Taking taylor expansion of z in x 0.718 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.718 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.718 * [taylor]: Taking taylor expansion of 1/2 in t 0.718 * [taylor]: Taking taylor expansion of (/ t y) in t 0.718 * [taylor]: Taking taylor expansion of t in t 0.718 * [taylor]: Taking taylor expansion of y in t 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.718 * [taylor]: Taking taylor expansion of 1/2 in t 0.718 * [taylor]: Taking taylor expansion of (/ t x) in t 0.718 * [taylor]: Taking taylor expansion of t in t 0.718 * [taylor]: Taking taylor expansion of x in t 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.718 * [taylor]: Taking taylor expansion of 1/2 in t 0.718 * [taylor]: Taking taylor expansion of (/ t z) in t 0.718 * [taylor]: Taking taylor expansion of t in t 0.718 * [taylor]: Taking taylor expansion of z in t 0.718 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.718 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.718 * [taylor]: Taking taylor expansion of 1/2 in t 0.718 * [taylor]: Taking taylor expansion of (/ t y) in t 0.718 * [taylor]: Taking taylor expansion of t in t 0.718 * [taylor]: Taking taylor expansion of y in t 0.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.718 * [taylor]: Taking taylor expansion of 1/2 in t 0.718 * [taylor]: Taking taylor expansion of (/ t x) in t 0.718 * [taylor]: Taking taylor expansion of t in t 0.718 * [taylor]: Taking taylor expansion of x in t 0.719 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.719 * [taylor]: Taking taylor expansion of 1/2 in t 0.719 * [taylor]: Taking taylor expansion of (/ t z) in t 0.719 * [taylor]: Taking taylor expansion of t in t 0.719 * [taylor]: Taking taylor expansion of z in t 0.719 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.719 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.719 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.719 * [taylor]: Taking taylor expansion of 1/2 in x 0.719 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.719 * [taylor]: Taking taylor expansion of y in x 0.719 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.719 * [taylor]: Taking taylor expansion of 1/2 in x 0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.719 * [taylor]: Taking taylor expansion of x in x 0.719 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.719 * [taylor]: Taking taylor expansion of 1/2 in x 0.719 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.719 * [taylor]: Taking taylor expansion of z in x 0.719 * [taylor]: Taking taylor expansion of 1/2 in y 0.720 * [taylor]: Taking taylor expansion of 0 in x 0.720 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.720 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.720 * [taylor]: Taking taylor expansion of 1/2 in y 0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.720 * [taylor]: Taking taylor expansion of y in y 0.720 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.720 * [taylor]: Taking taylor expansion of 1/2 in y 0.720 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.720 * [taylor]: Taking taylor expansion of z in y 0.720 * [taylor]: Taking taylor expansion of 1/2 in z 0.720 * [taylor]: Taking taylor expansion of 1/2 in z 0.720 * [taylor]: Taking taylor expansion of 0 in x 0.721 * [taylor]: Taking taylor expansion of 0 in y 0.721 * [taylor]: Taking taylor expansion of 0 in y 0.721 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.721 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.721 * [taylor]: Taking taylor expansion of 1/2 in z 0.721 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.721 * [taylor]: Taking taylor expansion of z in z 0.721 * [taylor]: Taking taylor expansion of 0 in z 0.722 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.722 * [approximate]: Taking taylor expansion of (* 1/2 (/ z t)) in (z t) around 0 0.722 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.722 * [taylor]: Taking taylor expansion of 1/2 in t 0.722 * [taylor]: Taking taylor expansion of (/ z t) in t 0.722 * [taylor]: Taking taylor expansion of z in t 0.722 * [taylor]: Taking taylor expansion of t in t 0.722 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.722 * [taylor]: Taking taylor expansion of 1/2 in z 0.722 * [taylor]: Taking taylor expansion of (/ z t) in z 0.722 * [taylor]: Taking taylor expansion of z in z 0.722 * [taylor]: Taking taylor expansion of t in z 0.722 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.722 * [taylor]: Taking taylor expansion of 1/2 in z 0.722 * [taylor]: Taking taylor expansion of (/ z t) in z 0.722 * [taylor]: Taking taylor expansion of z in z 0.722 * [taylor]: Taking taylor expansion of t in z 0.722 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.722 * [taylor]: Taking taylor expansion of 1/2 in t 0.722 * [taylor]: Taking taylor expansion of t in t 0.722 * [taylor]: Taking taylor expansion of 0 in t 0.722 * [taylor]: Taking taylor expansion of 0 in t 0.723 * [taylor]: Taking taylor expansion of 0 in t 0.723 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.723 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.723 * [taylor]: Taking taylor expansion of 1/2 in t 0.723 * [taylor]: Taking taylor expansion of (/ t z) in t 0.723 * [taylor]: Taking taylor expansion of t in t 0.723 * [taylor]: Taking taylor expansion of z in t 0.723 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.723 * [taylor]: Taking taylor expansion of 1/2 in z 0.723 * [taylor]: Taking taylor expansion of (/ t z) in z 0.723 * [taylor]: Taking taylor expansion of t in z 0.723 * [taylor]: Taking taylor expansion of z in z 0.723 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.723 * [taylor]: Taking taylor expansion of 1/2 in z 0.723 * [taylor]: Taking taylor expansion of (/ t z) in z 0.723 * [taylor]: Taking taylor expansion of t in z 0.723 * [taylor]: Taking taylor expansion of z in z 0.723 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.723 * [taylor]: Taking taylor expansion of 1/2 in t 0.723 * [taylor]: Taking taylor expansion of t in t 0.723 * [taylor]: Taking taylor expansion of 0 in t 0.724 * [taylor]: Taking taylor expansion of 0 in t 0.724 * [taylor]: Taking taylor expansion of 0 in t 0.724 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.724 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.724 * [taylor]: Taking taylor expansion of 1/2 in t 0.724 * [taylor]: Taking taylor expansion of (/ t z) in t 0.724 * [taylor]: Taking taylor expansion of t in t 0.724 * [taylor]: Taking taylor expansion of z in t 0.724 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.724 * [taylor]: Taking taylor expansion of 1/2 in z 0.724 * [taylor]: Taking taylor expansion of (/ t z) in z 0.724 * [taylor]: Taking taylor expansion of t in z 0.724 * [taylor]: Taking taylor expansion of z in z 0.724 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.724 * [taylor]: Taking taylor expansion of 1/2 in z 0.724 * [taylor]: Taking taylor expansion of (/ t z) in z 0.724 * [taylor]: Taking taylor expansion of t in z 0.724 * [taylor]: Taking taylor expansion of z in z 0.724 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.724 * [taylor]: Taking taylor expansion of 1/2 in t 0.724 * [taylor]: Taking taylor expansion of t in t 0.724 * [taylor]: Taking taylor expansion of 0 in t 0.725 * [taylor]: Taking taylor expansion of 0 in t 0.725 * [taylor]: Taking taylor expansion of 0 in t 0.725 * * * [progress]: simplifying candidates 0.726 * [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.763 * * [simplify]: iteration 0 : 5181 enodes (cost 984 ) 0.767 * [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.768 * * * [progress]: adding candidates to table 0.816 * * [progress]: iteration 3 / 4 0.816 * * * [progress]: picking best candidate 0.819 * * * * [pick]: Picked # 0.819 * * * [progress]: localizing error 0.828 * * * [progress]: generating rewritten candidates 0.828 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.841 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.852 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.865 * * * [progress]: generating series expansions 0.865 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.865 * [approximate]: Taking taylor expansion of (* 1/2 (/ x t)) in (t x) around 0 0.865 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in x 0.866 * [taylor]: Taking taylor expansion of 1/2 in x 0.866 * [taylor]: Taking taylor expansion of (/ x t) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of t in x 0.866 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.866 * [taylor]: Taking taylor expansion of 1/2 in t 0.866 * [taylor]: Taking taylor expansion of (/ x t) in t 0.866 * [taylor]: Taking taylor expansion of x in t 0.866 * [taylor]: Taking taylor expansion of t in t 0.866 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.866 * [taylor]: Taking taylor expansion of 1/2 in t 0.866 * [taylor]: Taking taylor expansion of (/ x t) in t 0.866 * [taylor]: Taking taylor expansion of x in t 0.866 * [taylor]: Taking taylor expansion of t in t 0.866 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.866 * [taylor]: Taking taylor expansion of 1/2 in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of 0 in x 0.866 * [taylor]: Taking taylor expansion of 0 in x 0.866 * [taylor]: Taking taylor expansion of 0 in x 0.867 * [approximate]: Taking taylor expansion of (* 1/2 (/ t x)) in (t x) around 0 0.867 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.867 * [taylor]: Taking taylor expansion of 1/2 in x 0.867 * [taylor]: Taking taylor expansion of (/ t x) in x 0.867 * [taylor]: Taking taylor expansion of t in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.867 * [taylor]: Taking taylor expansion of 1/2 in t 0.867 * [taylor]: Taking taylor expansion of (/ t x) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.867 * [taylor]: Taking taylor expansion of x in t 0.867 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.867 * [taylor]: Taking taylor expansion of 1/2 in t 0.867 * [taylor]: Taking taylor expansion of (/ t x) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.867 * [taylor]: Taking taylor expansion of x in t 0.867 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 0.867 * [taylor]: Taking taylor expansion of 1/2 in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of 0 in x 0.867 * [taylor]: Taking taylor expansion of 0 in x 0.868 * [taylor]: Taking taylor expansion of 0 in x 0.868 * [approximate]: Taking taylor expansion of (* 1/2 (/ t x)) in (t x) around 0 0.868 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.868 * [taylor]: Taking taylor expansion of 1/2 in x 0.868 * [taylor]: Taking taylor expansion of (/ t x) in x 0.868 * [taylor]: Taking taylor expansion of t in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.868 * [taylor]: Taking taylor expansion of 1/2 in t 0.868 * [taylor]: Taking taylor expansion of (/ t x) in t 0.868 * [taylor]: Taking taylor expansion of t in t 0.868 * [taylor]: Taking taylor expansion of x in t 0.868 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.868 * [taylor]: Taking taylor expansion of 1/2 in t 0.868 * [taylor]: Taking taylor expansion of (/ t x) in t 0.868 * [taylor]: Taking taylor expansion of t in t 0.868 * [taylor]: Taking taylor expansion of x in t 0.868 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 0.868 * [taylor]: Taking taylor expansion of 1/2 in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.869 * [taylor]: Taking taylor expansion of 0 in x 0.869 * [taylor]: Taking taylor expansion of 0 in x 0.869 * [taylor]: Taking taylor expansion of 0 in x 0.869 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.869 * [approximate]: Taking taylor expansion of (* 1/2 (/ y t)) in (t y) around 0 0.869 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in y 0.869 * [taylor]: Taking taylor expansion of 1/2 in y 0.869 * [taylor]: Taking taylor expansion of (/ y t) in y 0.869 * [taylor]: Taking taylor expansion of y in y 0.869 * [taylor]: Taking taylor expansion of t in y 0.869 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.869 * [taylor]: Taking taylor expansion of 1/2 in t 0.869 * [taylor]: Taking taylor expansion of (/ y t) in t 0.869 * [taylor]: Taking taylor expansion of y in t 0.869 * [taylor]: Taking taylor expansion of t in t 0.869 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.870 * [taylor]: Taking taylor expansion of 1/2 in t 0.870 * [taylor]: Taking taylor expansion of (/ y t) in t 0.870 * [taylor]: Taking taylor expansion of y in t 0.870 * [taylor]: Taking taylor expansion of t in t 0.870 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.870 * [taylor]: Taking taylor expansion of 1/2 in y 0.870 * [taylor]: Taking taylor expansion of y in y 0.870 * [taylor]: Taking taylor expansion of 0 in y 0.870 * [taylor]: Taking taylor expansion of 0 in y 0.870 * [taylor]: Taking taylor expansion of 0 in y 0.870 * [approximate]: Taking taylor expansion of (* 1/2 (/ t y)) in (t y) around 0 0.870 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.870 * [taylor]: Taking taylor expansion of 1/2 in y 0.870 * [taylor]: Taking taylor expansion of (/ t y) in y 0.870 * [taylor]: Taking taylor expansion of t in y 0.870 * [taylor]: Taking taylor expansion of y in y 0.870 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.870 * [taylor]: Taking taylor expansion of 1/2 in t 0.870 * [taylor]: Taking taylor expansion of (/ t y) in t 0.871 * [taylor]: Taking taylor expansion of t in t 0.871 * [taylor]: Taking taylor expansion of y in t 0.871 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.871 * [taylor]: Taking taylor expansion of 1/2 in t 0.871 * [taylor]: Taking taylor expansion of (/ t y) in t 0.871 * [taylor]: Taking taylor expansion of t in t 0.871 * [taylor]: Taking taylor expansion of y in t 0.871 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 0.871 * [taylor]: Taking taylor expansion of 1/2 in y 0.871 * [taylor]: Taking taylor expansion of y in y 0.871 * [taylor]: Taking taylor expansion of 0 in y 0.871 * [taylor]: Taking taylor expansion of 0 in y 0.871 * [taylor]: Taking taylor expansion of 0 in y 0.872 * [approximate]: Taking taylor expansion of (* 1/2 (/ t y)) in (t y) around 0 0.872 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.872 * [taylor]: Taking taylor expansion of 1/2 in y 0.872 * [taylor]: Taking taylor expansion of (/ t y) in y 0.872 * [taylor]: Taking taylor expansion of t in y 0.872 * [taylor]: Taking taylor expansion of y in y 0.872 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.872 * [taylor]: Taking taylor expansion of 1/2 in t 0.872 * [taylor]: Taking taylor expansion of (/ t y) in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of y in t 0.872 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.872 * [taylor]: Taking taylor expansion of 1/2 in t 0.872 * [taylor]: Taking taylor expansion of (/ t y) in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of y in t 0.872 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 0.872 * [taylor]: Taking taylor expansion of 1/2 in y 0.872 * [taylor]: Taking taylor expansion of y in y 0.872 * [taylor]: Taking taylor expansion of 0 in y 0.872 * [taylor]: Taking taylor expansion of 0 in y 0.873 * [taylor]: Taking taylor expansion of 0 in y 0.873 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.873 * [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.873 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in z 0.873 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in z 0.873 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in z 0.873 * [taylor]: Taking taylor expansion of 1/2 in z 0.873 * [taylor]: Taking taylor expansion of (/ x t) in z 0.873 * [taylor]: Taking taylor expansion of x in z 0.873 * [taylor]: Taking taylor expansion of t in z 0.873 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in z 0.873 * [taylor]: Taking taylor expansion of 1/2 in z 0.873 * [taylor]: Taking taylor expansion of (/ y t) in z 0.873 * [taylor]: Taking taylor expansion of y in z 0.873 * [taylor]: Taking taylor expansion of t in z 0.873 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.873 * [taylor]: Taking taylor expansion of 1/2 in z 0.873 * [taylor]: Taking taylor expansion of (/ z t) in z 0.873 * [taylor]: Taking taylor expansion of z in z 0.874 * [taylor]: Taking taylor expansion of t in z 0.874 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in y 0.874 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in y 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in y 0.874 * [taylor]: Taking taylor expansion of 1/2 in y 0.874 * [taylor]: Taking taylor expansion of (/ x t) in y 0.874 * [taylor]: Taking taylor expansion of x in y 0.874 * [taylor]: Taking taylor expansion of t in y 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in y 0.874 * [taylor]: Taking taylor expansion of 1/2 in y 0.874 * [taylor]: Taking taylor expansion of (/ y t) in y 0.874 * [taylor]: Taking taylor expansion of y in y 0.874 * [taylor]: Taking taylor expansion of t in y 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in y 0.874 * [taylor]: Taking taylor expansion of 1/2 in y 0.874 * [taylor]: Taking taylor expansion of (/ z t) in y 0.874 * [taylor]: Taking taylor expansion of z in y 0.874 * [taylor]: Taking taylor expansion of t in y 0.874 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in x 0.874 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in x 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in x 0.874 * [taylor]: Taking taylor expansion of 1/2 in x 0.874 * [taylor]: Taking taylor expansion of (/ x t) in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of t in x 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in x 0.874 * [taylor]: Taking taylor expansion of 1/2 in x 0.874 * [taylor]: Taking taylor expansion of (/ y t) in x 0.874 * [taylor]: Taking taylor expansion of y in x 0.874 * [taylor]: Taking taylor expansion of t in x 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in x 0.874 * [taylor]: Taking taylor expansion of 1/2 in x 0.874 * [taylor]: Taking taylor expansion of (/ z t) in x 0.874 * [taylor]: Taking taylor expansion of z in x 0.874 * [taylor]: Taking taylor expansion of t in x 0.874 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.874 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.874 * [taylor]: Taking taylor expansion of 1/2 in t 0.874 * [taylor]: Taking taylor expansion of (/ x t) in t 0.874 * [taylor]: Taking taylor expansion of x in t 0.874 * [taylor]: Taking taylor expansion of t in t 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.874 * [taylor]: Taking taylor expansion of 1/2 in t 0.874 * [taylor]: Taking taylor expansion of (/ y t) in t 0.874 * [taylor]: Taking taylor expansion of y in t 0.874 * [taylor]: Taking taylor expansion of t in t 0.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.875 * [taylor]: Taking taylor expansion of 1/2 in t 0.875 * [taylor]: Taking taylor expansion of (/ z t) in t 0.875 * [taylor]: Taking taylor expansion of z in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) (* 1/2 (/ z t))) in t 0.875 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ x t)) (* 1/2 (/ y t))) in t 0.875 * [taylor]: Taking taylor expansion of (* 1/2 (/ x t)) in t 0.875 * [taylor]: Taking taylor expansion of 1/2 in t 0.875 * [taylor]: Taking taylor expansion of (/ x t) in t 0.875 * [taylor]: Taking taylor expansion of x in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of (* 1/2 (/ y t)) in t 0.875 * [taylor]: Taking taylor expansion of 1/2 in t 0.875 * [taylor]: Taking taylor expansion of (/ y t) in t 0.875 * [taylor]: Taking taylor expansion of y in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.875 * [taylor]: Taking taylor expansion of 1/2 in t 0.875 * [taylor]: Taking taylor expansion of (/ z t) in t 0.875 * [taylor]: Taking taylor expansion of z in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 x) (* 1/2 y)) (* 1/2 z)) in x 0.875 * [taylor]: Taking taylor expansion of (+ (* 1/2 x) (* 1/2 y)) in x 0.875 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.875 * [taylor]: Taking taylor expansion of 1/2 in x 0.875 * [taylor]: Taking taylor expansion of x in x 0.875 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 0.875 * [taylor]: Taking taylor expansion of 1/2 in x 0.875 * [taylor]: Taking taylor expansion of y in x 0.875 * [taylor]: Taking taylor expansion of (* 1/2 z) in x 0.875 * [taylor]: Taking taylor expansion of 1/2 in x 0.875 * [taylor]: Taking taylor expansion of z in x 0.875 * [taylor]: Taking taylor expansion of (- (* 1/2 y) (* 1/2 z)) in y 0.876 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 0.876 * [taylor]: Taking taylor expansion of 1/2 in y 0.876 * [taylor]: Taking taylor expansion of y in y 0.876 * [taylor]: Taking taylor expansion of (* 1/2 z) in y 0.876 * [taylor]: Taking taylor expansion of 1/2 in y 0.876 * [taylor]: Taking taylor expansion of z in y 0.876 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.876 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.876 * [taylor]: Taking taylor expansion of 1/2 in z 0.876 * [taylor]: Taking taylor expansion of z in z 0.876 * [taylor]: Taking taylor expansion of 0 in x 0.876 * [taylor]: Taking taylor expansion of 0 in y 0.876 * [taylor]: Taking taylor expansion of 0 in z 0.876 * [taylor]: Taking taylor expansion of 1/2 in y 0.876 * [taylor]: Taking taylor expansion of 1/2 in z 0.876 * [taylor]: Taking taylor expansion of 1/2 in z 0.877 * [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.877 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.877 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.877 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.877 * [taylor]: Taking taylor expansion of 1/2 in z 0.877 * [taylor]: Taking taylor expansion of (/ t y) in z 0.877 * [taylor]: Taking taylor expansion of t in z 0.877 * [taylor]: Taking taylor expansion of y in z 0.877 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.877 * [taylor]: Taking taylor expansion of 1/2 in z 0.877 * [taylor]: Taking taylor expansion of (/ t x) in z 0.877 * [taylor]: Taking taylor expansion of t in z 0.877 * [taylor]: Taking taylor expansion of x in z 0.877 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.877 * [taylor]: Taking taylor expansion of 1/2 in z 0.877 * [taylor]: Taking taylor expansion of (/ t z) in z 0.877 * [taylor]: Taking taylor expansion of t in z 0.877 * [taylor]: Taking taylor expansion of z in z 0.877 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.877 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.877 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.877 * [taylor]: Taking taylor expansion of 1/2 in y 0.877 * [taylor]: Taking taylor expansion of (/ t y) in y 0.877 * [taylor]: Taking taylor expansion of t in y 0.877 * [taylor]: Taking taylor expansion of y in y 0.877 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.877 * [taylor]: Taking taylor expansion of 1/2 in y 0.878 * [taylor]: Taking taylor expansion of (/ t x) in y 0.878 * [taylor]: Taking taylor expansion of t in y 0.878 * [taylor]: Taking taylor expansion of x in y 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.878 * [taylor]: Taking taylor expansion of 1/2 in y 0.878 * [taylor]: Taking taylor expansion of (/ t z) in y 0.878 * [taylor]: Taking taylor expansion of t in y 0.878 * [taylor]: Taking taylor expansion of z in y 0.878 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.878 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.878 * [taylor]: Taking taylor expansion of 1/2 in x 0.878 * [taylor]: Taking taylor expansion of (/ t y) in x 0.878 * [taylor]: Taking taylor expansion of t in x 0.878 * [taylor]: Taking taylor expansion of y in x 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.878 * [taylor]: Taking taylor expansion of 1/2 in x 0.878 * [taylor]: Taking taylor expansion of (/ t x) in x 0.878 * [taylor]: Taking taylor expansion of t in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.878 * [taylor]: Taking taylor expansion of 1/2 in x 0.878 * [taylor]: Taking taylor expansion of (/ t z) in x 0.878 * [taylor]: Taking taylor expansion of t in x 0.878 * [taylor]: Taking taylor expansion of z in x 0.878 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.878 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.878 * [taylor]: Taking taylor expansion of 1/2 in t 0.878 * [taylor]: Taking taylor expansion of (/ t y) in t 0.878 * [taylor]: Taking taylor expansion of t in t 0.878 * [taylor]: Taking taylor expansion of y in t 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.878 * [taylor]: Taking taylor expansion of 1/2 in t 0.878 * [taylor]: Taking taylor expansion of (/ t x) in t 0.878 * [taylor]: Taking taylor expansion of t in t 0.878 * [taylor]: Taking taylor expansion of x in t 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.878 * [taylor]: Taking taylor expansion of 1/2 in t 0.878 * [taylor]: Taking taylor expansion of (/ t z) in t 0.878 * [taylor]: Taking taylor expansion of t in t 0.878 * [taylor]: Taking taylor expansion of z in t 0.878 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.878 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.878 * [taylor]: Taking taylor expansion of 1/2 in t 0.878 * [taylor]: Taking taylor expansion of (/ t y) in t 0.878 * [taylor]: Taking taylor expansion of t in t 0.878 * [taylor]: Taking taylor expansion of y in t 0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.879 * [taylor]: Taking taylor expansion of 1/2 in t 0.879 * [taylor]: Taking taylor expansion of (/ t x) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of x in t 0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.879 * [taylor]: Taking taylor expansion of 1/2 in t 0.879 * [taylor]: Taking taylor expansion of (/ t z) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of z in t 0.879 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.879 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.879 * [taylor]: Taking taylor expansion of 1/2 in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.879 * [taylor]: Taking taylor expansion of 1/2 in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.879 * [taylor]: Taking taylor expansion of 1/2 in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.879 * [taylor]: Taking taylor expansion of z in x 0.879 * [taylor]: Taking taylor expansion of 1/2 in y 0.880 * [taylor]: Taking taylor expansion of 0 in x 0.880 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.880 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.880 * [taylor]: Taking taylor expansion of 1/2 in y 0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.880 * [taylor]: Taking taylor expansion of y in y 0.880 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.880 * [taylor]: Taking taylor expansion of 1/2 in y 0.880 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.880 * [taylor]: Taking taylor expansion of z in y 0.880 * [taylor]: Taking taylor expansion of 1/2 in z 0.880 * [taylor]: Taking taylor expansion of 1/2 in z 0.881 * [taylor]: Taking taylor expansion of 0 in x 0.881 * [taylor]: Taking taylor expansion of 0 in y 0.881 * [taylor]: Taking taylor expansion of 0 in y 0.881 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.881 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.881 * [taylor]: Taking taylor expansion of 1/2 in z 0.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.881 * [taylor]: Taking taylor expansion of z in z 0.881 * [taylor]: Taking taylor expansion of 0 in z 0.882 * [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.882 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in z 0.882 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in z 0.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in z 0.882 * [taylor]: Taking taylor expansion of 1/2 in z 0.882 * [taylor]: Taking taylor expansion of (/ t y) in z 0.882 * [taylor]: Taking taylor expansion of t in z 0.882 * [taylor]: Taking taylor expansion of y in z 0.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in z 0.882 * [taylor]: Taking taylor expansion of 1/2 in z 0.882 * [taylor]: Taking taylor expansion of (/ t x) in z 0.882 * [taylor]: Taking taylor expansion of t in z 0.882 * [taylor]: Taking taylor expansion of x in z 0.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.882 * [taylor]: Taking taylor expansion of 1/2 in z 0.882 * [taylor]: Taking taylor expansion of (/ t z) in z 0.882 * [taylor]: Taking taylor expansion of t in z 0.882 * [taylor]: Taking taylor expansion of z in z 0.882 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in y 0.882 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in y 0.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in y 0.882 * [taylor]: Taking taylor expansion of 1/2 in y 0.882 * [taylor]: Taking taylor expansion of (/ t y) in y 0.882 * [taylor]: Taking taylor expansion of t in y 0.882 * [taylor]: Taking taylor expansion of y in y 0.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in y 0.883 * [taylor]: Taking taylor expansion of 1/2 in y 0.883 * [taylor]: Taking taylor expansion of (/ t x) in y 0.883 * [taylor]: Taking taylor expansion of t in y 0.883 * [taylor]: Taking taylor expansion of x in y 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in y 0.883 * [taylor]: Taking taylor expansion of 1/2 in y 0.883 * [taylor]: Taking taylor expansion of (/ t z) in y 0.883 * [taylor]: Taking taylor expansion of t in y 0.883 * [taylor]: Taking taylor expansion of z in y 0.883 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in x 0.883 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in x 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in x 0.883 * [taylor]: Taking taylor expansion of 1/2 in x 0.883 * [taylor]: Taking taylor expansion of (/ t y) in x 0.883 * [taylor]: Taking taylor expansion of t in x 0.883 * [taylor]: Taking taylor expansion of y in x 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in x 0.883 * [taylor]: Taking taylor expansion of 1/2 in x 0.883 * [taylor]: Taking taylor expansion of (/ t x) in x 0.883 * [taylor]: Taking taylor expansion of t in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in x 0.883 * [taylor]: Taking taylor expansion of 1/2 in x 0.883 * [taylor]: Taking taylor expansion of (/ t z) in x 0.883 * [taylor]: Taking taylor expansion of t in x 0.883 * [taylor]: Taking taylor expansion of z in x 0.883 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.883 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.883 * [taylor]: Taking taylor expansion of 1/2 in t 0.883 * [taylor]: Taking taylor expansion of (/ t y) in t 0.883 * [taylor]: Taking taylor expansion of t in t 0.883 * [taylor]: Taking taylor expansion of y in t 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.883 * [taylor]: Taking taylor expansion of 1/2 in t 0.883 * [taylor]: Taking taylor expansion of (/ t x) in t 0.883 * [taylor]: Taking taylor expansion of t in t 0.883 * [taylor]: Taking taylor expansion of x in t 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.883 * [taylor]: Taking taylor expansion of 1/2 in t 0.883 * [taylor]: Taking taylor expansion of (/ t z) in t 0.883 * [taylor]: Taking taylor expansion of t in t 0.883 * [taylor]: Taking taylor expansion of z in t 0.883 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) (* 1/2 (/ t z))) in t 0.883 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ t y)) (* 1/2 (/ t x))) in t 0.883 * [taylor]: Taking taylor expansion of (* 1/2 (/ t y)) in t 0.883 * [taylor]: Taking taylor expansion of 1/2 in t 0.883 * [taylor]: Taking taylor expansion of (/ t y) in t 0.884 * [taylor]: Taking taylor expansion of t in t 0.884 * [taylor]: Taking taylor expansion of y in t 0.884 * [taylor]: Taking taylor expansion of (* 1/2 (/ t x)) in t 0.884 * [taylor]: Taking taylor expansion of 1/2 in t 0.884 * [taylor]: Taking taylor expansion of (/ t x) in t 0.884 * [taylor]: Taking taylor expansion of t in t 0.884 * [taylor]: Taking taylor expansion of x in t 0.884 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.884 * [taylor]: Taking taylor expansion of 1/2 in t 0.884 * [taylor]: Taking taylor expansion of (/ t z) in t 0.884 * [taylor]: Taking taylor expansion of t in t 0.884 * [taylor]: Taking taylor expansion of z in t 0.884 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) (* 1/2 (/ 1 z))) in x 0.884 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x))) in x 0.884 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in x 0.884 * [taylor]: Taking taylor expansion of 1/2 in x 0.884 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.884 * [taylor]: Taking taylor expansion of y in x 0.884 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.884 * [taylor]: Taking taylor expansion of 1/2 in x 0.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in x 0.884 * [taylor]: Taking taylor expansion of 1/2 in x 0.884 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.884 * [taylor]: Taking taylor expansion of z in x 0.884 * [taylor]: Taking taylor expansion of 1/2 in y 0.885 * [taylor]: Taking taylor expansion of 0 in x 0.885 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 z))) in y 0.885 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 y)) in y 0.885 * [taylor]: Taking taylor expansion of 1/2 in y 0.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.885 * [taylor]: Taking taylor expansion of y in y 0.885 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in y 0.885 * [taylor]: Taking taylor expansion of 1/2 in y 0.885 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.885 * [taylor]: Taking taylor expansion of z in y 0.885 * [taylor]: Taking taylor expansion of 1/2 in z 0.885 * [taylor]: Taking taylor expansion of 1/2 in z 0.886 * [taylor]: Taking taylor expansion of 0 in x 0.886 * [taylor]: Taking taylor expansion of 0 in y 0.886 * [taylor]: Taking taylor expansion of 0 in y 0.886 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 z))) in z 0.886 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 z)) in z 0.886 * [taylor]: Taking taylor expansion of 1/2 in z 0.886 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.886 * [taylor]: Taking taylor expansion of z in z 0.886 * [taylor]: Taking taylor expansion of 0 in z 0.887 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.887 * [approximate]: Taking taylor expansion of (* 1/2 (/ z t)) in (z t) around 0 0.887 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in t 0.887 * [taylor]: Taking taylor expansion of 1/2 in t 0.887 * [taylor]: Taking taylor expansion of (/ z t) in t 0.887 * [taylor]: Taking taylor expansion of z in t 0.887 * [taylor]: Taking taylor expansion of t in t 0.887 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.887 * [taylor]: Taking taylor expansion of 1/2 in z 0.887 * [taylor]: Taking taylor expansion of (/ z t) in z 0.887 * [taylor]: Taking taylor expansion of z in z 0.887 * [taylor]: Taking taylor expansion of t in z 0.887 * [taylor]: Taking taylor expansion of (* 1/2 (/ z t)) in z 0.887 * [taylor]: Taking taylor expansion of 1/2 in z 0.887 * [taylor]: Taking taylor expansion of (/ z t) in z 0.887 * [taylor]: Taking taylor expansion of z in z 0.887 * [taylor]: Taking taylor expansion of t in z 0.887 * [taylor]: Taking taylor expansion of (/ 1/2 t) in t 0.887 * [taylor]: Taking taylor expansion of 1/2 in t 0.887 * [taylor]: Taking taylor expansion of t in t 0.887 * [taylor]: Taking taylor expansion of 0 in t 0.888 * [taylor]: Taking taylor expansion of 0 in t 0.888 * [taylor]: Taking taylor expansion of 0 in t 0.888 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.888 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.888 * [taylor]: Taking taylor expansion of 1/2 in t 0.888 * [taylor]: Taking taylor expansion of (/ t z) in t 0.888 * [taylor]: Taking taylor expansion of t in t 0.888 * [taylor]: Taking taylor expansion of z in t 0.888 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.888 * [taylor]: Taking taylor expansion of 1/2 in z 0.888 * [taylor]: Taking taylor expansion of (/ t z) in z 0.888 * [taylor]: Taking taylor expansion of t in z 0.888 * [taylor]: Taking taylor expansion of z in z 0.888 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.888 * [taylor]: Taking taylor expansion of 1/2 in z 0.888 * [taylor]: Taking taylor expansion of (/ t z) in z 0.888 * [taylor]: Taking taylor expansion of t in z 0.888 * [taylor]: Taking taylor expansion of z in z 0.889 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.889 * [taylor]: Taking taylor expansion of 1/2 in t 0.889 * [taylor]: Taking taylor expansion of t in t 0.889 * [taylor]: Taking taylor expansion of 0 in t 0.889 * [taylor]: Taking taylor expansion of 0 in t 0.889 * [taylor]: Taking taylor expansion of 0 in t 0.889 * [approximate]: Taking taylor expansion of (* 1/2 (/ t z)) in (z t) around 0 0.889 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in t 0.889 * [taylor]: Taking taylor expansion of 1/2 in t 0.889 * [taylor]: Taking taylor expansion of (/ t z) in t 0.889 * [taylor]: Taking taylor expansion of t in t 0.889 * [taylor]: Taking taylor expansion of z in t 0.889 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.889 * [taylor]: Taking taylor expansion of 1/2 in z 0.889 * [taylor]: Taking taylor expansion of (/ t z) in z 0.889 * [taylor]: Taking taylor expansion of t in z 0.889 * [taylor]: Taking taylor expansion of z in z 0.889 * [taylor]: Taking taylor expansion of (* 1/2 (/ t z)) in z 0.889 * [taylor]: Taking taylor expansion of 1/2 in z 0.889 * [taylor]: Taking taylor expansion of (/ t z) in z 0.890 * [taylor]: Taking taylor expansion of t in z 0.890 * [taylor]: Taking taylor expansion of z in z 0.890 * [taylor]: Taking taylor expansion of (* 1/2 t) in t 0.890 * [taylor]: Taking taylor expansion of 1/2 in t 0.890 * [taylor]: Taking taylor expansion of t in t 0.890 * [taylor]: Taking taylor expansion of 0 in t 0.890 * [taylor]: Taking taylor expansion of 0 in t 0.890 * [taylor]: Taking taylor expansion of 0 in t 0.890 * * * [progress]: simplifying candidates 0.892 * [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.916 * * [simplify]: iteration 0 : 5545 enodes (cost 1064 ) 0.920 * [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.921 * * * [progress]: adding candidates to table 0.988 * [progress]: [Phase 3 of 3] Extracting. 0.988 * * [regime]: Finding splitpoints for: (# #) 0.989 * * * [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) 0.989 * * * * [regimes]: Trying to branch on (*.f64 t 2) from (# #) 1.025 * * * * [regimes]: Trying to branch on (+.f64 x y) from (# #) 1.061 * * * * [regimes]: Trying to branch on (-.f64 (+.f64 x y) z) from (# #) 1.096 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2)) from (# #) 1.134 * * * * [regimes]: Trying to branch on t from (# #) 1.168 * * * * [regimes]: Trying to branch on z from (# #) 1.205 * * * * [regimes]: Trying to branch on y from (# #) 1.241 * * * * [regimes]: Trying to branch on x from (# #) 1.276 * * * [regime]: Found split indices: #