Mul acoth x0 exp Mul x0 Mul sqrt Mul 5 Add x0 x0 x4 
Add Mul exp Mul x0 Mul sqrt Mul 5 Add x0 x0 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul exp Mul x0 Mul sqrt Mul 5 Add x0 x0 x4 Add Mul sqrt Mul 5 Add x0 x0 x4 Mul x0 Mul x4 Mul Pow Mul 2 sqrt Mul 5 Add x0 x0 -1 7 