sech Pow x0 Mul sec x1 Mul Pow Pow x4 3 x0 E 
Mul Mul tanh Pow x0 Mul sec x1 Mul Pow Pow x4 3 x0 E Mul -1 sech Pow x0 Mul sec x1 Mul Pow Pow x4 3 x0 E Mul Pow x0 Add Mul sec x1 Mul Pow Pow x4 3 x0 E -1 Add Mul sec x1 Mul Pow Pow x4 3 x0 E Mul Mul x0 log x0 Mul sec x1 Mul E Mul Pow Pow x4 3 Add x0 -1 Mul Pow x4 3 log Pow x4 3 