Mul Mul Add x0 x0 x6 Mul acoth Mul Pow x5 -1 x0 Mul x0 Mul x0 pi 
Add Mul Mul acoth Mul Pow x5 -1 x0 Mul x0 Mul x0 pi Mul x6 2 Mul Mul Add x0 x0 x6 Add Mul Mul x0 Mul x0 pi Mul Pow x5 -1 Pow Add 1 Mul -1 Mul Mul Pow x5 -1 x0 Mul Pow x5 -1 x0 -1 Mul acoth Mul Pow x5 -1 x0 Add Mul x0 pi Mul x0 pi 