Mul Mul Mul Pow Add Pow x0 E x0 acoth E Mul x0 x0 x0 Mul Add pi Mul 2 Add 3 x0 x1 
Add Mul Mul Add pi Mul 2 Add 3 x0 x1 Add Mul x0 Add Mul Mul x0 x0 Mul Pow Add Pow x0 E x0 Add acoth E -1 Mul acoth E Add Mul Pow x0 Add E -1 E 1 Mul Pow Add Pow x0 E x0 acoth E Add x0 x0 Mul Pow Add Pow x0 E x0 acoth E Mul x0 x0 Mul Mul Mul Pow Add Pow x0 E x0 acoth E Mul x0 x0 x0 Mul x1 2 