Mul Add Add E 1 acsch Add 1 Mul cot exp E x0 acot pi 
Mul acot pi Mul Mul -1 cot exp E Pow Mul Mul Add 1 Mul cot exp E x0 Add 1 Mul cot exp E x0 sqrt Add 1 Mul -1 Pow Mul Add 1 Mul cot exp E x0 Add 1 Mul cot exp E x0 -1 -1 