Pow x0 coth Add Pow Pow Pow x7 Mul Mul x0 x0 x5 Add x3 Add exp atan x0 -4 Add x6 x0 Mul -1 x3 
Mul Pow x0 Add coth Add Pow Pow Pow x7 Mul Mul x0 x0 x5 Add x3 Add exp atan x0 -4 Add x6 x0 Mul -1 x3 -1 Add coth Add Pow Pow Pow x7 Mul Mul x0 x0 x5 Add x3 Add exp atan x0 -4 Add x6 x0 Mul -1 x3 Mul Mul x0 log x0 Mul Mul -1 Pow csch Add Pow Pow Pow x7 Mul Mul x0 x0 x5 Add x3 Add exp atan x0 -4 Add x6 x0 Mul -1 x3 2 Mul Pow Pow Pow x7 Mul Mul x0 x0 x5 Add x3 Add exp atan x0 -4 Add Add x6 x0 -1 Add Mul Add x6 x0 Mul Pow Pow x7 Mul Mul x0 x0 x5 Add Add x3 Add exp atan x0 -4 -1 Add Mul Add x3 Add exp atan x0 -4 Mul Pow x7 Add Mul Mul x0 x0 x5 -1 Mul Mul x7 log x7 Mul x5 Add x0 x0 Mul Mul Pow x7 Mul Mul x0 x0 x5 log Pow x7 Mul Mul x0 x0 x5 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Mul Pow Pow x7 Mul Mul x0 x0 x5 Add x3 Add exp atan x0 -4 log Pow Pow x7 Mul Mul x0 x0 x5 Add x3 Add exp atan x0 -4 