Pow acoth Pow sqrt Pow x7 Add x0 x7 x0 Add exp Mul x0 -5 x0 
Mul Pow acoth Pow sqrt Pow x7 Add x0 x7 x0 Add Add exp Mul x0 -5 x0 -1 Add Mul Add exp Mul x0 -5 x0 Mul Mul Pow sqrt Pow x7 Add x0 x7 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Pow x7 Add x0 x7 -1 Mul Pow x7 Add Add x0 x7 -1 Mul x7 log x7 Mul sqrt Pow x7 Add x0 x7 log sqrt Pow x7 Add x0 x7 Pow Add 1 Mul -1 Mul Pow sqrt Pow x7 Add x0 x7 x0 Pow sqrt Pow x7 Add x0 x7 x0 -1 Mul Mul acoth Pow sqrt Pow x7 Add x0 x7 x0 log acoth Pow sqrt Pow x7 Add x0 x7 x0 Add Mul exp Mul x0 -5 -5 1 