Add acoth sqrt exp Mul Pow x0 5 x0 x0 
Add Mul Mul Pow Mul 2 sqrt exp Mul Pow x0 5 x0 -1 Mul exp Mul Pow x0 5 x0 Add Mul x0 Mul Pow x0 4 5 Pow x0 5 Pow Add 1 Mul -1 Mul sqrt exp Mul Pow x0 5 x0 sqrt exp Mul Pow x0 5 x0 -1 1 