coth Add Pow E asech x2 Pow Pow Pow sec x0 x2 3 x0 
Mul Mul -1 Pow csch Add Pow E asech x2 Pow Pow Pow sec x0 x2 3 x0 2 Mul Pow Pow Pow sec x0 x2 3 Add x0 -1 Add Mul x0 Mul Pow Pow sec x0 x2 2 Mul 3 Mul Pow sec x0 Add x2 -1 Mul x2 Mul tan x0 sec x0 Mul Pow Pow sec x0 x2 3 log Pow Pow sec x0 x2 3 