Mul x0 acosh Add Add x0 Mul Pow x6 -2 x0 acot x4 
Add acosh Add Add x0 Mul Pow x6 -2 x0 acot x4 Mul x0 Mul Add 1 Pow x6 -2 Pow Mul sqrt Add Add Add x0 Mul Pow x6 -2 x0 acot x4 -1 sqrt Add 1 Add Add x0 Mul Pow x6 -2 x0 acot x4 -1 