Pow Add -3 Pow 4 x3 Add x3 acsch Mul x0 x1 
Mul Pow Add -3 Pow 4 x3 Add Add x3 acsch Mul x0 x1 -1 Mul Mul Add -3 Pow 4 x3 log Add -3 Pow 4 x3 Mul Mul -1 x1 Pow Mul Mul Mul x0 x1 Mul x0 x1 sqrt Add 1 Mul -1 Pow Mul Mul x0 x1 Mul x0 x1 -1 -1 