Mul x0 Pow acsch Pow Pow x0 -3 x4 2 
Add Pow acsch Pow Pow x0 -3 x4 2 Mul x0 Mul acsch Pow Pow x0 -3 x4 Mul 2 Mul Mul -1 Mul Pow Pow x0 -3 Add x4 -1 Mul x4 Mul Pow x0 4 -3 Pow Mul Mul Pow Pow x0 -3 x4 Pow Pow x0 -3 x4 sqrt Add 1 Mul -1 Pow Mul Pow Pow x0 -3 x4 Pow Pow x0 -3 x4 -1 -1 