Mul x5 Mul x7 Add x0 Mul 2 acsch Add Pow x0 Add -2 x3 Mul x0 atan x0 
Mul x5 Mul x7 Add 1 Mul 2 Mul Mul -1 Add Mul Pow x0 Add Add -2 x3 -1 Add -2 x3 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add Pow x0 Add -2 x3 Mul x0 atan x0 Add Pow x0 Add -2 x3 Mul x0 atan x0 sqrt Add 1 Mul -1 Pow Mul Add Pow x0 Add -2 x3 Mul x0 atan x0 Add Pow x0 Add -2 x3 Mul x0 atan x0 -1 -1 