Pow Pow Mul atan Add x0 x4 x3 Add acosh atan x0 x0 Mul acos Pow x4 x0 x0 
Mul Pow Pow Mul atan Add x0 x4 x3 Add acosh atan x0 x0 Add Mul acos Pow x4 x0 x0 -1 Add Mul Mul acos Pow x4 x0 x0 Mul Pow Mul atan Add x0 x4 x3 Add Add acosh atan x0 x0 -1 Add Mul Add acosh atan x0 x0 Mul x3 Pow Add 1 Mul Add x0 x4 Add x0 x4 -1 Mul Mul Mul atan Add x0 x4 x3 log Mul atan Add x0 x4 x3 Add Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 1 Mul Mul Pow Mul atan Add x0 x4 x3 Add acosh atan x0 x0 log Pow Mul atan Add x0 x4 x3 Add acosh atan x0 x0 Add Mul x0 Mul -1 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow sqrt Add 1 Mul -1 Mul Pow x4 x0 Pow x4 x0 -1 acos Pow x4 x0 