Mul Pow sqrt x0 E acsch Add x0 Mul x0 4 
Add Mul acsch Add x0 Mul x0 4 Mul Pow sqrt x0 Add E -1 Mul E Pow Mul 2 sqrt x0 -1 Mul Pow sqrt x0 E Mul 4 Pow Mul Mul Add x0 Mul x0 4 Add x0 Mul x0 4 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul x0 4 Add x0 Mul x0 4 -1 -1 