Add acoth Add x0 x3 Mul Add -4 x0 Pow cos E Add Add Add x0 Mul E atan x0 x0 -1 
Add Pow Add 1 Mul -1 Mul Add x0 x3 Add x0 x3 -1 Add Pow cos E Add Add Add x0 Mul E atan x0 x0 -1 Mul Add -4 x0 Mul Pow cos E Add Add Add Add x0 Mul E atan x0 x0 -1 -1 Mul Mul cos E log cos E Add Add 1 Mul E Pow Add 1 Mul x0 x0 -1 1 