Mul Pow acoth pi x0 Add x0 Mul x4 Add Pow E x0 cos x1 
Add Mul Add x0 Mul x4 Add Pow E x0 cos x1 Mul Pow acoth pi Add x0 -1 Mul acoth pi log acoth pi Mul Pow acoth pi x0 Add 1 Mul x4 Mul Pow E Add x0 -1 Mul E log E 