acos Mul tan Pow Add x0 acoth x5 Mul x0 x0 Pow x0 cosh acot pi 
Mul -1 Mul Add Mul Pow x0 cosh acot pi Mul Pow sec Pow Add x0 acoth x5 Mul x0 x0 2 Mul Pow Add x0 acoth x5 Add Mul x0 x0 -1 Add Mul x0 x0 Mul Mul Add x0 acoth x5 log Add x0 acoth x5 Add x0 x0 Mul tan Pow Add x0 acoth x5 Mul x0 x0 Mul Pow x0 Add cosh acot pi -1 cosh acot pi Pow sqrt Add 1 Mul -1 Mul Mul tan Pow Add x0 acoth x5 Mul x0 x0 Pow x0 cosh acot pi Mul tan Pow Add x0 acoth x5 Mul x0 x0 Pow x0 cosh acot pi -1 