Add Mul Pow exp Add Add x0 x4 exp Pow Mul atan log x3 x0 x0 Mul x3 x3 acos csch x0 x0 
Add Add Mul acos csch x0 Mul Pow exp Add Add x0 x4 exp Pow Mul atan log x3 x0 x0 Add Mul x3 x3 -1 Mul Mul x3 x3 Mul exp Add Add x0 x4 exp Pow Mul atan log x3 x0 x0 Add 1 Mul exp Pow Mul atan log x3 x0 x0 Mul Pow Mul atan log x3 x0 Add x0 -1 Add Mul x0 atan log x3 Mul Mul atan log x3 x0 log Mul atan log x3 x0 Mul Pow exp Add Add x0 x4 exp Pow Mul atan log x3 x0 x0 Mul x3 x3 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 1 