Add Add atan x0 Add x7 x0 Mul Pow acoth Mul Add x5 x0 Pow x0 -2 Add Add acot Mul x6 x0 -4 x0 x2 
Add Add Pow Add 1 Mul x0 x0 -1 1 Mul x2 Mul Pow acoth Mul Add x5 x0 Pow x0 -2 Add Add Add acot Mul x6 x0 -4 x0 -1 Add Mul Add Add acot Mul x6 x0 -4 x0 Mul Add Pow x0 -2 Mul Add x5 x0 Mul Pow x0 3 -2 Pow Add 1 Mul -1 Mul Mul Add x5 x0 Pow x0 -2 Mul Add x5 x0 Pow x0 -2 -1 Mul Mul acoth Mul Add x5 x0 Pow x0 -2 log acoth Mul Add x5 x0 Pow x0 -2 Add Mul -1 Mul x6 Pow Add 1 Mul Mul x6 x0 Mul x6 x0 -1 1 