Mul Add 4 Pow x7 Add Mul Mul Pow x0 acot x2 x0 Add x0 3 Mul acoth Add x0 Add x3 4 x0 x0 
Add Mul x0 Mul Pow x7 Add Add Mul Mul Pow x0 acot x2 x0 Add x0 3 Mul acoth Add x0 Add x3 4 x0 -1 Mul Mul x7 log x7 Add Add Mul Add x0 3 Add Mul x0 Mul Pow x0 Add acot x2 -1 acot x2 Pow x0 acot x2 Mul Pow x0 acot x2 x0 Add Mul x0 Pow Add 1 Mul -1 Mul Add x0 Add x3 4 Add x0 Add x3 4 -1 acoth Add x0 Add x3 4 Add 4 Pow x7 Add Mul Mul Pow x0 acot x2 x0 Add x0 3 Mul acoth Add x0 Add x3 4 x0 