Pow x0 sec exp Add Add Add Mul 7.38905609893065 x0 x0 x6 coth x0 
Mul Pow x0 Add sec exp Add Add Add Mul 7.38905609893065 x0 x0 x6 coth x0 -1 Add sec exp Add Add Add Mul 7.38905609893065 x0 x0 x6 coth x0 Mul Mul x0 log x0 Mul Mul tan exp Add Add Add Mul 7.38905609893065 x0 x0 x6 coth x0 sec exp Add Add Add Mul 7.38905609893065 x0 x0 x6 coth x0 Mul exp Add Add Add Mul 7.38905609893065 x0 x0 x6 coth x0 Add 8.38905609893065 Mul -1 Pow csch x0 2 