asech Add Mul x0 Mul atanh x1 pi E 
Mul Mul atanh x1 pi Pow Mul Mul Add Mul x0 Mul atanh x1 pi E Add Mul x0 Mul atanh x1 pi E sqrt Add 1 Mul -1 Pow Mul Add Mul x0 Mul atanh x1 pi E Add Mul x0 Mul atanh x1 pi E -1 -1 