acosh Add atan Add -4 x3 Pow x2 Add Mul Mul Mul x0 x5 x6 x0 x0 
Mul Mul Pow x2 Add Add Mul Mul Mul x0 x5 x6 x0 x0 -1 Mul Mul x2 log x2 Add Add Mul x0 Mul x6 x5 Mul Mul x0 x5 x6 1 Pow Mul sqrt Add Add atan Add -4 x3 Pow x2 Add Mul Mul Mul x0 x5 x6 x0 x0 -1 sqrt Add 1 Add atan Add -4 x3 Pow x2 Add Mul Mul Mul x0 x5 x6 x0 x0 -1 