Pow Add Pow x0 -4 acsch Add -5 Mul x0 x3 -3 
Mul Pow Add Pow x0 -4 acsch Add -5 Mul x0 x3 4 Mul -3 Add Mul Pow x0 5 -4 Mul Mul -1 x3 Pow Mul Mul Add -5 Mul x0 x3 Add -5 Mul x0 x3 sqrt Add 1 Mul -1 Pow Mul Add -5 Mul x0 x3 Add -5 Mul x0 x3 -1 -1 