Pow x6 Pow Mul atanh Pow sec x0 sech pi csch Add x3 -1 x7 
Mul Pow x6 Add Pow Mul atanh Pow sec x0 sech pi csch Add x3 -1 x7 -1 Mul Mul x6 log x6 Mul Pow Mul atanh Pow sec x0 sech pi csch Add x3 -1 Add x7 -1 Mul x7 Mul csch Add x3 -1 Mul Mul Pow sec x0 Add sech pi -1 Mul sech pi Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Pow sec x0 sech pi Pow sec x0 sech pi -1 