asech acoth Add Add E x0 E 
Mul Pow Add 1 Mul -1 Mul Add Add E x0 E Add Add E x0 E -1 Pow Mul Mul acoth Add Add E x0 E acoth Add Add E x0 E sqrt Add 1 Mul -1 Pow Mul acoth Add Add E x0 E acoth Add Add E x0 E -1 -1 