Pow acsch acos Mul Add x0 x0 E x3 
Mul Pow acsch acos Mul Add x0 x0 E Add x3 -1 Mul x3 Mul Mul -1 Mul -1 Mul Mul E 2 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 x0 E Mul Add x0 x0 E -1 Pow Mul Mul acos Mul Add x0 x0 E acos Mul Add x0 x0 E sqrt Add 1 Mul -1 Pow Mul acos Mul Add x0 x0 E acos Mul Add x0 x0 E -1 -1 