Pow acot Add acosh Add Mul x0 x0 x5 1 4 
Mul Pow acot Add acosh Add Mul x0 x0 x5 1 3 Mul 4 Mul -1 Mul Mul Add x0 x0 Pow Mul sqrt Add Add Mul x0 x0 x5 -1 sqrt Add 1 Add Mul x0 x0 x5 -1 Pow Add 1 Mul Add acosh Add Mul x0 x0 x5 1 Add acosh Add Mul x0 x0 x5 1 -1 