acosh Mul x0 Pow Add x0 Mul Add atan x0 x0 x0 acos Pow -4 x7 
Mul Add Pow Add x0 Mul Add atan x0 x0 x0 acos Pow -4 x7 Mul x0 Mul Pow Add x0 Mul Add atan x0 x0 x0 Add acos Pow -4 x7 -1 Mul acos Pow -4 x7 Add 1 Add Mul x0 Add Pow Add 1 Mul x0 x0 -1 1 Add atan x0 x0 Pow Mul sqrt Add Mul x0 Pow Add x0 Mul Add atan x0 x0 x0 acos Pow -4 x7 -1 sqrt Add 1 Mul x0 Pow Add x0 Mul Add atan x0 x0 x0 acos Pow -4 x7 -1 