exp Pow Add csch x0 tan cosh sqrt acsch x2 Mul x0 5 
Mul exp Pow Add csch x0 tan cosh sqrt acsch x2 Mul x0 5 Mul Pow Add csch x0 tan cosh sqrt acsch x2 Add Mul x0 5 -1 Add Mul Mul x0 5 Mul Mul -1 coth x0 csch x0 Mul Mul Add csch x0 tan cosh sqrt acsch x2 log Add csch x0 tan cosh sqrt acsch x2 5 