sec Pow acos Add acoth x0 x1 x3 
Mul Mul tan Pow acos Add acoth x0 x1 x3 sec Pow acos Add acoth x0 x1 x3 Mul Pow acos Add acoth x0 x1 Add x3 -1 Mul x3 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add acoth x0 x1 Add acoth x0 x1 -1 