Mul sqrt Pow x0 acoth log x3 Mul acot Mul exp E x0 5 
Add Mul Mul acot Mul exp E x0 5 Mul Pow Mul 2 sqrt Pow x0 acoth log x3 -1 Mul Pow x0 Add acoth log x3 -1 acoth log x3 Mul sqrt Pow x0 acoth log x3 Mul 5 Mul -1 Mul exp E Pow Add 1 Mul Mul exp E x0 Mul exp E x0 -1 