Mul Mul atan x0 x0 Add Pow sqrt Pow x0 Add x5 acoth Mul pi x0 exp Add x0 4 -2 
Add Mul Add Pow sqrt Pow x0 Add x5 acoth Mul pi x0 exp Add x0 4 -2 Add Mul x0 Pow Add 1 Mul x0 x0 -1 atan x0 Mul Mul atan x0 x0 Mul Pow sqrt Pow x0 Add x5 acoth Mul pi x0 Add exp Add x0 4 -1 Add Mul exp Add x0 4 Mul Pow Mul 2 sqrt Pow x0 Add x5 acoth Mul pi x0 -1 Mul Pow x0 Add Add x5 acoth Mul pi x0 -1 Add Add x5 acoth Mul pi x0 Mul Mul x0 log x0 Mul pi Pow Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Mul Mul sqrt Pow x0 Add x5 acoth Mul pi x0 log sqrt Pow x0 Add x5 acoth Mul pi x0 exp Add x0 4 