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