acos Mul asin x0 Add Mul x0 x0 acoth x5 
Mul -1 Mul Add Mul Add Mul x0 x0 acoth x5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul asin x0 Add Mul x0 x0 acoth x5 Mul asin x0 Add Mul x0 x0 acoth x5 -1 