Mul x5 Mul exp atan Pow Mul x0 x0 Add Add x4 -5 acsch Mul -2 x1 -3 
Mul x5 Mul -3 Mul exp atan Pow Mul x0 x0 Add Add x4 -5 acsch Mul -2 x1 Mul Mul Pow Mul x0 x0 Add Add Add x4 -5 acsch Mul -2 x1 -1 Mul Add Add x4 -5 acsch Mul -2 x1 Add x0 x0 Pow Add 1 Mul Pow Mul x0 x0 Add Add x4 -5 acsch Mul -2 x1 Pow Mul x0 x0 Add Add x4 -5 acsch Mul -2 x1 -1 