Pow x5 acoth Add Pow Mul 3 x7 x0 Mul x0 Add -3 Add x0 x0 
Mul Pow x5 Add acoth Add Pow Mul 3 x7 x0 Mul x0 Add -3 Add x0 x0 -1 Mul Mul x5 log x5 Mul Add Mul Pow Mul 3 x7 Add x0 -1 Mul Mul 3 x7 log Mul 3 x7 Add Add -3 Add x0 x0 Mul x0 2 Pow Add 1 Mul -1 Mul Add Pow Mul 3 x7 x0 Mul x0 Add -3 Add x0 x0 Add Pow Mul 3 x7 x0 Mul x0 Add -3 Add x0 x0 -1 