atan Add Mul Pow x0 E Pow Add x0 cos acoth x1 E -4 
Mul Add Mul Pow Add x0 cos acoth x1 E Mul Pow x0 Add E -1 E Mul Pow x0 E Mul Pow Add x0 cos acoth x1 Add E -1 E Pow Add 1 Mul Add Mul Pow x0 E Pow Add x0 cos acoth x1 E -4 Add Mul Pow x0 E Pow Add x0 cos acoth x1 E -4 -1 