acsch Pow Mul x0 csch x7 Add x3 x0 
Mul Mul -1 Mul Pow Mul x0 csch x7 Add Add x3 x0 -1 Add Mul Add x3 x0 csch x7 Mul Mul x0 csch x7 log Mul x0 csch x7 Pow Mul Mul Pow Mul x0 csch x7 Add x3 x0 Pow Mul x0 csch x7 Add x3 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 csch x7 Add x3 x0 Pow Mul x0 csch x7 Add x3 x0 -1 -1 