Pow acsch Pow log Add -3 E x0 x0 
Mul Pow acsch Pow log Add -3 E x0 Add x0 -1 Add Mul x0 Mul Mul -1 Mul Pow log Add -3 E Add x0 -1 Mul log Add -3 E log log Add -3 E Pow Mul Mul Pow log Add -3 E x0 Pow log Add -3 E x0 sqrt Add 1 Mul -1 Pow Mul Pow log Add -3 E x0 Pow log Add -3 E x0 -1 -1 Mul acsch Pow log Add -3 E x0 log acsch Pow log Add -3 E x0 