Mul asec Mul 2 Add Mul x5 Mul x6 x7 log x0 Add Mul x7 Pow x0 x5 Add csch x0 1 
Add Mul Add Mul x7 Pow x0 x5 Add csch x0 1 Mul Mul 2 Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul 2 Add Mul x5 Mul x6 x7 log x0 Mul 2 Add Mul x5 Mul x6 x7 log x0 -1 Mul 2 Add Mul x5 Mul x6 x7 log x0 Mul 2 Add Mul x5 Mul x6 x7 log x0 -1 Mul asec Mul 2 Add Mul x5 Mul x6 x7 log x0 Add Mul x7 Mul Pow x0 Add x5 -1 x5 Mul Mul -1 coth x0 csch x0 