Mul Mul Add Mul x0 coth exp x7 x3 Add Add -5 Add x0 x0 3 sqrt x0 
Add Mul sqrt x0 Add Mul Add Add -5 Add x0 x0 3 coth exp x7 Mul Add Mul x0 coth exp x7 x3 2 Mul Mul Add Mul x0 coth exp x7 x3 Add Add -5 Add x0 x0 3 Pow Mul 2 sqrt x0 -1 