Mul Add Add 4 Add Pow Mul x0 5 pi sqrt Mul Add 2 Add Pow x0 acoth E 5 Pow x0 x0 x0 x1 
Mul x1 Add Add Mul Pow Mul x0 5 Add pi -1 Mul pi 5 Mul Pow Mul 2 sqrt Mul Add 2 Add Pow x0 acoth E 5 Pow x0 x0 -1 Add Mul Pow x0 x0 Mul Pow x0 Add acoth E -1 acoth E Mul Add 2 Add Pow x0 acoth E 5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 