31.022 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.920 * * * [progress]: [2/2] Setting up program. 0.924 * [progress]: [Phase 2 of 3] Improving. 0.924 * [simplify]: Simplifying using # : (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) 1.028 * * [simplify]: iteration 0 : 4952 enodes (cost 11 ) 1.028 * * [simplify]: iteration 1 : 4952 enodes (cost 11 ) 1.028 * [simplify]: Simplified to: (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) 1.029 * * [progress]: iteration 1 / 4 1.029 * * * [progress]: picking best candidate 1.031 * * * * [pick]: Picked # 1.032 * * * [progress]: localizing error 1.039 * * * [progress]: generating rewritten candidates 1.039 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.049 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 1.057 * * * [progress]: generating series expansions 1.057 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.058 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in (y z t a) around 0 1.058 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in a 1.058 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 1.058 * [taylor]: Taking taylor expansion of y in a 1.058 * [taylor]: Taking taylor expansion of (- z t) in a 1.058 * [taylor]: Taking taylor expansion of z in a 1.058 * [taylor]: Taking taylor expansion of t in a 1.058 * [taylor]: Taking taylor expansion of (- z a) in a 1.058 * [taylor]: Taking taylor expansion of z in a 1.058 * [taylor]: Taking taylor expansion of a in a 1.058 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in t 1.058 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.058 * [taylor]: Taking taylor expansion of y in t 1.058 * [taylor]: Taking taylor expansion of (- z t) in t 1.058 * [taylor]: Taking taylor expansion of z in t 1.062 * [taylor]: Taking taylor expansion of t in t 1.062 * [taylor]: Taking taylor expansion of (- z a) in t 1.062 * [taylor]: Taking taylor expansion of z in t 1.062 * [taylor]: Taking taylor expansion of a in t 1.062 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in z 1.062 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.062 * [taylor]: Taking taylor expansion of y in z 1.062 * [taylor]: Taking taylor expansion of (- z t) in z 1.062 * [taylor]: Taking taylor expansion of z in z 1.062 * [taylor]: Taking taylor expansion of t in z 1.062 * [taylor]: Taking taylor expansion of (- z a) in z 1.062 * [taylor]: Taking taylor expansion of z in z 1.062 * [taylor]: Taking taylor expansion of a in z 1.063 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.063 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.063 * [taylor]: Taking taylor expansion of y in y 1.063 * [taylor]: Taking taylor expansion of (- z t) in y 1.063 * [taylor]: Taking taylor expansion of z in y 1.063 * [taylor]: Taking taylor expansion of t in y 1.063 * [taylor]: Taking taylor expansion of (- z a) in y 1.063 * [taylor]: Taking taylor expansion of z in y 1.063 * [taylor]: Taking taylor expansion of a in y 1.063 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.063 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.063 * [taylor]: Taking taylor expansion of y in y 1.063 * [taylor]: Taking taylor expansion of (- z t) in y 1.063 * [taylor]: Taking taylor expansion of z in y 1.063 * [taylor]: Taking taylor expansion of t in y 1.063 * [taylor]: Taking taylor expansion of (- z a) in y 1.063 * [taylor]: Taking taylor expansion of z in y 1.063 * [taylor]: Taking taylor expansion of a in y 1.063 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.063 * [taylor]: Taking taylor expansion of (- z t) in z 1.063 * [taylor]: Taking taylor expansion of z in z 1.063 * [taylor]: Taking taylor expansion of t in z 1.063 * [taylor]: Taking taylor expansion of (- z a) in z 1.063 * [taylor]: Taking taylor expansion of z in z 1.063 * [taylor]: Taking taylor expansion of a in z 1.063 * [taylor]: Taking taylor expansion of (/ t a) in t 1.064 * [taylor]: Taking taylor expansion of t in t 1.064 * [taylor]: Taking taylor expansion of a in t 1.064 * [taylor]: Taking taylor expansion of 0 in z 1.064 * [taylor]: Taking taylor expansion of 0 in t 1.064 * [taylor]: Taking taylor expansion of 0 in a 1.064 * [taylor]: Taking taylor expansion of (- (/ t (pow a 2)) (/ 1 a)) in t 1.064 * [taylor]: Taking taylor expansion of (/ t (pow a 2)) in t 1.064 * [taylor]: Taking taylor expansion of t in t 1.064 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.064 * [taylor]: Taking taylor expansion of a in t 1.064 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.064 * [taylor]: Taking taylor expansion of a in t 1.064 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.064 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.064 * [taylor]: Taking taylor expansion of a in a 1.064 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.064 * [taylor]: Taking taylor expansion of a in a 1.065 * [taylor]: Taking taylor expansion of 0 in z 1.065 * [taylor]: Taking taylor expansion of 0 in t 1.065 * [taylor]: Taking taylor expansion of 0 in a 1.065 * [taylor]: Taking taylor expansion of 0 in t 1.065 * [taylor]: Taking taylor expansion of 0 in a 1.065 * [taylor]: Taking taylor expansion of (- (/ t (pow a 3)) (/ 1 (pow a 2))) in t 1.065 * [taylor]: Taking taylor expansion of (/ t (pow a 3)) in t 1.065 * [taylor]: Taking taylor expansion of t in t 1.065 * [taylor]: Taking taylor expansion of (pow a 3) in t 1.065 * [taylor]: Taking taylor expansion of a in t 1.065 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.065 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.065 * [taylor]: Taking taylor expansion of a in t 1.066 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 2))) in a 1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.066 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.066 * [taylor]: Taking taylor expansion of a in a 1.066 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* y (- (/ 1 z) (/ 1 a)))) in (y z t a) around 0 1.066 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* y (- (/ 1 z) (/ 1 a)))) in a 1.066 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.066 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.066 * [taylor]: Taking taylor expansion of z in a 1.066 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.066 * [taylor]: Taking taylor expansion of t in a 1.066 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 a))) in a 1.066 * [taylor]: Taking taylor expansion of y in a 1.066 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.066 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.066 * [taylor]: Taking taylor expansion of z in a 1.066 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.066 * [taylor]: Taking taylor expansion of a in a 1.067 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* y (- (/ 1 z) (/ 1 a)))) in t 1.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.067 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.067 * [taylor]: Taking taylor expansion of z in t 1.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.067 * [taylor]: Taking taylor expansion of t in t 1.067 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 a))) in t 1.067 * [taylor]: Taking taylor expansion of y in t 1.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.067 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.067 * [taylor]: Taking taylor expansion of z in t 1.067 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.067 * [taylor]: Taking taylor expansion of a in t 1.067 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* y (- (/ 1 z) (/ 1 a)))) in z 1.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.067 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.067 * [taylor]: Taking taylor expansion of z in z 1.067 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.067 * [taylor]: Taking taylor expansion of t in z 1.067 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 a))) in z 1.067 * [taylor]: Taking taylor expansion of y in z 1.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.067 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.067 * [taylor]: Taking taylor expansion of z in z 1.067 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.067 * [taylor]: Taking taylor expansion of a in z 1.067 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* y (- (/ 1 z) (/ 1 a)))) in y 1.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.067 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.067 * [taylor]: Taking taylor expansion of z in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.068 * [taylor]: Taking taylor expansion of t in y 1.068 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 a))) in y 1.068 * [taylor]: Taking taylor expansion of y in y 1.068 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.068 * [taylor]: Taking taylor expansion of z in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.068 * [taylor]: Taking taylor expansion of a in y 1.068 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* y (- (/ 1 z) (/ 1 a)))) in y 1.068 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.068 * [taylor]: Taking taylor expansion of z in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.068 * [taylor]: Taking taylor expansion of t in y 1.068 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 a))) in y 1.068 * [taylor]: Taking taylor expansion of y in y 1.068 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.068 * [taylor]: Taking taylor expansion of z in y 1.068 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.068 * [taylor]: Taking taylor expansion of a in y 1.069 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.069 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.069 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.069 * [taylor]: Taking taylor expansion of z in z 1.069 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.069 * [taylor]: Taking taylor expansion of t in z 1.069 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.069 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.069 * [taylor]: Taking taylor expansion of z in z 1.069 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.069 * [taylor]: Taking taylor expansion of a in z 1.069 * [taylor]: Taking taylor expansion of 1 in t 1.070 * [taylor]: Taking taylor expansion of 0 in z 1.070 * [taylor]: Taking taylor expansion of 0 in t 1.070 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in t 1.070 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.070 * [taylor]: Taking taylor expansion of a in t 1.070 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.070 * [taylor]: Taking taylor expansion of t in t 1.070 * [taylor]: Taking taylor expansion of -1 in a 1.070 * [taylor]: Taking taylor expansion of 1 in a 1.071 * [taylor]: Taking taylor expansion of 0 in z 1.071 * [taylor]: Taking taylor expansion of 0 in t 1.071 * [taylor]: Taking taylor expansion of 0 in t 1.071 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in t 1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.071 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.071 * [taylor]: Taking taylor expansion of a in t 1.071 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.071 * [taylor]: Taking taylor expansion of (* t a) in t 1.071 * [taylor]: Taking taylor expansion of t in t 1.072 * [taylor]: Taking taylor expansion of a in t 1.072 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.072 * [taylor]: Taking taylor expansion of a in a 1.072 * [taylor]: Taking taylor expansion of 0 in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.072 * [taylor]: Taking taylor expansion of a in a 1.072 * [taylor]: Taking taylor expansion of 0 in a 1.072 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in (y z t a) around 0 1.072 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in a 1.072 * [taylor]: Taking taylor expansion of -1 in a 1.072 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in a 1.072 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.072 * [taylor]: Taking taylor expansion of t in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.072 * [taylor]: Taking taylor expansion of z in a 1.072 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a 1.072 * [taylor]: Taking taylor expansion of y in a 1.072 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.072 * [taylor]: Taking taylor expansion of a in a 1.073 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.073 * [taylor]: Taking taylor expansion of z in a 1.073 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in t 1.073 * [taylor]: Taking taylor expansion of -1 in t 1.073 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in t 1.073 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.073 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.073 * [taylor]: Taking taylor expansion of t in t 1.073 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.073 * [taylor]: Taking taylor expansion of z in t 1.073 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in t 1.073 * [taylor]: Taking taylor expansion of y in t 1.073 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.073 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.073 * [taylor]: Taking taylor expansion of a in t 1.073 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.073 * [taylor]: Taking taylor expansion of z in t 1.073 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in z 1.073 * [taylor]: Taking taylor expansion of -1 in z 1.073 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in z 1.073 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.073 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.073 * [taylor]: Taking taylor expansion of t in z 1.073 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.073 * [taylor]: Taking taylor expansion of z in z 1.073 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in z 1.073 * [taylor]: Taking taylor expansion of y in z 1.073 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.073 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.073 * [taylor]: Taking taylor expansion of a in z 1.073 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.074 * [taylor]: Taking taylor expansion of z in z 1.074 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.074 * [taylor]: Taking taylor expansion of -1 in y 1.074 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.074 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.074 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.074 * [taylor]: Taking taylor expansion of t in y 1.074 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.074 * [taylor]: Taking taylor expansion of z in y 1.074 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.074 * [taylor]: Taking taylor expansion of y in y 1.074 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.074 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.074 * [taylor]: Taking taylor expansion of a in y 1.074 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.074 * [taylor]: Taking taylor expansion of z in y 1.074 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.074 * [taylor]: Taking taylor expansion of -1 in y 1.074 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.074 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.074 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.074 * [taylor]: Taking taylor expansion of t in y 1.074 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.075 * [taylor]: Taking taylor expansion of z in y 1.075 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.075 * [taylor]: Taking taylor expansion of y in y 1.075 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.075 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.075 * [taylor]: Taking taylor expansion of a in y 1.075 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.075 * [taylor]: Taking taylor expansion of z in y 1.075 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z)))) in z 1.075 * [taylor]: Taking taylor expansion of -1 in z 1.075 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.075 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.075 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.075 * [taylor]: Taking taylor expansion of t in z 1.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.075 * [taylor]: Taking taylor expansion of z in z 1.075 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.075 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.075 * [taylor]: Taking taylor expansion of a in z 1.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.076 * [taylor]: Taking taylor expansion of z in z 1.076 * [taylor]: Taking taylor expansion of -1 in t 1.076 * [taylor]: Taking taylor expansion of 0 in z 1.076 * [taylor]: Taking taylor expansion of 0 in t 1.077 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 a)) in t 1.077 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.077 * [taylor]: Taking taylor expansion of t in t 1.077 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.077 * [taylor]: Taking taylor expansion of a in t 1.077 * [taylor]: Taking taylor expansion of 1 in a 1.077 * [taylor]: Taking taylor expansion of -1 in a 1.077 * [taylor]: Taking taylor expansion of 0 in z 1.078 * [taylor]: Taking taylor expansion of 0 in t 1.078 * [taylor]: Taking taylor expansion of 0 in t 1.078 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (pow a 2))) in t 1.078 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.079 * [taylor]: Taking taylor expansion of (* t a) in t 1.079 * [taylor]: Taking taylor expansion of t in t 1.079 * [taylor]: Taking taylor expansion of a in t 1.079 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.079 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.079 * [taylor]: Taking taylor expansion of a in t 1.079 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.079 * [taylor]: Taking taylor expansion of a in a 1.079 * [taylor]: Taking taylor expansion of 0 in a 1.079 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.079 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.079 * [taylor]: Taking taylor expansion of a in a 1.079 * [taylor]: Taking taylor expansion of 0 in a 1.079 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 1.079 * [approximate]: Taking taylor expansion of (* y (- z t)) in (y z t) around 0 1.079 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.079 * [taylor]: Taking taylor expansion of y in t 1.079 * [taylor]: Taking taylor expansion of (- z t) in t 1.079 * [taylor]: Taking taylor expansion of z in t 1.079 * [taylor]: Taking taylor expansion of t in t 1.079 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.079 * [taylor]: Taking taylor expansion of y in z 1.079 * [taylor]: Taking taylor expansion of (- z t) in z 1.079 * [taylor]: Taking taylor expansion of z in z 1.080 * [taylor]: Taking taylor expansion of t in z 1.080 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.080 * [taylor]: Taking taylor expansion of y in y 1.080 * [taylor]: Taking taylor expansion of (- z t) in y 1.080 * [taylor]: Taking taylor expansion of z in y 1.080 * [taylor]: Taking taylor expansion of t in y 1.080 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.080 * [taylor]: Taking taylor expansion of y in y 1.080 * [taylor]: Taking taylor expansion of (- z t) in y 1.080 * [taylor]: Taking taylor expansion of z in y 1.080 * [taylor]: Taking taylor expansion of t in y 1.080 * [taylor]: Taking taylor expansion of 0 in z 1.080 * [taylor]: Taking taylor expansion of 0 in t 1.080 * [taylor]: Taking taylor expansion of (- z t) in z 1.080 * [taylor]: Taking taylor expansion of z in z 1.080 * [taylor]: Taking taylor expansion of t in z 1.080 * [taylor]: Taking taylor expansion of (neg t) in t 1.080 * [taylor]: Taking taylor expansion of t in t 1.080 * [taylor]: Taking taylor expansion of 0 in t 1.080 * [taylor]: Taking taylor expansion of 0 in z 1.080 * [taylor]: Taking taylor expansion of 0 in t 1.080 * [taylor]: Taking taylor expansion of 1 in t 1.080 * [taylor]: Taking taylor expansion of 0 in t 1.080 * [taylor]: Taking taylor expansion of 0 in z 1.080 * [taylor]: Taking taylor expansion of 0 in t 1.080 * [taylor]: Taking taylor expansion of 0 in t 1.080 * [taylor]: Taking taylor expansion of 0 in t 1.081 * [taylor]: Taking taylor expansion of 0 in t 1.081 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in (y z t) around 0 1.081 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t 1.081 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.081 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.081 * [taylor]: Taking taylor expansion of z in t 1.081 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.081 * [taylor]: Taking taylor expansion of t in t 1.081 * [taylor]: Taking taylor expansion of y in t 1.081 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z 1.081 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.081 * [taylor]: Taking taylor expansion of z in z 1.081 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.081 * [taylor]: Taking taylor expansion of t in z 1.081 * [taylor]: Taking taylor expansion of y in z 1.081 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 1.081 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.081 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.081 * [taylor]: Taking taylor expansion of z in y 1.081 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.081 * [taylor]: Taking taylor expansion of t in y 1.081 * [taylor]: Taking taylor expansion of y in y 1.081 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 1.081 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.081 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.081 * [taylor]: Taking taylor expansion of z in y 1.081 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.081 * [taylor]: Taking taylor expansion of t in y 1.082 * [taylor]: Taking taylor expansion of y in y 1.082 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.082 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.082 * [taylor]: Taking taylor expansion of z in z 1.082 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.082 * [taylor]: Taking taylor expansion of t in z 1.082 * [taylor]: Taking taylor expansion of 1 in t 1.082 * [taylor]: Taking taylor expansion of 0 in z 1.082 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 1.082 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.082 * [taylor]: Taking taylor expansion of t in t 1.083 * [taylor]: Taking taylor expansion of 0 in z 1.083 * [taylor]: Taking taylor expansion of 0 in t 1.083 * [taylor]: Taking taylor expansion of 0 in t 1.083 * [taylor]: Taking taylor expansion of 0 in z 1.083 * [taylor]: Taking taylor expansion of 0 in t 1.083 * [taylor]: Taking taylor expansion of 0 in t 1.083 * [taylor]: Taking taylor expansion of 0 in t 1.084 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in (y z t) around 0 1.084 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in t 1.084 * [taylor]: Taking taylor expansion of -1 in t 1.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in t 1.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.084 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.084 * [taylor]: Taking taylor expansion of t in t 1.084 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.084 * [taylor]: Taking taylor expansion of z in t 1.084 * [taylor]: Taking taylor expansion of y in t 1.084 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in z 1.084 * [taylor]: Taking taylor expansion of -1 in z 1.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in z 1.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.084 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.084 * [taylor]: Taking taylor expansion of t in z 1.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.084 * [taylor]: Taking taylor expansion of z in z 1.084 * [taylor]: Taking taylor expansion of y in z 1.084 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 1.084 * [taylor]: Taking taylor expansion of -1 in y 1.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 1.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.084 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.084 * [taylor]: Taking taylor expansion of t in y 1.084 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.084 * [taylor]: Taking taylor expansion of z in y 1.085 * [taylor]: Taking taylor expansion of y in y 1.085 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 1.085 * [taylor]: Taking taylor expansion of -1 in y 1.085 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 1.085 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.085 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.085 * [taylor]: Taking taylor expansion of t in y 1.085 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.085 * [taylor]: Taking taylor expansion of z in y 1.085 * [taylor]: Taking taylor expansion of y in y 1.085 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z 1.085 * [taylor]: Taking taylor expansion of -1 in z 1.085 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.085 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.085 * [taylor]: Taking taylor expansion of t in z 1.085 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.085 * [taylor]: Taking taylor expansion of z in z 1.085 * [taylor]: Taking taylor expansion of 1 in t 1.086 * [taylor]: Taking taylor expansion of 0 in z 1.086 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 1.086 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.086 * [taylor]: Taking taylor expansion of t in t 1.086 * [taylor]: Taking taylor expansion of 0 in z 1.086 * [taylor]: Taking taylor expansion of 0 in t 1.086 * [taylor]: Taking taylor expansion of 0 in t 1.087 * [taylor]: Taking taylor expansion of 0 in z 1.087 * [taylor]: Taking taylor expansion of 0 in t 1.087 * [taylor]: Taking taylor expansion of 0 in t 1.087 * [taylor]: Taking taylor expansion of 0 in t 1.087 * * * [progress]: simplifying candidates 1.088 * [simplify]: Simplifying using # : (-.f64 (+.f64 (log.f64 y) (log.f64 (-.f64 z t))) (log.f64 (-.f64 z a))) (-.f64 (log.f64 (*.f64 y (-.f64 z t))) (log.f64 (-.f64 z a))) (log.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (exp.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (/.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))) (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a))) (/.f64 (*.f64 (*.f64 (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) (*.f64 y (-.f64 z t))) (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a))) (*.f64 (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (*.f64 (*.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (neg.f64 (*.f64 y (-.f64 z t))) (neg.f64 (-.f64 z a)) (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 y (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (/.f64 y 1) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 y 1) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (-.f64 z a)) (/.f64 (-.f64 z a) (*.f64 y (-.f64 z t))) (/.f64 (*.f64 y (-.f64 z t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (*.f64 y (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (*.f64 y (-.f64 z t)) 1) (/.f64 (*.f64 y (-.f64 z t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (*.f64 y (-.f64 z t)) 1) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 (pow.f64 z 3) (pow.f64 a 3))) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 (*.f64 z z) (*.f64 a a))) (*.f64 (-.f64 z a) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t)))) (*.f64 (-.f64 z a) (+.f64 z t)) (*.f64 y (-.f64 z t)) (+.f64 (log.f64 y) (log.f64 (-.f64 z t))) (log.f64 (*.f64 y (-.f64 z t))) (exp.f64 (*.f64 y (-.f64 z t))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))) (*.f64 (cbrt.f64 (*.f64 y (-.f64 z t))) (cbrt.f64 (*.f64 y (-.f64 z t)))) (cbrt.f64 (*.f64 y (-.f64 z t))) (*.f64 (*.f64 (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) (*.f64 y (-.f64 z t))) (sqrt.f64 (*.f64 y (-.f64 z t))) (sqrt.f64 (*.f64 y (-.f64 z t))) (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t))) (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t))) (*.f64 y z) (*.f64 y (neg.f64 t)) (*.f64 z y) (*.f64 (neg.f64 t) y) (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 y (sqrt.f64 (-.f64 z t))) (*.f64 y 1) (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 y 1) (*.f64 (cbrt.f64 y) (-.f64 z t)) (*.f64 (sqrt.f64 y) (-.f64 z t)) (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t))) 0 0 0 (-.f64 (*.f64 z y) (*.f64 t y)) (-.f64 (*.f64 z y) (*.f64 t y)) (-.f64 (*.f64 z y) (*.f64 t y)) 1.124 * * [simplify]: iteration 0 : 5985 enodes (cost 485 ) 1.127 * [simplify]: Simplified to: (log.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (log.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (log.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (exp.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)) 3) (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)) 3) (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))) (*.f64 y (-.f64 t z)) (-.f64 a z) (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 y (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) y (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) y (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (-.f64 z a)) (/.f64 (-.f64 z a) (*.f64 y (-.f64 z t))) (*.f64 (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (-.f64 z t)) (*.f64 (/.f64 y (sqrt.f64 (-.f64 z a))) (-.f64 z t)) (*.f64 y (-.f64 z t)) (*.f64 (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (-.f64 z t)) (*.f64 y (-.f64 z t)) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 (pow.f64 z 3) (pow.f64 a 3))) (/.f64 (*.f64 y (-.f64 z t)) (-.f64 (*.f64 z z) (*.f64 a a))) (*.f64 (-.f64 z a) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t)))) (*.f64 (-.f64 z a) (+.f64 z t)) (*.f64 y (-.f64 z t)) (log.f64 (*.f64 y (-.f64 z t))) (log.f64 (*.f64 y (-.f64 z t))) (exp.f64 (*.f64 y (-.f64 z t))) (pow.f64 (*.f64 y (-.f64 z t)) 3) (*.f64 (cbrt.f64 (*.f64 y (-.f64 z t))) (cbrt.f64 (*.f64 y (-.f64 z t)))) (cbrt.f64 (*.f64 y (-.f64 z t))) (pow.f64 (*.f64 y (-.f64 z t)) 3) (sqrt.f64 (*.f64 y (-.f64 z t))) (sqrt.f64 (*.f64 y (-.f64 z t))) (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t))) (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t))) (*.f64 y z) (*.f64 y (neg.f64 t)) (*.f64 y z) (*.f64 y (neg.f64 t)) (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 y (sqrt.f64 (-.f64 z t))) y (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t))) y (*.f64 (-.f64 z t) (cbrt.f64 y)) (*.f64 (-.f64 z t) (sqrt.f64 y)) (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t))) 0 0 0 (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t)) 1.127 * * * [progress]: adding candidates to table 1.162 * * [progress]: iteration 2 / 4 1.162 * * * [progress]: picking best candidate 1.178 * * * * [pick]: Picked # 1.178 * * * [progress]: localizing error 1.186 * * * [progress]: generating rewritten candidates 1.186 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.201 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.214 * * * [progress]: generating series expansions 1.215 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.215 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in (y z t a) around 0 1.215 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in a 1.215 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 1.215 * [taylor]: Taking taylor expansion of y in a 1.215 * [taylor]: Taking taylor expansion of (- z t) in a 1.215 * [taylor]: Taking taylor expansion of z in a 1.215 * [taylor]: Taking taylor expansion of t in a 1.215 * [taylor]: Taking taylor expansion of (- z a) in a 1.215 * [taylor]: Taking taylor expansion of z in a 1.215 * [taylor]: Taking taylor expansion of a in a 1.215 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in t 1.215 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.215 * [taylor]: Taking taylor expansion of y in t 1.215 * [taylor]: Taking taylor expansion of (- z t) in t 1.215 * [taylor]: Taking taylor expansion of z in t 1.215 * [taylor]: Taking taylor expansion of t in t 1.215 * [taylor]: Taking taylor expansion of (- z a) in t 1.215 * [taylor]: Taking taylor expansion of z in t 1.215 * [taylor]: Taking taylor expansion of a in t 1.215 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in z 1.215 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.215 * [taylor]: Taking taylor expansion of y in z 1.215 * [taylor]: Taking taylor expansion of (- z t) in z 1.215 * [taylor]: Taking taylor expansion of z in z 1.215 * [taylor]: Taking taylor expansion of t in z 1.215 * [taylor]: Taking taylor expansion of (- z a) in z 1.215 * [taylor]: Taking taylor expansion of z in z 1.215 * [taylor]: Taking taylor expansion of a in z 1.216 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.216 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.216 * [taylor]: Taking taylor expansion of y in y 1.216 * [taylor]: Taking taylor expansion of (- z t) in y 1.216 * [taylor]: Taking taylor expansion of z in y 1.216 * [taylor]: Taking taylor expansion of t in y 1.216 * [taylor]: Taking taylor expansion of (- z a) in y 1.216 * [taylor]: Taking taylor expansion of z in y 1.216 * [taylor]: Taking taylor expansion of a in y 1.216 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.216 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.216 * [taylor]: Taking taylor expansion of y in y 1.216 * [taylor]: Taking taylor expansion of (- z t) in y 1.216 * [taylor]: Taking taylor expansion of z in y 1.216 * [taylor]: Taking taylor expansion of t in y 1.216 * [taylor]: Taking taylor expansion of (- z a) in y 1.216 * [taylor]: Taking taylor expansion of z in y 1.216 * [taylor]: Taking taylor expansion of a in y 1.216 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.216 * [taylor]: Taking taylor expansion of (- z t) in z 1.216 * [taylor]: Taking taylor expansion of z in z 1.216 * [taylor]: Taking taylor expansion of t in z 1.216 * [taylor]: Taking taylor expansion of (- z a) in z 1.216 * [taylor]: Taking taylor expansion of z in z 1.216 * [taylor]: Taking taylor expansion of a in z 1.216 * [taylor]: Taking taylor expansion of (/ t a) in t 1.216 * [taylor]: Taking taylor expansion of t in t 1.216 * [taylor]: Taking taylor expansion of a in t 1.217 * [taylor]: Taking taylor expansion of 0 in z 1.217 * [taylor]: Taking taylor expansion of 0 in t 1.217 * [taylor]: Taking taylor expansion of 0 in a 1.217 * [taylor]: Taking taylor expansion of (- (/ t (pow a 2)) (/ 1 a)) in t 1.217 * [taylor]: Taking taylor expansion of (/ t (pow a 2)) in t 1.217 * [taylor]: Taking taylor expansion of t in t 1.217 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.217 * [taylor]: Taking taylor expansion of a in t 1.217 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.217 * [taylor]: Taking taylor expansion of a in t 1.217 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.217 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.217 * [taylor]: Taking taylor expansion of a in a 1.217 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.217 * [taylor]: Taking taylor expansion of a in a 1.218 * [taylor]: Taking taylor expansion of 0 in z 1.218 * [taylor]: Taking taylor expansion of 0 in t 1.218 * [taylor]: Taking taylor expansion of 0 in a 1.218 * [taylor]: Taking taylor expansion of 0 in t 1.218 * [taylor]: Taking taylor expansion of 0 in a 1.218 * [taylor]: Taking taylor expansion of (- (/ t (pow a 3)) (/ 1 (pow a 2))) in t 1.218 * [taylor]: Taking taylor expansion of (/ t (pow a 3)) in t 1.218 * [taylor]: Taking taylor expansion of t in t 1.218 * [taylor]: Taking taylor expansion of (pow a 3) in t 1.218 * [taylor]: Taking taylor expansion of a in t 1.218 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.218 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.218 * [taylor]: Taking taylor expansion of a in t 1.219 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 2))) in a 1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.219 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.219 * [taylor]: Taking taylor expansion of a in a 1.219 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in (y z t a) around 0 1.219 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in a 1.219 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.219 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.219 * [taylor]: Taking taylor expansion of z in a 1.219 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.219 * [taylor]: Taking taylor expansion of t in a 1.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in a 1.219 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.219 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.219 * [taylor]: Taking taylor expansion of z in a 1.219 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.219 * [taylor]: Taking taylor expansion of a in a 1.219 * [taylor]: Taking taylor expansion of y in a 1.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in t 1.220 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.220 * [taylor]: Taking taylor expansion of z in t 1.220 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.220 * [taylor]: Taking taylor expansion of t in t 1.220 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in t 1.220 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.220 * [taylor]: Taking taylor expansion of z in t 1.220 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.220 * [taylor]: Taking taylor expansion of a in t 1.220 * [taylor]: Taking taylor expansion of y in t 1.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in z 1.220 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.220 * [taylor]: Taking taylor expansion of t in z 1.220 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in z 1.220 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.220 * [taylor]: Taking taylor expansion of a in z 1.220 * [taylor]: Taking taylor expansion of y in z 1.220 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in y 1.220 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.220 * [taylor]: Taking taylor expansion of z in y 1.220 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.220 * [taylor]: Taking taylor expansion of t in y 1.220 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.220 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.221 * [taylor]: Taking taylor expansion of z in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.221 * [taylor]: Taking taylor expansion of a in y 1.221 * [taylor]: Taking taylor expansion of y in y 1.221 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in y 1.221 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.221 * [taylor]: Taking taylor expansion of z in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.221 * [taylor]: Taking taylor expansion of t in y 1.221 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.221 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.221 * [taylor]: Taking taylor expansion of z in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.221 * [taylor]: Taking taylor expansion of a in y 1.221 * [taylor]: Taking taylor expansion of y in y 1.222 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.222 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.222 * [taylor]: Taking taylor expansion of t in z 1.222 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.222 * [taylor]: Taking taylor expansion of a in z 1.222 * [taylor]: Taking taylor expansion of 1 in t 1.223 * [taylor]: Taking taylor expansion of 0 in z 1.223 * [taylor]: Taking taylor expansion of 0 in t 1.223 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in t 1.223 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.223 * [taylor]: Taking taylor expansion of a in t 1.223 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.223 * [taylor]: Taking taylor expansion of t in t 1.223 * [taylor]: Taking taylor expansion of -1 in a 1.223 * [taylor]: Taking taylor expansion of 1 in a 1.224 * [taylor]: Taking taylor expansion of 0 in z 1.224 * [taylor]: Taking taylor expansion of 0 in t 1.224 * [taylor]: Taking taylor expansion of 0 in t 1.224 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in t 1.224 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.224 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.224 * [taylor]: Taking taylor expansion of a in t 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.224 * [taylor]: Taking taylor expansion of (* t a) in t 1.224 * [taylor]: Taking taylor expansion of t in t 1.224 * [taylor]: Taking taylor expansion of a in t 1.225 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.225 * [taylor]: Taking taylor expansion of a in a 1.225 * [taylor]: Taking taylor expansion of 0 in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.225 * [taylor]: Taking taylor expansion of a in a 1.225 * [taylor]: Taking taylor expansion of 0 in a 1.225 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in (y z t a) around 0 1.225 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in a 1.225 * [taylor]: Taking taylor expansion of -1 in a 1.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in a 1.225 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.225 * [taylor]: Taking taylor expansion of t in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.225 * [taylor]: Taking taylor expansion of z in a 1.225 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a 1.225 * [taylor]: Taking taylor expansion of y in a 1.225 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.225 * [taylor]: Taking taylor expansion of a in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.226 * [taylor]: Taking taylor expansion of z in a 1.226 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in t 1.226 * [taylor]: Taking taylor expansion of -1 in t 1.226 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in t 1.226 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.226 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.226 * [taylor]: Taking taylor expansion of t in t 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.226 * [taylor]: Taking taylor expansion of z in t 1.226 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in t 1.226 * [taylor]: Taking taylor expansion of y in t 1.226 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.226 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.226 * [taylor]: Taking taylor expansion of a in t 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.226 * [taylor]: Taking taylor expansion of z in t 1.226 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in z 1.226 * [taylor]: Taking taylor expansion of -1 in z 1.226 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in z 1.226 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.226 * [taylor]: Taking taylor expansion of t in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.226 * [taylor]: Taking taylor expansion of z in z 1.226 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in z 1.226 * [taylor]: Taking taylor expansion of y in z 1.226 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.226 * [taylor]: Taking taylor expansion of a in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.227 * [taylor]: Taking taylor expansion of z in z 1.227 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.227 * [taylor]: Taking taylor expansion of -1 in y 1.227 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.227 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.227 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.227 * [taylor]: Taking taylor expansion of t in y 1.227 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.227 * [taylor]: Taking taylor expansion of z in y 1.227 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.227 * [taylor]: Taking taylor expansion of y in y 1.227 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.227 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.227 * [taylor]: Taking taylor expansion of a in y 1.227 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.227 * [taylor]: Taking taylor expansion of z in y 1.227 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.227 * [taylor]: Taking taylor expansion of -1 in y 1.227 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.227 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.227 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.227 * [taylor]: Taking taylor expansion of t in y 1.227 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.227 * [taylor]: Taking taylor expansion of z in y 1.228 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.228 * [taylor]: Taking taylor expansion of y in y 1.228 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.228 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.228 * [taylor]: Taking taylor expansion of a in y 1.228 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.228 * [taylor]: Taking taylor expansion of z in y 1.228 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z)))) in z 1.228 * [taylor]: Taking taylor expansion of -1 in z 1.228 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.228 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.228 * [taylor]: Taking taylor expansion of t in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.228 * [taylor]: Taking taylor expansion of z in z 1.228 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.228 * [taylor]: Taking taylor expansion of a in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.228 * [taylor]: Taking taylor expansion of z in z 1.229 * [taylor]: Taking taylor expansion of -1 in t 1.229 * [taylor]: Taking taylor expansion of 0 in z 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.230 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 a)) in t 1.230 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.230 * [taylor]: Taking taylor expansion of t in t 1.230 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.230 * [taylor]: Taking taylor expansion of a in t 1.230 * [taylor]: Taking taylor expansion of 1 in a 1.230 * [taylor]: Taking taylor expansion of -1 in a 1.230 * [taylor]: Taking taylor expansion of 0 in z 1.231 * [taylor]: Taking taylor expansion of 0 in t 1.231 * [taylor]: Taking taylor expansion of 0 in t 1.231 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (pow a 2))) in t 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.231 * [taylor]: Taking taylor expansion of (* t a) in t 1.231 * [taylor]: Taking taylor expansion of t in t 1.231 * [taylor]: Taking taylor expansion of a in t 1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.231 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.231 * [taylor]: Taking taylor expansion of a in t 1.231 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.231 * [taylor]: Taking taylor expansion of a in a 1.232 * [taylor]: Taking taylor expansion of 0 in a 1.232 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.232 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.232 * [taylor]: Taking taylor expansion of a in a 1.232 * [taylor]: Taking taylor expansion of 0 in a 1.232 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.232 * [approximate]: Taking taylor expansion of (/ (- z t) (- z a)) in (z t a) around 0 1.232 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in a 1.232 * [taylor]: Taking taylor expansion of (- z t) in a 1.232 * [taylor]: Taking taylor expansion of z in a 1.232 * [taylor]: Taking taylor expansion of t in a 1.232 * [taylor]: Taking taylor expansion of (- z a) in a 1.232 * [taylor]: Taking taylor expansion of z in a 1.232 * [taylor]: Taking taylor expansion of a in a 1.232 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in t 1.232 * [taylor]: Taking taylor expansion of (- z t) in t 1.232 * [taylor]: Taking taylor expansion of z in t 1.232 * [taylor]: Taking taylor expansion of t in t 1.232 * [taylor]: Taking taylor expansion of (- z a) in t 1.232 * [taylor]: Taking taylor expansion of z in t 1.232 * [taylor]: Taking taylor expansion of a in t 1.232 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.232 * [taylor]: Taking taylor expansion of (- z t) in z 1.232 * [taylor]: Taking taylor expansion of z in z 1.232 * [taylor]: Taking taylor expansion of t in z 1.232 * [taylor]: Taking taylor expansion of (- z a) in z 1.232 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of a in z 1.233 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.233 * [taylor]: Taking taylor expansion of (- z t) in z 1.233 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of t in z 1.233 * [taylor]: Taking taylor expansion of (- z a) in z 1.233 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of a in z 1.233 * [taylor]: Taking taylor expansion of (/ t a) in t 1.233 * [taylor]: Taking taylor expansion of t in t 1.233 * [taylor]: Taking taylor expansion of a in t 1.233 * [taylor]: Taking taylor expansion of (- (/ t (pow a 2)) (/ 1 a)) in t 1.233 * [taylor]: Taking taylor expansion of (/ t (pow a 2)) in t 1.233 * [taylor]: Taking taylor expansion of t in t 1.233 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.233 * [taylor]: Taking taylor expansion of a in t 1.233 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.233 * [taylor]: Taking taylor expansion of a in t 1.233 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.233 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.233 * [taylor]: Taking taylor expansion of a in a 1.233 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.233 * [taylor]: Taking taylor expansion of a in a 1.234 * [taylor]: Taking taylor expansion of (- (/ t (pow a 3)) (/ 1 (pow a 2))) in t 1.234 * [taylor]: Taking taylor expansion of (/ t (pow a 3)) in t 1.234 * [taylor]: Taking taylor expansion of t in t 1.234 * [taylor]: Taking taylor expansion of (pow a 3) in t 1.234 * [taylor]: Taking taylor expansion of a in t 1.234 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.234 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.234 * [taylor]: Taking taylor expansion of a in t 1.237 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 2))) in a 1.237 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.237 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.237 * [taylor]: Taking taylor expansion of a in a 1.237 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.237 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.237 * [taylor]: Taking taylor expansion of a in a 1.238 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in (z t a) around 0 1.238 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in a 1.238 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.238 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.238 * [taylor]: Taking taylor expansion of z in a 1.238 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.238 * [taylor]: Taking taylor expansion of t in a 1.238 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.238 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.238 * [taylor]: Taking taylor expansion of z in a 1.238 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.238 * [taylor]: Taking taylor expansion of a in a 1.238 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in t 1.238 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.238 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.238 * [taylor]: Taking taylor expansion of z in t 1.238 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.238 * [taylor]: Taking taylor expansion of t in t 1.238 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.238 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.238 * [taylor]: Taking taylor expansion of z in t 1.239 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.239 * [taylor]: Taking taylor expansion of a in t 1.239 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.239 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.239 * [taylor]: Taking taylor expansion of z in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.239 * [taylor]: Taking taylor expansion of t in z 1.239 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.239 * [taylor]: Taking taylor expansion of z in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.239 * [taylor]: Taking taylor expansion of a in z 1.239 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.239 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.239 * [taylor]: Taking taylor expansion of z in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.239 * [taylor]: Taking taylor expansion of t in z 1.239 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.239 * [taylor]: Taking taylor expansion of z in z 1.239 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.239 * [taylor]: Taking taylor expansion of a in z 1.239 * [taylor]: Taking taylor expansion of 1 in t 1.240 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in t 1.240 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.240 * [taylor]: Taking taylor expansion of a in t 1.240 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.240 * [taylor]: Taking taylor expansion of t in t 1.240 * [taylor]: Taking taylor expansion of -1 in a 1.240 * [taylor]: Taking taylor expansion of 1 in a 1.240 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in t 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.240 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.240 * [taylor]: Taking taylor expansion of a in t 1.240 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.240 * [taylor]: Taking taylor expansion of (* t a) in t 1.240 * [taylor]: Taking taylor expansion of t in t 1.240 * [taylor]: Taking taylor expansion of a in t 1.240 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.241 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.241 * [taylor]: Taking taylor expansion of a in a 1.241 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.241 * [taylor]: Taking taylor expansion of a in a 1.241 * [taylor]: Taking taylor expansion of 0 in a 1.241 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in (z t a) around 0 1.241 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in a 1.241 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.241 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.241 * [taylor]: Taking taylor expansion of t in a 1.241 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.241 * [taylor]: Taking taylor expansion of z in a 1.241 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.241 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.241 * [taylor]: Taking taylor expansion of a in a 1.241 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.241 * [taylor]: Taking taylor expansion of z in a 1.241 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in t 1.241 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.241 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.241 * [taylor]: Taking taylor expansion of t in t 1.241 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.242 * [taylor]: Taking taylor expansion of z in t 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.242 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.242 * [taylor]: Taking taylor expansion of a in t 1.242 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.242 * [taylor]: Taking taylor expansion of z in t 1.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.242 * [taylor]: Taking taylor expansion of t in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.242 * [taylor]: Taking taylor expansion of z in z 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.242 * [taylor]: Taking taylor expansion of a in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.242 * [taylor]: Taking taylor expansion of z in z 1.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.242 * [taylor]: Taking taylor expansion of t in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.242 * [taylor]: Taking taylor expansion of z in z 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.242 * [taylor]: Taking taylor expansion of a in z 1.242 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.242 * [taylor]: Taking taylor expansion of z in z 1.242 * [taylor]: Taking taylor expansion of 1 in t 1.243 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in t 1.243 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.243 * [taylor]: Taking taylor expansion of a in t 1.243 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.243 * [taylor]: Taking taylor expansion of t in t 1.243 * [taylor]: Taking taylor expansion of -1 in a 1.243 * [taylor]: Taking taylor expansion of 1 in a 1.243 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in t 1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.243 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.243 * [taylor]: Taking taylor expansion of a in t 1.243 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.243 * [taylor]: Taking taylor expansion of (* t a) in t 1.243 * [taylor]: Taking taylor expansion of t in t 1.243 * [taylor]: Taking taylor expansion of a in t 1.244 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.244 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.244 * [taylor]: Taking taylor expansion of a in a 1.244 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.244 * [taylor]: Taking taylor expansion of a in a 1.244 * [taylor]: Taking taylor expansion of 0 in a 1.244 * * * [progress]: simplifying candidates 1.245 * [simplify]: Simplifying using # : (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (+.f64 (log.f64 y) (-.f64 (log.f64 (-.f64 z t)) (log.f64 (-.f64 z a)))) (+.f64 (log.f64 y) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (exp.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (*.f64 (*.f64 y y) y) (/.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a)))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z t) (-.f64 z a))) (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (*.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a)))) (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a)))) (*.f64 y (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))))) (*.f64 y (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 (-.f64 z a)))) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) 1)) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) 1)) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a)))) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) 1)) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) 1)) (*.f64 y (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 1 (sqrt.f64 (-.f64 z a)))) (*.f64 y (/.f64 1 1)) (*.f64 y (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (/.f64 1 1)) (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (-.f64 z a)))) (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) 1)) (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) 1)) (*.f64 y (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 1 (sqrt.f64 (-.f64 z a)))) (*.f64 y (/.f64 1 1)) (*.f64 y (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (/.f64 1 1)) (*.f64 y 1) (*.f64 y (-.f64 z t)) (*.f64 y (/.f64 (-.f64 z t) (-.f64 (pow.f64 z 3) (pow.f64 a 3)))) (*.f64 y (/.f64 (-.f64 z t) (-.f64 (*.f64 z z) (*.f64 a a)))) (*.f64 (cbrt.f64 y) (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 (sqrt.f64 y) (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 y (-.f64 z t)) (-.f64 (log.f64 (-.f64 z t)) (log.f64 (-.f64 z a))) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (exp.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (/.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a))) (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z t) (-.f64 z a))) (/.f64 (-.f64 z t) (-.f64 z a))) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (neg.f64 (-.f64 z t)) (neg.f64 (-.f64 z a)) (/.f64 z (-.f64 z a)) (/.f64 t (-.f64 z a)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z a))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) 1) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (sqrt.f64 (-.f64 z t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 z t)) 1) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (/.f64 1 1) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 1 1) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (cbrt.f64 (-.f64 z a))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (-.f64 z a))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) 1) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (-.f64 z a)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) 1) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (-.f64 z a)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (/.f64 1 1) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 1 1) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (-.f64 z a)) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) 1) (/.f64 (-.f64 z t) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) 1) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z t) (-.f64 (pow.f64 z 3) (pow.f64 a 3))) (/.f64 (-.f64 z t) (-.f64 (*.f64 z z) (*.f64 a a))) (*.f64 (-.f64 z a) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t)))) (*.f64 (-.f64 z a) (+.f64 z t)) 0 0 0 0 0 0 1.289 * * [simplify]: iteration 0 : 5083 enodes (cost 1163 ) 1.293 * [simplify]: Simplified to: (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (exp.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) 3) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) 3) (*.f64 (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) 3) (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a)))) (*.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a)))) (*.f64 y (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))))) (*.f64 y (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 (-.f64 z a)))) (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a)))) (*.f64 y (sqrt.f64 (-.f64 z t))) (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (sqrt.f64 (-.f64 z t))) (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 y (sqrt.f64 (-.f64 z a))) y (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a))) y (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (-.f64 z a)))) (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 y (sqrt.f64 (-.f64 z a))) y (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a))) y y (*.f64 y (-.f64 z t)) (*.f64 y (/.f64 (-.f64 z t) (-.f64 (pow.f64 z 3) (pow.f64 a 3)))) (*.f64 y (/.f64 (-.f64 z t) (-.f64 (*.f64 z z) (*.f64 a a)))) (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y)) (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (sqrt.f64 y)) (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 y (-.f64 z t)) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (exp.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (pow.f64 (/.f64 (-.f64 z t) (-.f64 z a)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (pow.f64 (/.f64 (-.f64 z t) (-.f64 z a)) 3) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (-.f64 t z) (-.f64 a z) (/.f64 z (-.f64 z a)) (/.f64 t (-.f64 z a)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z a))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (sqrt.f64 (-.f64 z t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) 1 (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) 1 (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (cbrt.f64 (-.f64 z a))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (-.f64 z a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (-.f64 z a)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (-.f64 z a)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) 1 (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) 1 (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 1 (-.f64 z a)) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (-.f64 z t) (/.f64 (-.f64 z t) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (-.f64 z t) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z t) (-.f64 (pow.f64 z 3) (pow.f64 a 3))) (/.f64 (-.f64 z t) (-.f64 (*.f64 z z) (*.f64 a a))) (*.f64 (-.f64 z a) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t)))) (*.f64 (-.f64 z a) (+.f64 z t)) 0 0 0 0 0 0 1.294 * * * [progress]: adding candidates to table 1.337 * * [progress]: iteration 3 / 4 1.337 * * * [progress]: picking best candidate 1.350 * * * * [pick]: Picked # 1.350 * * * [progress]: localizing error 1.358 * * * [progress]: generating rewritten candidates 1.358 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.371 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.392 * * * [progress]: generating series expansions 1.392 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.392 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in (y z a t) around 0 1.392 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in t 1.392 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.392 * [taylor]: Taking taylor expansion of y in t 1.392 * [taylor]: Taking taylor expansion of (- z t) in t 1.392 * [taylor]: Taking taylor expansion of z in t 1.392 * [taylor]: Taking taylor expansion of t in t 1.392 * [taylor]: Taking taylor expansion of (- z a) in t 1.392 * [taylor]: Taking taylor expansion of z in t 1.392 * [taylor]: Taking taylor expansion of a in t 1.392 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in a 1.392 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 1.392 * [taylor]: Taking taylor expansion of y in a 1.392 * [taylor]: Taking taylor expansion of (- z t) in a 1.392 * [taylor]: Taking taylor expansion of z in a 1.393 * [taylor]: Taking taylor expansion of t in a 1.393 * [taylor]: Taking taylor expansion of (- z a) in a 1.393 * [taylor]: Taking taylor expansion of z in a 1.393 * [taylor]: Taking taylor expansion of a in a 1.393 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in z 1.393 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.393 * [taylor]: Taking taylor expansion of y in z 1.393 * [taylor]: Taking taylor expansion of (- z t) in z 1.393 * [taylor]: Taking taylor expansion of z in z 1.393 * [taylor]: Taking taylor expansion of t in z 1.393 * [taylor]: Taking taylor expansion of (- z a) in z 1.393 * [taylor]: Taking taylor expansion of z in z 1.393 * [taylor]: Taking taylor expansion of a in z 1.393 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.393 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.393 * [taylor]: Taking taylor expansion of y in y 1.393 * [taylor]: Taking taylor expansion of (- z t) in y 1.393 * [taylor]: Taking taylor expansion of z in y 1.393 * [taylor]: Taking taylor expansion of t in y 1.393 * [taylor]: Taking taylor expansion of (- z a) in y 1.393 * [taylor]: Taking taylor expansion of z in y 1.393 * [taylor]: Taking taylor expansion of a in y 1.393 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.393 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.393 * [taylor]: Taking taylor expansion of y in y 1.393 * [taylor]: Taking taylor expansion of (- z t) in y 1.393 * [taylor]: Taking taylor expansion of z in y 1.393 * [taylor]: Taking taylor expansion of t in y 1.393 * [taylor]: Taking taylor expansion of (- z a) in y 1.393 * [taylor]: Taking taylor expansion of z in y 1.393 * [taylor]: Taking taylor expansion of a in y 1.394 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.394 * [taylor]: Taking taylor expansion of (- z t) in z 1.394 * [taylor]: Taking taylor expansion of z in z 1.394 * [taylor]: Taking taylor expansion of t in z 1.394 * [taylor]: Taking taylor expansion of (- z a) in z 1.394 * [taylor]: Taking taylor expansion of z in z 1.394 * [taylor]: Taking taylor expansion of a in z 1.394 * [taylor]: Taking taylor expansion of (/ t a) in a 1.394 * [taylor]: Taking taylor expansion of t in a 1.394 * [taylor]: Taking taylor expansion of a in a 1.394 * [taylor]: Taking taylor expansion of 0 in t 1.394 * [taylor]: Taking taylor expansion of 0 in z 1.394 * [taylor]: Taking taylor expansion of 0 in a 1.394 * [taylor]: Taking taylor expansion of 0 in t 1.394 * [taylor]: Taking taylor expansion of (- (/ t (pow a 2)) (/ 1 a)) in a 1.394 * [taylor]: Taking taylor expansion of (/ t (pow a 2)) in a 1.394 * [taylor]: Taking taylor expansion of t in a 1.394 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.394 * [taylor]: Taking taylor expansion of a in a 1.394 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.395 * [taylor]: Taking taylor expansion of a in a 1.395 * [taylor]: Taking taylor expansion of 0 in t 1.395 * [taylor]: Taking taylor expansion of 0 in t 1.395 * [taylor]: Taking taylor expansion of 0 in z 1.395 * [taylor]: Taking taylor expansion of 0 in a 1.395 * [taylor]: Taking taylor expansion of 0 in t 1.395 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in (y z a t) around 0 1.395 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in t 1.395 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.395 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.395 * [taylor]: Taking taylor expansion of z in t 1.395 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.395 * [taylor]: Taking taylor expansion of t in t 1.395 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in t 1.395 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.395 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.396 * [taylor]: Taking taylor expansion of z in t 1.396 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.396 * [taylor]: Taking taylor expansion of a in t 1.396 * [taylor]: Taking taylor expansion of y in t 1.396 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in a 1.396 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.396 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.396 * [taylor]: Taking taylor expansion of z in a 1.396 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.396 * [taylor]: Taking taylor expansion of t in a 1.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in a 1.396 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.396 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.396 * [taylor]: Taking taylor expansion of z in a 1.396 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.396 * [taylor]: Taking taylor expansion of a in a 1.396 * [taylor]: Taking taylor expansion of y in a 1.396 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in z 1.396 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.396 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.396 * [taylor]: Taking taylor expansion of z in z 1.396 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.396 * [taylor]: Taking taylor expansion of t in z 1.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in z 1.396 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.396 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.396 * [taylor]: Taking taylor expansion of z in z 1.396 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.396 * [taylor]: Taking taylor expansion of a in z 1.397 * [taylor]: Taking taylor expansion of y in z 1.397 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in y 1.397 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.397 * [taylor]: Taking taylor expansion of z in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.397 * [taylor]: Taking taylor expansion of t in y 1.397 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.397 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.397 * [taylor]: Taking taylor expansion of z in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.397 * [taylor]: Taking taylor expansion of a in y 1.397 * [taylor]: Taking taylor expansion of y in y 1.397 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in y 1.397 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.397 * [taylor]: Taking taylor expansion of z in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.397 * [taylor]: Taking taylor expansion of t in y 1.397 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.397 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.397 * [taylor]: Taking taylor expansion of z in y 1.398 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.398 * [taylor]: Taking taylor expansion of a in y 1.398 * [taylor]: Taking taylor expansion of y in y 1.398 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.398 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.398 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.398 * [taylor]: Taking taylor expansion of z in z 1.398 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.398 * [taylor]: Taking taylor expansion of t in z 1.398 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.398 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.398 * [taylor]: Taking taylor expansion of z in z 1.398 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.398 * [taylor]: Taking taylor expansion of a in z 1.398 * [taylor]: Taking taylor expansion of 1 in a 1.398 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [taylor]: Taking taylor expansion of 0 in z 1.399 * [taylor]: Taking taylor expansion of 0 in a 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.402 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in a 1.402 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.402 * [taylor]: Taking taylor expansion of a in a 1.403 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.403 * [taylor]: Taking taylor expansion of t in a 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in z 1.403 * [taylor]: Taking taylor expansion of 0 in a 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in a 1.404 * [taylor]: Taking taylor expansion of 0 in t 1.404 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in a 1.404 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.404 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.404 * [taylor]: Taking taylor expansion of a in a 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.404 * [taylor]: Taking taylor expansion of (* t a) in a 1.404 * [taylor]: Taking taylor expansion of t in a 1.404 * [taylor]: Taking taylor expansion of a in a 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of 0 in z 1.406 * [taylor]: Taking taylor expansion of 0 in a 1.406 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of 0 in a 1.406 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of 0 in a 1.406 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 3)) (/ 1 (* t (pow a 2)))) in a 1.406 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 1.406 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.406 * [taylor]: Taking taylor expansion of a in a 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow a 2))) in a 1.406 * [taylor]: Taking taylor expansion of (* t (pow a 2)) in a 1.406 * [taylor]: Taking taylor expansion of t in a 1.406 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.407 * [taylor]: Taking taylor expansion of a in a 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.408 * [taylor]: Taking taylor expansion of 0 in t 1.408 * [taylor]: Taking taylor expansion of 0 in t 1.408 * [taylor]: Taking taylor expansion of 0 in t 1.408 * [taylor]: Taking taylor expansion of 0 in t 1.408 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in (y z a t) around 0 1.408 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in t 1.408 * [taylor]: Taking taylor expansion of -1 in t 1.408 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in t 1.408 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.408 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.408 * [taylor]: Taking taylor expansion of t in t 1.408 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.408 * [taylor]: Taking taylor expansion of z in t 1.408 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in t 1.408 * [taylor]: Taking taylor expansion of y in t 1.408 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.408 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.409 * [taylor]: Taking taylor expansion of a in t 1.409 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.409 * [taylor]: Taking taylor expansion of z in t 1.409 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in a 1.409 * [taylor]: Taking taylor expansion of -1 in a 1.409 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in a 1.409 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.409 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.409 * [taylor]: Taking taylor expansion of t in a 1.409 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.409 * [taylor]: Taking taylor expansion of z in a 1.409 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a 1.409 * [taylor]: Taking taylor expansion of y in a 1.409 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.409 * [taylor]: Taking taylor expansion of a in a 1.409 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.409 * [taylor]: Taking taylor expansion of z in a 1.409 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in z 1.409 * [taylor]: Taking taylor expansion of -1 in z 1.409 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in z 1.409 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.409 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.409 * [taylor]: Taking taylor expansion of t in z 1.409 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.409 * [taylor]: Taking taylor expansion of z in z 1.409 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in z 1.409 * [taylor]: Taking taylor expansion of y in z 1.409 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.409 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.409 * [taylor]: Taking taylor expansion of a in z 1.410 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.410 * [taylor]: Taking taylor expansion of z in z 1.410 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.410 * [taylor]: Taking taylor expansion of -1 in y 1.410 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.410 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.410 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.410 * [taylor]: Taking taylor expansion of t in y 1.410 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.410 * [taylor]: Taking taylor expansion of z in y 1.410 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.410 * [taylor]: Taking taylor expansion of y in y 1.410 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.410 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.410 * [taylor]: Taking taylor expansion of a in y 1.410 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.410 * [taylor]: Taking taylor expansion of z in y 1.410 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.410 * [taylor]: Taking taylor expansion of -1 in y 1.410 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.410 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.410 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.410 * [taylor]: Taking taylor expansion of t in y 1.410 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.410 * [taylor]: Taking taylor expansion of z in y 1.411 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.411 * [taylor]: Taking taylor expansion of y in y 1.411 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.411 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.411 * [taylor]: Taking taylor expansion of a in y 1.411 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.411 * [taylor]: Taking taylor expansion of z in y 1.411 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z)))) in z 1.411 * [taylor]: Taking taylor expansion of -1 in z 1.411 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.411 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.411 * [taylor]: Taking taylor expansion of t in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.411 * [taylor]: Taking taylor expansion of z in z 1.411 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.411 * [taylor]: Taking taylor expansion of a in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.411 * [taylor]: Taking taylor expansion of z in z 1.412 * [taylor]: Taking taylor expansion of -1 in a 1.412 * [taylor]: Taking taylor expansion of 0 in t 1.412 * [taylor]: Taking taylor expansion of 0 in z 1.412 * [taylor]: Taking taylor expansion of 0 in a 1.412 * [taylor]: Taking taylor expansion of 0 in t 1.413 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 a)) in a 1.413 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.413 * [taylor]: Taking taylor expansion of t in a 1.413 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.413 * [taylor]: Taking taylor expansion of a in a 1.413 * [taylor]: Taking taylor expansion of 0 in t 1.413 * [taylor]: Taking taylor expansion of 0 in t 1.414 * [taylor]: Taking taylor expansion of 0 in z 1.414 * [taylor]: Taking taylor expansion of 0 in a 1.414 * [taylor]: Taking taylor expansion of 0 in t 1.414 * [taylor]: Taking taylor expansion of 0 in a 1.414 * [taylor]: Taking taylor expansion of 0 in t 1.414 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (pow a 2))) in a 1.414 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.414 * [taylor]: Taking taylor expansion of (* t a) in a 1.414 * [taylor]: Taking taylor expansion of t in a 1.414 * [taylor]: Taking taylor expansion of a in a 1.414 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.414 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.414 * [taylor]: Taking taylor expansion of a in a 1.415 * [taylor]: Taking taylor expansion of 0 in t 1.415 * [taylor]: Taking taylor expansion of 0 in t 1.415 * [taylor]: Taking taylor expansion of 0 in t 1.415 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in z 1.416 * [taylor]: Taking taylor expansion of 0 in a 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in a 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in a 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.417 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (pow a 2))) (/ 1 (pow a 3))) in a 1.417 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow a 2))) in a 1.417 * [taylor]: Taking taylor expansion of (* t (pow a 2)) in a 1.417 * [taylor]: Taking taylor expansion of t in a 1.417 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.417 * [taylor]: Taking taylor expansion of a in a 1.417 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 1.417 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.417 * [taylor]: Taking taylor expansion of a in a 1.418 * [taylor]: Taking taylor expansion of 0 in t 1.418 * [taylor]: Taking taylor expansion of 0 in t 1.418 * [taylor]: Taking taylor expansion of 0 in t 1.419 * [taylor]: Taking taylor expansion of 0 in t 1.419 * [taylor]: Taking taylor expansion of 0 in t 1.419 * [taylor]: Taking taylor expansion of 0 in t 1.419 * [taylor]: Taking taylor expansion of 0 in t 1.419 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.419 * [approximate]: Taking taylor expansion of (/ (- z a) (- z t)) in (z a t) around 0 1.419 * [taylor]: Taking taylor expansion of (/ (- z a) (- z t)) in t 1.419 * [taylor]: Taking taylor expansion of (- z a) in t 1.419 * [taylor]: Taking taylor expansion of z in t 1.419 * [taylor]: Taking taylor expansion of a in t 1.419 * [taylor]: Taking taylor expansion of (- z t) in t 1.419 * [taylor]: Taking taylor expansion of z in t 1.419 * [taylor]: Taking taylor expansion of t in t 1.419 * [taylor]: Taking taylor expansion of (/ (- z a) (- z t)) in a 1.419 * [taylor]: Taking taylor expansion of (- z a) in a 1.419 * [taylor]: Taking taylor expansion of z in a 1.419 * [taylor]: Taking taylor expansion of a in a 1.419 * [taylor]: Taking taylor expansion of (- z t) in a 1.419 * [taylor]: Taking taylor expansion of z in a 1.419 * [taylor]: Taking taylor expansion of t in a 1.419 * [taylor]: Taking taylor expansion of (/ (- z a) (- z t)) in z 1.419 * [taylor]: Taking taylor expansion of (- z a) in z 1.419 * [taylor]: Taking taylor expansion of z in z 1.419 * [taylor]: Taking taylor expansion of a in z 1.419 * [taylor]: Taking taylor expansion of (- z t) in z 1.419 * [taylor]: Taking taylor expansion of z in z 1.419 * [taylor]: Taking taylor expansion of t in z 1.420 * [taylor]: Taking taylor expansion of (/ (- z a) (- z t)) in z 1.420 * [taylor]: Taking taylor expansion of (- z a) in z 1.420 * [taylor]: Taking taylor expansion of z in z 1.420 * [taylor]: Taking taylor expansion of a in z 1.420 * [taylor]: Taking taylor expansion of (- z t) in z 1.420 * [taylor]: Taking taylor expansion of z in z 1.420 * [taylor]: Taking taylor expansion of t in z 1.420 * [taylor]: Taking taylor expansion of (/ a t) in a 1.420 * [taylor]: Taking taylor expansion of a in a 1.420 * [taylor]: Taking taylor expansion of t in a 1.420 * [taylor]: Taking taylor expansion of (- (/ a (pow t 2)) (/ 1 t)) in a 1.420 * [taylor]: Taking taylor expansion of (/ a (pow t 2)) in a 1.420 * [taylor]: Taking taylor expansion of a in a 1.420 * [taylor]: Taking taylor expansion of (pow t 2) in a 1.420 * [taylor]: Taking taylor expansion of t in a 1.420 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.420 * [taylor]: Taking taylor expansion of t in a 1.420 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 1.420 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.420 * [taylor]: Taking taylor expansion of t in t 1.420 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.420 * [taylor]: Taking taylor expansion of t in t 1.421 * [taylor]: Taking taylor expansion of (- (/ a (pow t 3)) (/ 1 (pow t 2))) in a 1.421 * [taylor]: Taking taylor expansion of (/ a (pow t 3)) in a 1.421 * [taylor]: Taking taylor expansion of a in a 1.421 * [taylor]: Taking taylor expansion of (pow t 3) in a 1.421 * [taylor]: Taking taylor expansion of t in a 1.421 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in a 1.421 * [taylor]: Taking taylor expansion of (pow t 2) in a 1.421 * [taylor]: Taking taylor expansion of t in a 1.421 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow t 2))) in t 1.421 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 1.421 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.421 * [taylor]: Taking taylor expansion of t in t 1.422 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 1.422 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.422 * [taylor]: Taking taylor expansion of t in t 1.422 * [taylor]: Taking taylor expansion of 0 in t 1.422 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 a)) (- (/ 1 z) (/ 1 t))) in (z a t) around 0 1.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 a)) (- (/ 1 z) (/ 1 t))) in t 1.422 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.422 * [taylor]: Taking taylor expansion of z in t 1.422 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.422 * [taylor]: Taking taylor expansion of a in t 1.422 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.422 * [taylor]: Taking taylor expansion of z in t 1.422 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.422 * [taylor]: Taking taylor expansion of t in t 1.423 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 a)) (- (/ 1 z) (/ 1 t))) in a 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.423 * [taylor]: Taking taylor expansion of z in a 1.423 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.423 * [taylor]: Taking taylor expansion of a in a 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.423 * [taylor]: Taking taylor expansion of z in a 1.423 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.423 * [taylor]: Taking taylor expansion of t in a 1.423 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 a)) (- (/ 1 z) (/ 1 t))) in z 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.423 * [taylor]: Taking taylor expansion of z in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.423 * [taylor]: Taking taylor expansion of a in z 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.423 * [taylor]: Taking taylor expansion of z in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.423 * [taylor]: Taking taylor expansion of t in z 1.423 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 a)) (- (/ 1 z) (/ 1 t))) in z 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.423 * [taylor]: Taking taylor expansion of z in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.423 * [taylor]: Taking taylor expansion of a in z 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.423 * [taylor]: Taking taylor expansion of z in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.423 * [taylor]: Taking taylor expansion of t in z 1.423 * [taylor]: Taking taylor expansion of 1 in a 1.424 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 a)) in a 1.424 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.424 * [taylor]: Taking taylor expansion of t in a 1.424 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.424 * [taylor]: Taking taylor expansion of a in a 1.424 * [taylor]: Taking taylor expansion of -1 in t 1.424 * [taylor]: Taking taylor expansion of 1 in t 1.424 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2)) (/ 1 (* a t))) in a 1.424 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in a 1.424 * [taylor]: Taking taylor expansion of (pow t 2) in a 1.424 * [taylor]: Taking taylor expansion of t in a 1.424 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in a 1.425 * [taylor]: Taking taylor expansion of (* a t) in a 1.425 * [taylor]: Taking taylor expansion of a in a 1.425 * [taylor]: Taking taylor expansion of t in a 1.425 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 1.425 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.425 * [taylor]: Taking taylor expansion of t in t 1.425 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.425 * [taylor]: Taking taylor expansion of t in t 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [approximate]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 z)) (- (/ 1 t) (/ 1 z))) in (z a t) around 0 1.425 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 z)) (- (/ 1 t) (/ 1 z))) in t 1.425 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.425 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.425 * [taylor]: Taking taylor expansion of a in t 1.425 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.425 * [taylor]: Taking taylor expansion of z in t 1.425 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.425 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.425 * [taylor]: Taking taylor expansion of t in t 1.425 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.425 * [taylor]: Taking taylor expansion of z in t 1.426 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 z)) (- (/ 1 t) (/ 1 z))) in a 1.426 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.426 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.426 * [taylor]: Taking taylor expansion of a in a 1.426 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.426 * [taylor]: Taking taylor expansion of z in a 1.426 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.426 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.426 * [taylor]: Taking taylor expansion of t in a 1.426 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.426 * [taylor]: Taking taylor expansion of z in a 1.426 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 z)) (- (/ 1 t) (/ 1 z))) in z 1.426 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.426 * [taylor]: Taking taylor expansion of a in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.426 * [taylor]: Taking taylor expansion of z in z 1.426 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.426 * [taylor]: Taking taylor expansion of t in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.426 * [taylor]: Taking taylor expansion of z in z 1.426 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 z)) (- (/ 1 t) (/ 1 z))) in z 1.426 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.426 * [taylor]: Taking taylor expansion of a in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.426 * [taylor]: Taking taylor expansion of z in z 1.426 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.426 * [taylor]: Taking taylor expansion of t in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.426 * [taylor]: Taking taylor expansion of z in z 1.427 * [taylor]: Taking taylor expansion of 1 in a 1.427 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 a)) in a 1.427 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.427 * [taylor]: Taking taylor expansion of t in a 1.427 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.427 * [taylor]: Taking taylor expansion of a in a 1.427 * [taylor]: Taking taylor expansion of -1 in t 1.427 * [taylor]: Taking taylor expansion of 1 in t 1.427 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2)) (/ 1 (* a t))) in a 1.427 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in a 1.427 * [taylor]: Taking taylor expansion of (pow t 2) in a 1.427 * [taylor]: Taking taylor expansion of t in a 1.427 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in a 1.428 * [taylor]: Taking taylor expansion of (* a t) in a 1.428 * [taylor]: Taking taylor expansion of a in a 1.428 * [taylor]: Taking taylor expansion of t in a 1.428 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 1.428 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.428 * [taylor]: Taking taylor expansion of t in t 1.428 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.428 * [taylor]: Taking taylor expansion of t in t 1.428 * [taylor]: Taking taylor expansion of 0 in t 1.428 * * * [progress]: simplifying candidates 1.431 * [simplify]: Simplifying using # : (-.f64 (log.f64 y) (-.f64 (log.f64 (-.f64 z a)) (log.f64 (-.f64 z t)))) (-.f64 (log.f64 y) (log.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (log.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (exp.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (*.f64 (*.f64 y y) y) (/.f64 (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a)) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (-.f64 z a) (-.f64 z t)))) (*.f64 (cbrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (cbrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))) (cbrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (*.f64 (*.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (sqrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (sqrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (neg.f64 y) (neg.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 (cbrt.f64 y) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 (-.f64 z a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 1)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 1)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 1)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 1 1)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (-.f64 z a)) (/.f64 (cbrt.f64 y) (/.f64 1 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (-.f64 z a) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))) (/.f64 (cbrt.f64 y) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (-.f64 z a) (-.f64 (*.f64 z z) (*.f64 t t)))) (/.f64 (cbrt.f64 y) (+.f64 z t)) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 1 1)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 1 1)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 1 1)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (/.f64 1 1)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (sqrt.f64 y) (-.f64 z a)) (/.f64 (sqrt.f64 y) (/.f64 1 (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))) (/.f64 (sqrt.f64 y) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (*.f64 z z) (*.f64 t t)))) (/.f64 (sqrt.f64 y) (+.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 y (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 1 (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 y (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 z a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 1 1)) (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 1 (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (/.f64 1 1)) (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 1 (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (/.f64 1 (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (/.f64 1 1)) (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 1 (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (/.f64 1 1)) (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 1 1) (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 1 (-.f64 z a)) (/.f64 y (/.f64 1 (-.f64 z t))) (/.f64 1 (/.f64 (-.f64 z a) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))) (/.f64 y (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t)))) (/.f64 1 (/.f64 (-.f64 z a) (-.f64 (*.f64 z z) (*.f64 t t)))) (/.f64 y (+.f64 z t)) (/.f64 1 (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (/.f64 (-.f64 z a) (-.f64 z t)) y) (/.f64 y (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 y (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1)) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) 1)) (/.f64 y (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 1 1)) (/.f64 y (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 1 1)) (/.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1)) (/.f64 y (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 1 (sqrt.f64 (-.f64 z t)))) (/.f64 y (/.f64 1 1)) (/.f64 y (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 y (/.f64 1 1)) (/.f64 y 1) (/.f64 y (-.f64 z a)) (/.f64 y (/.f64 (-.f64 z a) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))) (/.f64 y (/.f64 (-.f64 z a) (-.f64 (*.f64 z z) (*.f64 t t)))) (/.f64 (/.f64 (-.f64 z a) (-.f64 z t)) (cbrt.f64 y)) (/.f64 (/.f64 (-.f64 z a) (-.f64 z t)) (sqrt.f64 y)) (/.f64 (/.f64 (-.f64 z a) (-.f64 z t)) y) (/.f64 y (-.f64 z a)) (-.f64 (log.f64 (-.f64 z a)) (log.f64 (-.f64 z t))) (log.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (exp.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a)) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))) (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (*.f64 (*.f64 (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (-.f64 z a) (-.f64 z t))) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (neg.f64 (-.f64 z a)) (neg.f64 (-.f64 z t)) (/.f64 z (-.f64 z t)) (/.f64 a (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) 1) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 (-.f64 z a)) 1) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 (sqrt.f64 (-.f64 z a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (sqrt.f64 (-.f64 z a)) 1) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t))) (/.f64 1 (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) (/.f64 1 1) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 1 1) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) 1) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t))) (/.f64 1 (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) (/.f64 1 1) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 1 1) (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 1 (-.f64 z t)) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) 1) (/.f64 (-.f64 z a) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 z a) 1) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z a) (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (/.f64 (-.f64 z a) (-.f64 (*.f64 z z) (*.f64 t t))) (*.f64 (-.f64 z t) (+.f64 (*.f64 z z) (+.f64 (*.f64 a a) (*.f64 z a)))) (*.f64 (-.f64 z t) (+.f64 z a)) 0 0 0 0 0 0 1.470 * * [simplify]: iteration 0 : 5075 enodes (cost 3149 ) 1.481 * [simplify]: Simplified to: (log.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (log.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (log.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (exp.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (pow.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) 3) (pow.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) 3) (*.f64 (cbrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (cbrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))) (cbrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (pow.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) 3) (sqrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (sqrt.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))) (neg.f64 y) (/.f64 (-.f64 a z) (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 (cbrt.f64 y) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (*.f64 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (-.f64 z a)))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (cbrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (-.f64 z a)) (*.f64 (-.f64 z t) (cbrt.f64 y)) (*.f64 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (-.f64 z a)) (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (/.f64 (cbrt.f64 y) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t)))) (*.f64 (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (-.f64 z a)) (-.f64 (*.f64 z z) (*.f64 t t))) (/.f64 (cbrt.f64 y) (+.f64 z t)) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (sqrt.f64 y) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z a))) (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z a)))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z a)))) (*.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z a)))) (/.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z a))) (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z a)))) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (sqrt.f64 y) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 y)) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (sqrt.f64 y) (/.f64 (sqrt.f64 y) (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (sqrt.f64 y) (-.f64 z a)) (*.f64 (-.f64 z t) (sqrt.f64 y)) (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 (sqrt.f64 y) (-.f64 z a))) (/.f64 (sqrt.f64 y) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t)))) (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 (sqrt.f64 y) (-.f64 z a))) (/.f64 (sqrt.f64 y) (+.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 y (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 1 (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 y (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 y (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 (-.f64 z a))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (-.f64 z a))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 y (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (sqrt.f64 (-.f64 z t)) (/.f64 y (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) 1 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) 1 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 (-.f64 z t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 y (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 y (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t)))) (sqrt.f64 (-.f64 z t)) (/.f64 y (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t)))) 1 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))) 1 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) 1 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (/.f64 1 (-.f64 z a)) (*.f64 y (-.f64 z t)) (/.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (-.f64 z a)) (/.f64 y (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t)))) (/.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (-.f64 z a)) (/.f64 y (+.f64 z t)) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z a) (*.f64 y (-.f64 z t))) (/.f64 y (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))))) (/.f64 y (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (/.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t)))) (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (/.f64 y (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (*.f64 (cbrt.f64 (-.f64 z t)) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t)))) (/.f64 y (sqrt.f64 (-.f64 z a))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (sqrt.f64 (-.f64 z a)))) (/.f64 y (sqrt.f64 (-.f64 z a))) (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 y (sqrt.f64 (-.f64 z t))) y (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t))) y (/.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))) (/.f64 y (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t)))) (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (*.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (/.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (*.f64 y (sqrt.f64 (-.f64 z t))) y (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t))) y y (/.f64 y (-.f64 z a)) (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 y (-.f64 z a))) (*.f64 (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))) (+.f64 z t)) (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) (cbrt.f64 y))) (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) (sqrt.f64 y))) (/.f64 (-.f64 z a) (*.f64 y (-.f64 z t))) (/.f64 y (-.f64 z a)) (log.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (log.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (exp.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (pow.f64 (/.f64 (-.f64 z a) (-.f64 z t)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t)))) (cbrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (pow.f64 (/.f64 (-.f64 z a) (-.f64 z t)) 3) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (sqrt.f64 (/.f64 (-.f64 z a) (-.f64 z t))) (-.f64 a z) (-.f64 t z) (/.f64 z (-.f64 z t)) (/.f64 a (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (sqrt.f64 (-.f64 z t))) (/.f64 (cbrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 (sqrt.f64 (-.f64 z a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (sqrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 (-.f64 z a)) (sqrt.f64 (-.f64 z t))) (sqrt.f64 (-.f64 z a)) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 (sqrt.f64 (-.f64 z a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (sqrt.f64 (-.f64 z a)) (/.f64 (sqrt.f64 (-.f64 z a)) (-.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t))) (/.f64 1 (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) 1 (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) 1 (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (cbrt.f64 (-.f64 z t))) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (sqrt.f64 (-.f64 z t))) (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t)) (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) (+.f64 (sqrt.f64 z) (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 a)) (-.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 z a) (cbrt.f64 (-.f64 z t))) (/.f64 1 (sqrt.f64 (-.f64 z t))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) 1 (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (/.f64 (-.f64 z a) (-.f64 (sqrt.f64 z) (sqrt.f64 t))) 1 (/.f64 (-.f64 z a) (-.f64 z t)) (/.f64 1 (-.f64 z t)) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z a) (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))) (/.f64 (-.f64 z a) (sqrt.f64 (-.f64 z t))) (-.f64 z a) (/.f64 (-.f64 z a) (+.f64 (sqrt.f64 z) (sqrt.f64 t))) (-.f64 z a) (/.f64 (-.f64 z t) (cbrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z t) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 z a) (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (/.f64 (-.f64 z a) (-.f64 (*.f64 z z) (*.f64 t t))) (*.f64 (-.f64 z t) (+.f64 (*.f64 z z) (*.f64 a (+.f64 z a)))) (*.f64 (-.f64 z t) (+.f64 z a)) 0 0 0 0 0 0 1.482 * * * [progress]: adding candidates to table 1.546 * * [progress]: iteration 4 / 4 1.546 * * * [progress]: picking best candidate 1.558 * * * * [pick]: Picked # 1.558 * * * [progress]: localizing error 1.567 * * * [progress]: generating rewritten candidates 1.567 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.581 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 1.595 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 1.606 * * * [progress]: generating series expansions 1.606 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.606 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in (y z t a) around 0 1.606 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in a 1.606 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 1.606 * [taylor]: Taking taylor expansion of y in a 1.606 * [taylor]: Taking taylor expansion of (- z t) in a 1.607 * [taylor]: Taking taylor expansion of z in a 1.607 * [taylor]: Taking taylor expansion of t in a 1.607 * [taylor]: Taking taylor expansion of (- z a) in a 1.607 * [taylor]: Taking taylor expansion of z in a 1.607 * [taylor]: Taking taylor expansion of a in a 1.607 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in t 1.607 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 1.607 * [taylor]: Taking taylor expansion of y in t 1.607 * [taylor]: Taking taylor expansion of (- z t) in t 1.607 * [taylor]: Taking taylor expansion of z in t 1.607 * [taylor]: Taking taylor expansion of t in t 1.607 * [taylor]: Taking taylor expansion of (- z a) in t 1.607 * [taylor]: Taking taylor expansion of z in t 1.607 * [taylor]: Taking taylor expansion of a in t 1.607 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in z 1.607 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 1.607 * [taylor]: Taking taylor expansion of y in z 1.607 * [taylor]: Taking taylor expansion of (- z t) in z 1.607 * [taylor]: Taking taylor expansion of z in z 1.607 * [taylor]: Taking taylor expansion of t in z 1.607 * [taylor]: Taking taylor expansion of (- z a) in z 1.607 * [taylor]: Taking taylor expansion of z in z 1.607 * [taylor]: Taking taylor expansion of a in z 1.607 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.607 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.607 * [taylor]: Taking taylor expansion of y in y 1.607 * [taylor]: Taking taylor expansion of (- z t) in y 1.607 * [taylor]: Taking taylor expansion of z in y 1.607 * [taylor]: Taking taylor expansion of t in y 1.607 * [taylor]: Taking taylor expansion of (- z a) in y 1.607 * [taylor]: Taking taylor expansion of z in y 1.607 * [taylor]: Taking taylor expansion of a in y 1.608 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- z a)) in y 1.608 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 1.608 * [taylor]: Taking taylor expansion of y in y 1.608 * [taylor]: Taking taylor expansion of (- z t) in y 1.608 * [taylor]: Taking taylor expansion of z in y 1.608 * [taylor]: Taking taylor expansion of t in y 1.608 * [taylor]: Taking taylor expansion of (- z a) in y 1.608 * [taylor]: Taking taylor expansion of z in y 1.608 * [taylor]: Taking taylor expansion of a in y 1.608 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.608 * [taylor]: Taking taylor expansion of (- z t) in z 1.608 * [taylor]: Taking taylor expansion of z in z 1.608 * [taylor]: Taking taylor expansion of t in z 1.608 * [taylor]: Taking taylor expansion of (- z a) in z 1.608 * [taylor]: Taking taylor expansion of z in z 1.608 * [taylor]: Taking taylor expansion of a in z 1.608 * [taylor]: Taking taylor expansion of (/ t a) in t 1.608 * [taylor]: Taking taylor expansion of t in t 1.608 * [taylor]: Taking taylor expansion of a in t 1.608 * [taylor]: Taking taylor expansion of 0 in z 1.608 * [taylor]: Taking taylor expansion of 0 in t 1.608 * [taylor]: Taking taylor expansion of 0 in a 1.609 * [taylor]: Taking taylor expansion of (- (/ t (pow a 2)) (/ 1 a)) in t 1.609 * [taylor]: Taking taylor expansion of (/ t (pow a 2)) in t 1.609 * [taylor]: Taking taylor expansion of t in t 1.609 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.609 * [taylor]: Taking taylor expansion of a in t 1.609 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.609 * [taylor]: Taking taylor expansion of a in t 1.609 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.609 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.609 * [taylor]: Taking taylor expansion of a in a 1.609 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.609 * [taylor]: Taking taylor expansion of a in a 1.609 * [taylor]: Taking taylor expansion of 0 in z 1.609 * [taylor]: Taking taylor expansion of 0 in t 1.609 * [taylor]: Taking taylor expansion of 0 in a 1.609 * [taylor]: Taking taylor expansion of 0 in t 1.609 * [taylor]: Taking taylor expansion of 0 in a 1.610 * [taylor]: Taking taylor expansion of (- (/ t (pow a 3)) (/ 1 (pow a 2))) in t 1.610 * [taylor]: Taking taylor expansion of (/ t (pow a 3)) in t 1.610 * [taylor]: Taking taylor expansion of t in t 1.610 * [taylor]: Taking taylor expansion of (pow a 3) in t 1.610 * [taylor]: Taking taylor expansion of a in t 1.610 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.610 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.610 * [taylor]: Taking taylor expansion of a in t 1.610 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 2))) in a 1.610 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.610 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.610 * [taylor]: Taking taylor expansion of a in a 1.611 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in (y z t a) around 0 1.611 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in a 1.611 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.611 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.611 * [taylor]: Taking taylor expansion of z in a 1.611 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.611 * [taylor]: Taking taylor expansion of t in a 1.611 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in a 1.611 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.611 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.611 * [taylor]: Taking taylor expansion of z in a 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.611 * [taylor]: Taking taylor expansion of a in a 1.611 * [taylor]: Taking taylor expansion of y in a 1.611 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in t 1.611 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.611 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.611 * [taylor]: Taking taylor expansion of z in t 1.611 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.611 * [taylor]: Taking taylor expansion of t in t 1.611 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in t 1.611 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.611 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.611 * [taylor]: Taking taylor expansion of z in t 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.611 * [taylor]: Taking taylor expansion of a in t 1.611 * [taylor]: Taking taylor expansion of y in t 1.612 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in z 1.612 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.612 * [taylor]: Taking taylor expansion of z in z 1.612 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.612 * [taylor]: Taking taylor expansion of t in z 1.612 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in z 1.612 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.612 * [taylor]: Taking taylor expansion of z in z 1.612 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.612 * [taylor]: Taking taylor expansion of a in z 1.612 * [taylor]: Taking taylor expansion of y in z 1.612 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in y 1.612 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.612 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.612 * [taylor]: Taking taylor expansion of z in y 1.612 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.612 * [taylor]: Taking taylor expansion of t in y 1.612 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.612 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.612 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.612 * [taylor]: Taking taylor expansion of z in y 1.612 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.612 * [taylor]: Taking taylor expansion of a in y 1.612 * [taylor]: Taking taylor expansion of y in y 1.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (* (- (/ 1 z) (/ 1 a)) y)) in y 1.613 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.613 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.613 * [taylor]: Taking taylor expansion of z in y 1.613 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.613 * [taylor]: Taking taylor expansion of t in y 1.613 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in y 1.613 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y 1.613 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.613 * [taylor]: Taking taylor expansion of z in y 1.613 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.613 * [taylor]: Taking taylor expansion of a in y 1.613 * [taylor]: Taking taylor expansion of y in y 1.613 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.614 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.614 * [taylor]: Taking taylor expansion of z in z 1.614 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.614 * [taylor]: Taking taylor expansion of t in z 1.614 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.614 * [taylor]: Taking taylor expansion of z in z 1.614 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.614 * [taylor]: Taking taylor expansion of a in z 1.614 * [taylor]: Taking taylor expansion of 1 in t 1.614 * [taylor]: Taking taylor expansion of 0 in z 1.614 * [taylor]: Taking taylor expansion of 0 in t 1.615 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in t 1.615 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.615 * [taylor]: Taking taylor expansion of a in t 1.615 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.615 * [taylor]: Taking taylor expansion of t in t 1.615 * [taylor]: Taking taylor expansion of -1 in a 1.615 * [taylor]: Taking taylor expansion of 1 in a 1.615 * [taylor]: Taking taylor expansion of 0 in z 1.615 * [taylor]: Taking taylor expansion of 0 in t 1.616 * [taylor]: Taking taylor expansion of 0 in t 1.616 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in t 1.616 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.616 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.616 * [taylor]: Taking taylor expansion of a in t 1.616 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.616 * [taylor]: Taking taylor expansion of (* t a) in t 1.616 * [taylor]: Taking taylor expansion of t in t 1.616 * [taylor]: Taking taylor expansion of a in t 1.616 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.616 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.616 * [taylor]: Taking taylor expansion of a in a 1.616 * [taylor]: Taking taylor expansion of 0 in a 1.616 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.617 * [taylor]: Taking taylor expansion of a in a 1.617 * [taylor]: Taking taylor expansion of 0 in a 1.617 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in (y z t a) around 0 1.617 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in a 1.617 * [taylor]: Taking taylor expansion of -1 in a 1.617 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in a 1.617 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.617 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.617 * [taylor]: Taking taylor expansion of t in a 1.617 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.617 * [taylor]: Taking taylor expansion of z in a 1.617 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a 1.617 * [taylor]: Taking taylor expansion of y in a 1.617 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.617 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.617 * [taylor]: Taking taylor expansion of a in a 1.617 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.617 * [taylor]: Taking taylor expansion of z in a 1.617 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in t 1.617 * [taylor]: Taking taylor expansion of -1 in t 1.617 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in t 1.617 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.617 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.617 * [taylor]: Taking taylor expansion of t in t 1.617 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.617 * [taylor]: Taking taylor expansion of z in t 1.617 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in t 1.618 * [taylor]: Taking taylor expansion of y in t 1.618 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.618 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.618 * [taylor]: Taking taylor expansion of a in t 1.618 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.618 * [taylor]: Taking taylor expansion of z in t 1.618 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in z 1.618 * [taylor]: Taking taylor expansion of -1 in z 1.618 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in z 1.618 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.618 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.618 * [taylor]: Taking taylor expansion of t in z 1.618 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.618 * [taylor]: Taking taylor expansion of z in z 1.618 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in z 1.618 * [taylor]: Taking taylor expansion of y in z 1.618 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.618 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.618 * [taylor]: Taking taylor expansion of a in z 1.618 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.618 * [taylor]: Taking taylor expansion of z in z 1.618 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.618 * [taylor]: Taking taylor expansion of -1 in y 1.618 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.618 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.618 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.618 * [taylor]: Taking taylor expansion of t in y 1.618 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.618 * [taylor]: Taking taylor expansion of z in y 1.618 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.618 * [taylor]: Taking taylor expansion of y in y 1.618 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.619 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.619 * [taylor]: Taking taylor expansion of a in y 1.619 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.619 * [taylor]: Taking taylor expansion of z in y 1.619 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z))))) in y 1.619 * [taylor]: Taking taylor expansion of -1 in y 1.619 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (- (/ 1 a) (/ 1 z)))) in y 1.619 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.619 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.619 * [taylor]: Taking taylor expansion of t in y 1.619 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.619 * [taylor]: Taking taylor expansion of z in y 1.619 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in y 1.619 * [taylor]: Taking taylor expansion of y in y 1.619 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y 1.619 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.619 * [taylor]: Taking taylor expansion of a in y 1.619 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.619 * [taylor]: Taking taylor expansion of z in y 1.620 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z)))) in z 1.620 * [taylor]: Taking taylor expansion of -1 in z 1.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.620 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.620 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.620 * [taylor]: Taking taylor expansion of t in z 1.620 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.620 * [taylor]: Taking taylor expansion of z in z 1.620 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.620 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.620 * [taylor]: Taking taylor expansion of a in z 1.620 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.620 * [taylor]: Taking taylor expansion of z in z 1.620 * [taylor]: Taking taylor expansion of -1 in t 1.621 * [taylor]: Taking taylor expansion of 0 in z 1.621 * [taylor]: Taking taylor expansion of 0 in t 1.621 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 a)) in t 1.621 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.621 * [taylor]: Taking taylor expansion of t in t 1.621 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.621 * [taylor]: Taking taylor expansion of a in t 1.622 * [taylor]: Taking taylor expansion of 1 in a 1.622 * [taylor]: Taking taylor expansion of -1 in a 1.622 * [taylor]: Taking taylor expansion of 0 in z 1.622 * [taylor]: Taking taylor expansion of 0 in t 1.622 * [taylor]: Taking taylor expansion of 0 in t 1.623 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a)) (/ 1 (pow a 2))) in t 1.623 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.623 * [taylor]: Taking taylor expansion of (* t a) in t 1.623 * [taylor]: Taking taylor expansion of t in t 1.623 * [taylor]: Taking taylor expansion of a in t 1.623 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.623 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.623 * [taylor]: Taking taylor expansion of a in t 1.623 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.623 * [taylor]: Taking taylor expansion of a in a 1.623 * [taylor]: Taking taylor expansion of 0 in a 1.624 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.624 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.624 * [taylor]: Taking taylor expansion of a in a 1.624 * [taylor]: Taking taylor expansion of 0 in a 1.624 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 1.624 * [approximate]: Taking taylor expansion of (/ (- z t) (- z a)) in (z t a) around 0 1.624 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in a 1.624 * [taylor]: Taking taylor expansion of (- z t) in a 1.624 * [taylor]: Taking taylor expansion of z in a 1.624 * [taylor]: Taking taylor expansion of t in a 1.624 * [taylor]: Taking taylor expansion of (- z a) in a 1.624 * [taylor]: Taking taylor expansion of z in a 1.624 * [taylor]: Taking taylor expansion of a in a 1.624 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in t 1.624 * [taylor]: Taking taylor expansion of (- z t) in t 1.624 * [taylor]: Taking taylor expansion of z in t 1.624 * [taylor]: Taking taylor expansion of t in t 1.624 * [taylor]: Taking taylor expansion of (- z a) in t 1.624 * [taylor]: Taking taylor expansion of z in t 1.624 * [taylor]: Taking taylor expansion of a in t 1.624 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.624 * [taylor]: Taking taylor expansion of (- z t) in z 1.624 * [taylor]: Taking taylor expansion of z in z 1.624 * [taylor]: Taking taylor expansion of t in z 1.624 * [taylor]: Taking taylor expansion of (- z a) in z 1.624 * [taylor]: Taking taylor expansion of z in z 1.624 * [taylor]: Taking taylor expansion of a in z 1.624 * [taylor]: Taking taylor expansion of (/ (- z t) (- z a)) in z 1.624 * [taylor]: Taking taylor expansion of (- z t) in z 1.624 * [taylor]: Taking taylor expansion of z in z 1.625 * [taylor]: Taking taylor expansion of t in z 1.625 * [taylor]: Taking taylor expansion of (- z a) in z 1.625 * [taylor]: Taking taylor expansion of z in z 1.625 * [taylor]: Taking taylor expansion of a in z 1.625 * [taylor]: Taking taylor expansion of (/ t a) in t 1.625 * [taylor]: Taking taylor expansion of t in t 1.625 * [taylor]: Taking taylor expansion of a in t 1.625 * [taylor]: Taking taylor expansion of (- (/ t (pow a 2)) (/ 1 a)) in t 1.625 * [taylor]: Taking taylor expansion of (/ t (pow a 2)) in t 1.625 * [taylor]: Taking taylor expansion of t in t 1.625 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.625 * [taylor]: Taking taylor expansion of a in t 1.625 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.625 * [taylor]: Taking taylor expansion of a in t 1.625 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.625 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.625 * [taylor]: Taking taylor expansion of a in a 1.625 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.625 * [taylor]: Taking taylor expansion of a in a 1.626 * [taylor]: Taking taylor expansion of (- (/ t (pow a 3)) (/ 1 (pow a 2))) in t 1.626 * [taylor]: Taking taylor expansion of (/ t (pow a 3)) in t 1.626 * [taylor]: Taking taylor expansion of t in t 1.626 * [taylor]: Taking taylor expansion of (pow a 3) in t 1.626 * [taylor]: Taking taylor expansion of a in t 1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.626 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.626 * [taylor]: Taking taylor expansion of a in t 1.626 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 2))) in a 1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.626 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.626 * [taylor]: Taking taylor expansion of a in a 1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.627 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.627 * [taylor]: Taking taylor expansion of a in a 1.627 * [taylor]: Taking taylor expansion of 0 in a 1.627 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in (z t a) around 0 1.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in a 1.627 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.627 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.627 * [taylor]: Taking taylor expansion of z in a 1.627 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.627 * [taylor]: Taking taylor expansion of t in a 1.627 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.627 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.627 * [taylor]: Taking taylor expansion of z in a 1.627 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.627 * [taylor]: Taking taylor expansion of a in a 1.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in t 1.628 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.628 * [taylor]: Taking taylor expansion of z in t 1.628 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.628 * [taylor]: Taking taylor expansion of t in t 1.628 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t 1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.628 * [taylor]: Taking taylor expansion of z in t 1.628 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.628 * [taylor]: Taking taylor expansion of a in t 1.628 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.628 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.628 * [taylor]: Taking taylor expansion of z in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.628 * [taylor]: Taking taylor expansion of t in z 1.628 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.628 * [taylor]: Taking taylor expansion of z in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.628 * [taylor]: Taking taylor expansion of a in z 1.628 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z 1.628 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.628 * [taylor]: Taking taylor expansion of z in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.628 * [taylor]: Taking taylor expansion of t in z 1.628 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.628 * [taylor]: Taking taylor expansion of z in z 1.628 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.628 * [taylor]: Taking taylor expansion of a in z 1.628 * [taylor]: Taking taylor expansion of 1 in t 1.629 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in t 1.629 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.629 * [taylor]: Taking taylor expansion of a in t 1.629 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.629 * [taylor]: Taking taylor expansion of t in t 1.629 * [taylor]: Taking taylor expansion of -1 in a 1.629 * [taylor]: Taking taylor expansion of 1 in a 1.629 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in t 1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.629 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.629 * [taylor]: Taking taylor expansion of a in t 1.629 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.629 * [taylor]: Taking taylor expansion of (* t a) in t 1.630 * [taylor]: Taking taylor expansion of t in t 1.630 * [taylor]: Taking taylor expansion of a in t 1.630 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.630 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.630 * [taylor]: Taking taylor expansion of a in a 1.630 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.630 * [taylor]: Taking taylor expansion of a in a 1.630 * [taylor]: Taking taylor expansion of 0 in a 1.630 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in (z t a) around 0 1.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in a 1.630 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.630 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.630 * [taylor]: Taking taylor expansion of t in a 1.630 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.630 * [taylor]: Taking taylor expansion of z in a 1.630 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.630 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.630 * [taylor]: Taking taylor expansion of a in a 1.630 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.630 * [taylor]: Taking taylor expansion of z in a 1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in t 1.631 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.631 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.631 * [taylor]: Taking taylor expansion of t in t 1.631 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.631 * [taylor]: Taking taylor expansion of z in t 1.631 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t 1.631 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.631 * [taylor]: Taking taylor expansion of a in t 1.631 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.631 * [taylor]: Taking taylor expansion of z in t 1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.631 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.631 * [taylor]: Taking taylor expansion of t in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.631 * [taylor]: Taking taylor expansion of z in z 1.631 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.631 * [taylor]: Taking taylor expansion of a in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.631 * [taylor]: Taking taylor expansion of z in z 1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (- (/ 1 a) (/ 1 z))) in z 1.631 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.631 * [taylor]: Taking taylor expansion of t in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.631 * [taylor]: Taking taylor expansion of z in z 1.631 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.631 * [taylor]: Taking taylor expansion of a in z 1.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.631 * [taylor]: Taking taylor expansion of z in z 1.632 * [taylor]: Taking taylor expansion of 1 in t 1.634 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 t)) in t 1.634 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.634 * [taylor]: Taking taylor expansion of a in t 1.634 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.634 * [taylor]: Taking taylor expansion of t in t 1.634 * [taylor]: Taking taylor expansion of -1 in a 1.634 * [taylor]: Taking taylor expansion of 1 in a 1.635 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (* t a))) in t 1.635 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t 1.635 * [taylor]: Taking taylor expansion of (pow a 2) in t 1.635 * [taylor]: Taking taylor expansion of a in t 1.635 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.635 * [taylor]: Taking taylor expansion of (* t a) in t 1.635 * [taylor]: Taking taylor expansion of t in t 1.635 * [taylor]: Taking taylor expansion of a in t 1.635 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.635 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.635 * [taylor]: Taking taylor expansion of a in a 1.635 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.635 * [taylor]: Taking taylor expansion of a in a 1.635 * [taylor]: Taking taylor expansion of 0 in a 1.635 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 1.635 * [approximate]: Taking taylor expansion of (/ 1 (- z a)) in (z a) around 0 1.636 * [taylor]: Taking taylor expansion of (/ 1 (- z a)) in a 1.636 * [taylor]: Taking taylor expansion of (- z a) in a 1.636 * [taylor]: Taking taylor expansion of z in a 1.636 * [taylor]: Taking taylor expansion of a in a 1.636 * [taylor]: Taking taylor expansion of (/ 1 (- z a)) in z 1.636 * [taylor]: Taking taylor expansion of (- z a) in z 1.636 * [taylor]: Taking taylor expansion of z in z 1.636 * [taylor]: Taking taylor expansion of a in z 1.636 * [taylor]: Taking taylor expansion of (/ 1 (- z a)) in z 1.636 * [taylor]: Taking taylor expansion of (- z a) in z 1.636 * [taylor]: Taking taylor expansion of z in z 1.636 * [taylor]: Taking taylor expansion of a in z 1.636 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.636 * [taylor]: Taking taylor expansion of -1 in a 1.636 * [taylor]: Taking taylor expansion of a in a 1.636 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 2))) in a 1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.636 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.636 * [taylor]: Taking taylor expansion of a in a 1.637 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 3))) in a 1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 1.637 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.637 * [taylor]: Taking taylor expansion of a in a 1.637 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 a))) in (z a) around 0 1.637 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 a))) in a 1.637 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a 1.637 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.637 * [taylor]: Taking taylor expansion of z in a 1.637 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.637 * [taylor]: Taking taylor expansion of a in a 1.637 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 a))) in z 1.637 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.637 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.637 * [taylor]: Taking taylor expansion of z in z 1.637 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.637 * [taylor]: Taking taylor expansion of a in z 1.638 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 a))) in z 1.638 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z 1.638 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.638 * [taylor]: Taking taylor expansion of z in z 1.638 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.638 * [taylor]: Taking taylor expansion of a in z 1.638 * [taylor]: Taking taylor expansion of 1 in a 1.638 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.638 * [taylor]: Taking taylor expansion of a in a 1.638 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.638 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.638 * [taylor]: Taking taylor expansion of a in a 1.639 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 a) (/ 1 z))) in (z a) around 0 1.639 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) (/ 1 z))) in a 1.639 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a 1.639 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.639 * [taylor]: Taking taylor expansion of a in a 1.639 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.639 * [taylor]: Taking taylor expansion of z in a 1.639 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) (/ 1 z))) in z 1.639 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.639 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.639 * [taylor]: Taking taylor expansion of a in z 1.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.639 * [taylor]: Taking taylor expansion of z in z 1.639 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 a) (/ 1 z))) in z 1.639 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z 1.639 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.639 * [taylor]: Taking taylor expansion of a in z 1.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.639 * [taylor]: Taking taylor expansion of z in z 1.639 * [taylor]: Taking taylor expansion of -1 in a 1.639 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.639 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.639 * [taylor]: Taking taylor expansion of a in a 1.640 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow a 2))) in a 1.640 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.640 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.640 * [taylor]: Taking taylor expansion of a in a 1.640 * * * [progress]: simplifying candidates 1.642 * [simplify]: Simplifying using # : (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (+.f64 (log.f64 y) (+.f64 (log.f64 (-.f64 z t)) (neg.f64 (log.f64 (-.f64 z a))))) (+.f64 (log.f64 y) (+.f64 (log.f64 (-.f64 z t)) (-.f64 0 (log.f64 (-.f64 z a))))) (+.f64 (log.f64 y) (+.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 1) (log.f64 (-.f64 z a))))) (+.f64 (log.f64 y) (+.f64 (log.f64 (-.f64 z t)) (log.f64 (/.f64 1 (-.f64 z a))))) (+.f64 (log.f64 y) (log.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (log.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (exp.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a))))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (/.f64 1 (-.f64 z a)) (/.f64 1 (-.f64 z a))) (/.f64 1 (-.f64 z a))))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (*.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (cbrt.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))))) (cbrt.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (*.f64 (*.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (sqrt.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (sqrt.f64 (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (*.f64 y (-.f64 z t)) (*.f64 (cbrt.f64 y) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 (sqrt.f64 y) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 y (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 y (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) 1)) (*.f64 y (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) 1)) (*.f64 y (-.f64 z t)) (*.f64 y (*.f64 (-.f64 z t) 1)) (*.f64 y (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 1 (-.f64 z a)))) (*.f64 y (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 1 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))) (+.f64 (log.f64 (-.f64 z t)) (neg.f64 (log.f64 (-.f64 z a)))) (+.f64 (log.f64 (-.f64 z t)) (-.f64 0 (log.f64 (-.f64 z a)))) (+.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 1) (log.f64 (-.f64 z a)))) (+.f64 (log.f64 (-.f64 z t)) (log.f64 (/.f64 1 (-.f64 z a)))) (log.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (exp.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a)))) (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (/.f64 1 (-.f64 z a)) (/.f64 1 (-.f64 z a))) (/.f64 1 (-.f64 z a)))) (*.f64 (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))))) (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 (*.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a)))) (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) 1) (*.f64 (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))) (-.f64 z a)) (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) 1) (*.f64 (+.f64 z t) (-.f64 z a)) (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 1 (-.f64 z a)))) (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 1 (-.f64 z a)))) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 z a)))) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 z a)))) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (sqrt.f64 (-.f64 z a)))) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (sqrt.f64 (-.f64 z a)))) (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 1 (-.f64 z a))) (cbrt.f64 (/.f64 1 (-.f64 z a))))) (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 1 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)) (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 1) 1)) (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 1) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 1) 1)) (*.f64 (-.f64 z t) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 (-.f64 z t) (/.f64 1 (sqrt.f64 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 1 1)) (*.f64 (-.f64 z t) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 (-.f64 z t) (/.f64 1 1)) (*.f64 (-.f64 z t) 1) (*.f64 (-.f64 z t) 1) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 (pow.f64 z 3) (pow.f64 a 3)))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 (*.f64 z z) (*.f64 a a)))) (*.f64 (cbrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 z a))) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (-.f64 z a))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))) (*.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 1 (-.f64 z a))) (*.f64 (-.f64 z t) (/.f64 1 (-.f64 z a))) (*.f64 (-.f64 z t) 1) (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 1 (-.f64 z a))) (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 1 (-.f64 z a))) (neg.f64 1) (neg.f64 (log.f64 (-.f64 z a))) (-.f64 0 (log.f64 (-.f64 z a))) (-.f64 (log.f64 1) (log.f64 (-.f64 z a))) (log.f64 (/.f64 1 (-.f64 z a))) (exp.f64 (/.f64 1 (-.f64 z a))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (-.f64 z a) (-.f64 z a)) (-.f64 z a))) (*.f64 (cbrt.f64 (/.f64 1 (-.f64 z a))) (cbrt.f64 (/.f64 1 (-.f64 z a)))) (cbrt.f64 (/.f64 1 (-.f64 z a))) (*.f64 (*.f64 (/.f64 1 (-.f64 z a)) (/.f64 1 (-.f64 z a))) (/.f64 1 (-.f64 z a))) (sqrt.f64 (/.f64 1 (-.f64 z a))) (sqrt.f64 (/.f64 1 (-.f64 z a))) (neg.f64 1) (neg.f64 (-.f64 z a)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 z a))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 z a))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (-.f64 z a)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (cbrt.f64 1) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (-.f64 z a)) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (sqrt.f64 1) (cbrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 1) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (-.f64 z a)) (/.f64 (sqrt.f64 1) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (sqrt.f64 1) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (-.f64 z a)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 1 (cbrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 1 1) (/.f64 1 (-.f64 z a)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 1 (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 1 1) (/.f64 1 (-.f64 z a)) (/.f64 1 (-.f64 z a)) (/.f64 (-.f64 z a) 1) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 1 1) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 1 1) (/.f64 (-.f64 z a) (cbrt.f64 1)) (/.f64 (-.f64 z a) (sqrt.f64 1)) (/.f64 (-.f64 z a) 1) (/.f64 1 (-.f64 (pow.f64 z 3) (pow.f64 a 3))) (/.f64 1 (-.f64 (*.f64 z z) (*.f64 a a))) 0 0 0 0 0 0 0 0 0 1.685 * * [simplify]: iteration 0 : 5847 enodes (cost 1082 ) 1.690 * [simplify]: Simplified to: (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (log.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (exp.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) 3) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) 3) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) 3) (*.f64 (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))) (cbrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (pow.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) 3) (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (sqrt.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))) (*.f64 y (-.f64 z t)) (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (cbrt.f64 y)) (*.f64 (/.f64 (-.f64 z t) (-.f64 z a)) (sqrt.f64 y)) (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))) (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t))) (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t)) (*.f64 y (/.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (-.f64 z a))) (*.f64 y (/.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (-.f64 z a))) (/.f64 (-.f64 z t) (-.f64 z a)) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (log.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (exp.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (pow.f64 (/.f64 (-.f64 z t) (-.f64 z a)) 3) (pow.f64 (/.f64 (-.f64 z t) (-.f64 z a)) 3) (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a)))) (cbrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (pow.f64 (/.f64 (-.f64 z t) (-.f64 z a)) 3) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (sqrt.f64 (/.f64 (-.f64 z t) (-.f64 z a))) (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (*.f64 (-.f64 z a) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t)))) (-.f64 (*.f64 z z) (*.f64 t t)) (*.f64 (-.f64 z a) (+.f64 z t)) (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 1 (-.f64 z a)))) (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 1 (-.f64 z a)))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (-.f64 z a))) (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 1 (-.f64 z a))) (cbrt.f64 (/.f64 1 (-.f64 z a))))) (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 1 (-.f64 z a)))) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a))))) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 z a)))) (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 (sqrt.f64 z) (sqrt.f64 a)))) (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (-.f64 z t) (/.f64 (-.f64 z t) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (-.f64 z t) (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (-.f64 z t) (sqrt.f64 (-.f64 z a))) (-.f64 z t) (/.f64 (-.f64 z t) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (-.f64 z t) (-.f64 z t) (-.f64 z t) (/.f64 (-.f64 z t) (-.f64 (pow.f64 z 3) (pow.f64 a 3))) (/.f64 (-.f64 z t) (-.f64 (*.f64 z z) (*.f64 a a))) (/.f64 (cbrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (sqrt.f64 (-.f64 z t)) (-.f64 z a)) (/.f64 (-.f64 z t) (-.f64 z a)) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (-.f64 z a)) (/.f64 (-.f64 z t) (-.f64 z a)) (-.f64 z t) (/.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (-.f64 z a)) (/.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (-.f64 z a)) -1 (neg.f64 (log.f64 (-.f64 z a))) (neg.f64 (log.f64 (-.f64 z a))) (neg.f64 (log.f64 (-.f64 z a))) (neg.f64 (log.f64 (-.f64 z a))) (exp.f64 (/.f64 1 (-.f64 z a))) (/.f64 1 (pow.f64 (-.f64 z a) 3)) (*.f64 (cbrt.f64 (/.f64 1 (-.f64 z a))) (cbrt.f64 (/.f64 1 (-.f64 z a)))) (cbrt.f64 (/.f64 1 (-.f64 z a))) (/.f64 1 (pow.f64 (-.f64 z a) 3)) (sqrt.f64 (/.f64 1 (-.f64 z a))) (sqrt.f64 (/.f64 1 (-.f64 z a))) -1 (-.f64 a z) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (-.f64 z a))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (-.f64 z a))) (/.f64 (cbrt.f64 1) (sqrt.f64 (-.f64 z a))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (-.f64 z a)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 (cbrt.f64 1) (-.f64 (sqrt.f64 z) (sqrt.f64 a))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (-.f64 z a)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 1 (cbrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) 1 (/.f64 1 (-.f64 z a)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 1 (-.f64 (sqrt.f64 z) (sqrt.f64 a))) 1 (/.f64 1 (-.f64 z a)) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 1 (cbrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) (/.f64 1 (sqrt.f64 (-.f64 z a))) 1 (/.f64 1 (-.f64 z a)) (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) (/.f64 1 (-.f64 (sqrt.f64 z) (sqrt.f64 a))) 1 (/.f64 1 (-.f64 z a)) (/.f64 1 (-.f64 z a)) (-.f64 z a) (/.f64 1 (*.f64 (cbrt.f64 (-.f64 z a)) (cbrt.f64 (-.f64 z a)))) (/.f64 1 (sqrt.f64 (-.f64 z a))) 1 (/.f64 1 (+.f64 (sqrt.f64 z) (sqrt.f64 a))) 1 (/.f64 (-.f64 z a) (cbrt.f64 1)) (-.f64 z a) (-.f64 z a) (/.f64 1 (-.f64 (pow.f64 z 3) (pow.f64 a 3))) (/.f64 1 (-.f64 (*.f64 z z) (*.f64 a a))) 0 0 0 0 0 0 0 0 0 1.691 * * * [progress]: adding candidates to table 1.736 * [progress]: [Phase 3 of 3] Extracting. 1.736 * * [regime]: Finding splitpoints for: (# # # # #) 1.737 * * * [regime-changes]: Trying 5 branch expressions: (a t z y x) 1.737 * * * * [regimes]: Trying to branch on a from (# # # # #) 1.789 * * * * [regimes]: Trying to branch on t from (# # # # #) 1.839 * * * * [regimes]: Trying to branch on z from (# # # # #) 1.892 * * * * [regimes]: Trying to branch on y from (# # # # #) 1.944 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.997 * * * [regime]: Found split indices: #