csc Mul Pow E atanh Add sec x0 x6 x3 
Mul Mul Mul -1 cot Mul Pow E atanh Add sec x0 x6 x3 csc Mul Pow E atanh Add sec x0 x6 x3 Mul x3 Mul Pow E Add atanh Add sec x0 x6 -1 Mul Mul E log E Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Add sec x0 x6 Add sec x0 x6 -1 