Add x0 Add exp x0 Mul cot atanh asec Pow x4 x7 Pow Pow x0 -2 sech Pow acot x1 x0 
Add 1 Add exp x0 Mul cot atanh asec Pow x4 x7 Mul Pow Pow x0 -2 Add sech Pow acot x1 x0 -1 Add Mul sech Pow acot x1 x0 Mul Pow x0 3 -2 Mul Mul Pow x0 -2 log Pow x0 -2 Mul Mul tanh Pow acot x1 x0 Mul -1 sech Pow acot x1 x0 Mul Pow acot x1 Add x0 -1 Mul acot x1 log acot x1 