Add 4 Pow Mul pi x0 Add Mul Pow Mul atanh Mul x0 x2 -1 Mul -4 acoth x7 x0 x0 
Mul Pow Mul pi x0 Add Add Mul Pow Mul atanh Mul x0 x2 -1 Mul -4 acoth x7 x0 x0 -1 Add Mul Add Mul Pow Mul atanh Mul x0 x2 -1 Mul -4 acoth x7 x0 x0 pi Mul Mul Mul pi x0 log Mul pi x0 Add Add Mul x0 Mul Pow Mul atanh Mul x0 x2 -1 Add Mul -4 acoth x7 -1 Mul Mul -4 acoth x7 Mul -1 Mul x2 Pow Add 1 Mul -1 Mul Mul x0 x2 Mul x0 x2 -1 Pow Mul atanh Mul x0 x2 -1 Mul -4 acoth x7 1 