acoth Mul acoth x0 Add Pow x5 acsch Add Mul sqrt x5 x0 x0 pi 
Mul Add Mul Add Pow x5 acsch Add Mul sqrt x5 x0 x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow x5 Add acsch Add Mul sqrt x5 x0 x0 -1 Mul Mul x5 log x5 Mul Mul -1 Add sqrt x5 1 Pow Mul Mul Add Mul sqrt x5 x0 x0 Add Mul sqrt x5 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Mul sqrt x5 x0 x0 Add Mul sqrt x5 x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Mul acoth x0 Add Pow x5 acsch Add Mul sqrt x5 x0 x0 pi Mul acoth x0 Add Pow x5 acsch Add Mul sqrt x5 x0 x0 pi -1 