Mul 0.128298512582627 Add Mul x0 x0 acosh Pow Mul x0 Add acot x0 -5 -2 
Mul 0.128298512582627 Add Add x0 x0 Mul Mul Pow Mul x0 Add acot x0 -5 3 Mul -2 Add Add acot x0 -5 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Pow Mul x0 Add acot x0 -5 -2 -1 sqrt Add 1 Pow Mul x0 Add acot x0 -5 -2 -1 