Pow Pow acsch Mul 4 exp x0 x0 Add Pow 4 E x7 
Mul Pow Pow acsch Mul 4 exp x0 x0 Add Add Pow 4 E x7 -1 Mul Add Pow 4 E x7 Mul Pow acsch Mul 4 exp x0 Add x0 -1 Add Mul x0 Mul Mul -1 Mul 4 exp x0 Pow Mul Mul Mul 4 exp x0 Mul 4 exp x0 sqrt Add 1 Mul -1 Pow Mul Mul 4 exp x0 Mul 4 exp x0 -1 -1 Mul acsch Mul 4 exp x0 log acsch Mul 4 exp x0 