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