Add x0 Mul Mul Mul x0 Mul x0 x6 x0 Pow acoth pi Mul acoth x0 x0 
Add 1 Add Mul Pow acoth pi Mul acoth x0 x0 Add Mul x0 Add Mul x0 x6 Mul x0 x6 Mul x0 Mul x0 x6 Mul Mul Mul x0 Mul x0 x6 x0 Mul Pow acoth pi Add Mul acoth x0 x0 -1 Mul Mul acoth pi log acoth pi Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 