sqrt Pow Add -2 cot acosh Mul E x4 Add x0 -3 
Mul Pow Mul 2 sqrt Pow Add -2 cot acosh Mul E x4 Add x0 -3 -1 Mul Pow Add -2 cot acosh Mul E x4 Add Add x0 -3 -1 Mul Add -2 cot acosh Mul E x4 log Add -2 cot acosh Mul E x4 