csch Mul atanh Pow x0 x5 Pow sec x0 x0 
Mul Mul Mul -1 coth Mul atanh Pow x0 x5 Pow sec x0 x0 csch Mul atanh Pow x0 x5 Pow sec x0 x0 Add Mul Pow sec x0 x0 Mul Mul Pow x0 Add x5 -1 x5 Pow Add 1 Mul -1 Mul Pow x0 x5 Pow x0 x5 -1 Mul atanh Pow x0 x5 Mul Pow sec x0 Add x0 -1 Add Mul x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 