sec Mul Pow acoth x0 Pow tan x0 x1 log log acsch Pow pi x0 
Mul Mul tan Mul Pow acoth x0 Pow tan x0 x1 log log acsch Pow pi x0 sec Mul Pow acoth x0 Pow tan x0 x1 log log acsch Pow pi x0 Add Mul log log acsch Pow pi x0 Mul Pow acoth x0 Add Pow tan x0 x1 -1 Add Mul Pow tan x0 x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Pow tan x0 Add x1 -1 Mul x1 Pow sec x0 2 Mul Pow acoth x0 Pow tan x0 x1 Mul Mul Mul Mul -1 Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul Mul Pow pi x0 Pow pi x0 sqrt Add 1 Mul -1 Pow Mul Pow pi x0 Pow pi x0 -1 -1 Pow acsch Pow pi x0 -1 Pow log acsch Pow pi x0 -1 