Mul Pow x0 Pow acot Mul csc x0 x0 exp Add x0 x0 acosh x6 
Mul acosh x6 Mul Pow x0 Add Pow acot Mul csc x0 x0 exp Add x0 x0 -1 Add Pow acot Mul csc x0 x0 exp Add x0 x0 Mul Mul x0 log x0 Mul Pow acot Mul csc x0 x0 Add exp Add x0 x0 -1 Add Mul exp Add x0 x0 Mul -1 Mul Add Mul x0 Mul Mul -1 cot x0 csc x0 csc x0 Pow Add 1 Mul Mul csc x0 x0 Mul csc x0 x0 -1 Mul Mul acot Mul csc x0 x0 log acot Mul csc x0 x0 Mul exp Add x0 x0 2 