Mul Mul Pow Mul x0 x4 x2 -2 Mul Mul x0 x0 Add pi Mul acoth x3 x0 
Add Mul Mul Mul x0 x0 Add pi Mul acoth x3 x0 Mul -2 Mul Pow Mul x0 x4 Add x2 -1 Mul x2 x4 Mul Mul Pow Mul x0 x4 x2 -2 Add Mul Add pi Mul acoth x3 x0 Add x0 x0 Mul Mul x0 x0 acoth x3 