Add 4 Add -5 exp Pow Mul -4 Pow atan acsch x3 x0 5 
Mul exp Pow Mul -4 Pow atan acsch x3 x0 5 Mul Pow Mul -4 Pow atan acsch x3 x0 4 Mul 5 Mul -4 Mul Pow atan acsch x3 Add x0 -1 Mul atan acsch x3 log atan acsch x3 