Add E Add Mul x1 Mul x4 Pow E Mul Mul x0 3 Pow Pow acoth x0 pi 4 Add x6 Add 3 x0 
Add Mul x1 Mul x4 Mul Pow E Add Mul Mul x0 3 Pow Pow acoth x0 pi 4 -1 Mul Mul E log E Add Mul Pow Pow acoth x0 pi 4 3 Mul Mul x0 3 Mul Pow Pow acoth x0 pi 3 Mul 4 Mul Pow acoth x0 Add pi -1 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 1 