Pow Add Add Pow atan x0 log x3 sinh x2 acoth x0 5 
Mul Pow Add Add Pow atan x0 log x3 sinh x2 acoth x0 4 Mul 5 Add Mul Pow atan x0 Add log x3 -1 Mul log x3 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 