acot Pow Mul log Pow Pow x0 4 sqrt Mul Add x0 x0 pi 3 Add acosh Mul 5 x0 -3 
Mul -1 Mul Mul Pow Mul log Pow Pow x0 4 sqrt Mul Add x0 x0 pi 3 Add Add acosh Mul 5 x0 -3 -1 Add Mul Add acosh Mul 5 x0 -3 Mul 3 Mul Mul Pow Pow x0 4 Add sqrt Mul Add x0 x0 pi -1 Add Mul sqrt Mul Add x0 x0 pi Mul Pow x0 3 4 Mul Mul Pow x0 4 log Pow x0 4 Mul Pow Mul 2 sqrt Mul Add x0 x0 pi -1 Mul pi 2 Pow Pow Pow x0 4 sqrt Mul Add x0 x0 pi -1 Mul Mul Mul log Pow Pow x0 4 sqrt Mul Add x0 x0 pi 3 log Mul log Pow Pow x0 4 sqrt Mul Add x0 x0 pi 3 Mul 5 Pow Mul sqrt Add Mul 5 x0 -1 sqrt Add 1 Mul 5 x0 -1 Pow Add 1 Mul Pow Mul log Pow Pow x0 4 sqrt Mul Add x0 x0 pi 3 Add acosh Mul 5 x0 -3 Pow Mul log Pow Pow x0 4 sqrt Mul Add x0 x0 pi 3 Add acosh Mul 5 x0 -3 -1 