Mul Pow tanh Mul x0 5 Pow x4 tan x0 asec x3 
Mul asec x3 Mul Pow tanh Mul x0 5 Add Pow x4 tan x0 -1 Add Mul Pow x4 tan x0 Mul Pow sech Mul x0 5 2 5 Mul Mul tanh Mul x0 5 log tanh Mul x0 5 Mul Pow x4 Add tan x0 -1 Mul Mul x4 log x4 Pow sec x0 2 