acos Mul Mul x1 x0 csch Add x3 x0 
Mul -1 Mul Add Mul csch Add x3 x0 x1 Mul Mul x1 x0 Mul Mul -1 coth Add x3 x0 csch Add x3 x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x1 x0 csch Add x3 x0 Mul Mul x1 x0 csch Add x3 x0 -1 