sec Mul Pow Mul Pow sec x0 atanh x5 Mul Mul Pow x7 pi -2 x0 E x5 
Mul Mul tan Mul Pow Mul Pow sec x0 atanh x5 Mul Mul Pow x7 pi -2 x0 E x5 sec Mul Pow Mul Pow sec x0 atanh x5 Mul Mul Pow x7 pi -2 x0 E x5 Mul x5 Mul Pow Mul Pow sec x0 atanh x5 Mul Mul Pow x7 pi -2 x0 Add E -1 Mul E Add Mul Mul Mul Pow x7 pi -2 x0 Mul Pow sec x0 Add atanh x5 -1 Mul atanh x5 Mul tan x0 sec x0 Mul Pow sec x0 atanh x5 Mul Pow x7 pi -2 