Add Add Add acoth acoth Mul Add Mul x0 2 x3 Add x0 Mul 4 x0 Pow exp Add x7 5 Pow x0 7 x6 x0 
Add Add Mul Mul Add Mul Add x0 Mul 4 x0 2 Mul Add Mul x0 2 x3 5 Pow Add 1 Mul -1 Mul Mul Add Mul x0 2 x3 Add x0 Mul 4 x0 Mul Add Mul x0 2 x3 Add x0 Mul 4 x0 -1 Pow Add 1 Mul -1 Mul acoth Mul Add Mul x0 2 x3 Add x0 Mul 4 x0 acoth Mul Add Mul x0 2 x3 Add x0 Mul 4 x0 -1 Mul Pow exp Add x7 5 Add Pow x0 7 -1 Mul Mul exp Add x7 5 log exp Add x7 5 Mul Pow x0 6 7 1 