Add acos E Mul Pow Add x0 Pow Add x0 x0 x1 Add x0 x4 acoth Add Pow Add Mul x3 x5 x0 x0 pi 
Add Mul acoth Add Pow Add Mul x3 x5 x0 x0 pi Mul Pow Add x0 Pow Add x0 x0 x1 Add Add x0 x4 -1 Add Mul Add x0 x4 Add 1 Mul Pow Add x0 x0 Add x1 -1 Mul x1 2 Mul Add x0 Pow Add x0 x0 x1 log Add x0 Pow Add x0 x0 x1 Mul Pow Add x0 Pow Add x0 x0 x1 Add x0 x4 Mul Mul Pow Add Mul x3 x5 x0 Add x0 -1 Add x0 Mul Add Mul x3 x5 x0 log Add Mul x3 x5 x0 Pow Add 1 Mul -1 Mul Add Pow Add Mul x3 x5 x0 x0 pi Add Pow Add Mul x3 x5 x0 x0 pi -1 