asech Pow Mul Add Mul x3 x1 Pow x0 Add -5 asech acoth x1 Pow -3 x1 log E 
Mul Mul Pow Mul Add Mul x3 x1 Pow x0 Add -5 asech acoth x1 Pow -3 x1 Add log E -1 Mul log E Mul Pow -3 x1 Mul Pow x0 Add Add -5 asech acoth x1 -1 Add -5 asech acoth x1 Pow Mul Mul Pow Mul Add Mul x3 x1 Pow x0 Add -5 asech acoth x1 Pow -3 x1 log E Pow Mul Add Mul x3 x1 Pow x0 Add -5 asech acoth x1 Pow -3 x1 log E sqrt Add 1 Mul -1 Pow Mul Pow Mul Add Mul x3 x1 Pow x0 Add -5 asech acoth x1 Pow -3 x1 log E Pow Mul Add Mul x3 x1 Pow x0 Add -5 asech acoth x1 Pow -3 x1 log E -1 -1 