Pow Mul x0 Add x0 -4 Add Mul Add x0 Pow acoth acot E x0 x7 2 
Mul Pow Mul x0 Add x0 -4 Add Add Mul Add x0 Pow acoth acot E x0 x7 2 -1 Add Mul Add Mul Add x0 Pow acoth acot E x0 x7 2 Add Add x0 -4 x0 Mul Mul Mul x0 Add x0 -4 log Mul x0 Add x0 -4 Mul x7 Add 1 Mul Pow acoth acot E Add x0 -1 Mul acoth acot E log acoth acot E 