Mul x0 Pow Mul E -2 acosh acot Mul x0 x0 
Add Pow Mul E -2 acosh acot Mul x0 x0 Mul x0 Mul Pow Mul E -2 Add acosh acot Mul x0 x0 -1 Mul Mul Mul E -2 log Mul E -2 Mul Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Mul sqrt Add acot Mul x0 x0 -1 sqrt Add 1 acot Mul x0 x0 -1 