Mul Add acsch asech Mul x1 sqrt x0 Add x2 Mul Mul x0 -3 x6 Add atan x0 Pow Add x0 -5 2 
Add Mul Add atan x0 Pow Add x0 -5 2 Add Mul Mul -1 Mul Mul x1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Mul x1 sqrt x0 Mul x1 sqrt x0 sqrt Add 1 Mul -1 Pow Mul Mul x1 sqrt x0 Mul x1 sqrt x0 -1 -1 Pow Mul Mul asech Mul x1 sqrt x0 asech Mul x1 sqrt x0 sqrt Add 1 Mul -1 Pow Mul asech Mul x1 sqrt x0 asech Mul x1 sqrt x0 -1 -1 Mul x6 -3 Mul Add acsch asech Mul x1 sqrt x0 Add x2 Mul Mul x0 -3 x6 Add Pow Add 1 Mul x0 x0 -1 Mul Add x0 -5 2 