sec Pow exp Pow Pow x0 acoth x0 pi x0 
Mul Mul tan Pow exp Pow Pow x0 acoth x0 pi x0 sec Pow exp Pow Pow x0 acoth x0 pi x0 Mul Pow exp Pow Pow x0 acoth x0 pi Add x0 -1 Add Mul x0 Mul exp Pow Pow x0 acoth x0 pi Mul Pow Pow x0 acoth x0 Add pi -1 Mul pi Mul Pow x0 Add acoth x0 -1 Add acoth x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul exp Pow Pow x0 acoth x0 pi log exp Pow Pow x0 acoth x0 pi 