exp Mul cot Pow atan x7 x3 Pow acot x5 Add coth Add sec x0 x0 asech Mul x1 -2 
Mul exp Mul cot Pow atan x7 x3 Pow acot x5 Add coth Add sec x0 x0 asech Mul x1 -2 Mul cot Pow atan x7 x3 Mul Pow acot x5 Add Add coth Add sec x0 x0 asech Mul x1 -2 -1 Mul Mul acot x5 log acot x5 Mul Mul -1 Pow csch Add sec x0 x0 2 Add Mul tan x0 sec x0 1 