Pow Mul acoth sec x0 2 sech x0 
Mul Pow Mul acoth sec x0 2 Add sech x0 -1 Add Mul sech x0 Mul 2 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Mul Mul Mul acoth sec x0 2 log Mul acoth sec x0 2 Mul tanh x0 Mul -1 sech x0 