Pow 4 acosh Mul acot x0 x0 
Mul Pow 4 Add acosh Mul acot x0 x0 -1 Mul 5.38629436111989 Mul Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 Pow Mul sqrt Add Mul acot x0 x0 -1 sqrt Add 1 Mul acot x0 x0 -1 