Mul x3 atanh Pow sec x0 Pow x5 Pow 3 x1 
Mul x3 Mul Mul Pow sec x0 Add Pow x5 Pow 3 x1 -1 Mul Pow x5 Pow 3 x1 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Pow sec x0 Pow x5 Pow 3 x1 Pow sec x0 Pow x5 Pow 3 x1 -1 