exp log Pow Mul Mul 5 Mul pi x1 acoth Add x0 1 Mul -4 Mul 5 x0 
Mul exp log Pow Mul Mul 5 Mul pi x1 acoth Add x0 1 Mul -4 Mul 5 x0 Mul Mul Pow Mul Mul 5 Mul pi x1 acoth Add x0 1 Add Mul -4 Mul 5 x0 -1 Add Mul Mul -4 Mul 5 x0 Mul Mul 5 Mul pi x1 Pow Add 1 Mul -1 Mul Add x0 1 Add x0 1 -1 Mul Mul Mul 5 Mul pi x1 acoth Add x0 1 log Mul Mul 5 Mul pi x1 acoth Add x0 1 Pow Pow Mul Mul 5 Mul pi x1 acoth Add x0 1 Mul -4 Mul 5 x0 -1 