Pow acosh Mul acoth Mul x0 atanh x0 coth x3 pi 
Mul Pow acosh Mul acoth Mul x0 atanh x0 coth x3 Add pi -1 Mul pi Mul Mul coth x3 Mul Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x0 atanh x0 Mul x0 atanh x0 -1 Pow Mul sqrt Add Mul acoth Mul x0 atanh x0 coth x3 -1 sqrt Add 1 Mul acoth Mul x0 atanh x0 coth x3 -1 