acot acosh Pow x0 Mul -2 x7 
Mul -1 Mul Mul Mul Pow x0 Add Mul -2 x7 -1 Mul -2 x7 Pow Mul sqrt Add Pow x0 Mul -2 x7 -1 sqrt Add 1 Pow x0 Mul -2 x7 -1 Pow Add 1 Mul acosh Pow x0 Mul -2 x7 acosh Pow x0 Mul -2 x7 -1 