Pow Add sec x0 x0 Mul Add Mul x0 2 Pow csch x7 Mul -1 x2 -1 
Mul Pow Add sec x0 x0 Add Mul Add Mul x0 2 Pow csch x7 Mul -1 x2 -1 -1 Add Mul Mul Add Mul x0 2 Pow csch x7 Mul -1 x2 -1 Add Mul tan x0 sec x0 1 Mul Add sec x0 x0 log Add sec x0 x0 