Mul exp x0 acoth Pow Add sqrt x0 x2 Mul pi x0 
Add Mul acoth Pow Add sqrt x0 x2 Mul pi x0 exp x0 Mul exp x0 Mul Mul Pow Add sqrt x0 x2 Add Mul pi x0 -1 Add Mul Mul pi x0 Pow Mul 2 sqrt x0 -1 Mul Mul Add sqrt x0 x2 log Add sqrt x0 x2 pi Pow Add 1 Mul -1 Mul Pow Add sqrt x0 x2 Mul pi x0 Pow Add sqrt x0 x2 Mul pi x0 -1 