Mul -4 Pow Mul acsch Add x0 Add x7 x2 pi -3 
Mul -4 Mul Pow Mul acsch Add x0 Add x7 x2 pi 4 Mul -3 Mul pi Mul -1 Pow Mul Mul Add x0 Add x7 x2 Add x0 Add x7 x2 sqrt Add 1 Mul -1 Pow Mul Add x0 Add x7 x2 Add x0 Add x7 x2 -1 -1 