Add Pow Mul acot Pow Pow x0 cot x6 E Add log x0 2 log asech acos exp x0 x0 
Add Mul Pow Mul acot Pow Pow x0 cot x6 E Add log x0 2 Add log asech acos exp x0 -1 Add Mul log asech acos exp x0 Add Mul Add log x0 2 Mul -1 Mul Mul Pow Pow x0 cot x6 Add E -1 Mul E Mul Pow x0 Add cot x6 -1 cot x6 Pow Add 1 Mul Pow Pow x0 cot x6 E Pow Pow x0 cot x6 E -1 Mul acot Pow Pow x0 cot x6 E Pow x0 -1 Mul Mul Mul acot Pow Pow x0 cot x6 E Add log x0 2 log Mul acot Pow Pow x0 cot x6 E Add log x0 2 Mul Mul Mul -1 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Pow Mul Mul acos exp x0 acos exp x0 sqrt Add 1 Mul -1 Pow Mul acos exp x0 acos exp x0 -1 -1 Pow asech acos exp x0 -1 1 