Mul Add x6 x0 Mul acos Pow Add x0 Add Pow x0 cosh Mul x0 4 Add -4 x3 Add atan x0 Pow x0 Mul x2 x5 2 
Add Mul acos Pow Add x0 Add Pow x0 cosh Mul x0 4 Add -4 x3 Add atan x0 Pow x0 Mul x2 x5 2 Mul Add x6 x0 Mul 2 Mul -1 Mul Mul Pow Add x0 Add Pow x0 cosh Mul x0 4 Add -4 x3 Add Add atan x0 Pow x0 Mul x2 x5 -1 Add Mul Add atan x0 Pow x0 Mul x2 x5 Add 1 Mul Pow x0 Add cosh Mul x0 4 -1 Add cosh Mul x0 4 Mul Mul x0 log x0 Mul sinh Mul x0 4 4 Mul Mul Add x0 Add Pow x0 cosh Mul x0 4 Add -4 x3 log Add x0 Add Pow x0 cosh Mul x0 4 Add -4 x3 Add Pow Add 1 Mul x0 x0 -1 Mul Pow x0 Add Mul x2 x5 -1 Mul x2 x5 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 Add Pow x0 cosh Mul x0 4 Add -4 x3 Add atan x0 Pow x0 Mul x2 x5 Pow Add x0 Add Pow x0 cosh Mul x0 4 Add -4 x3 Add atan x0 Pow x0 Mul x2 x5 -1 