Mul x0 Add Add Pow x0 cosh x0 Pow cot acsch x4 log Pow x4 x0 asech acot x1 
Add Add Add Pow x0 cosh x0 Pow cot acsch x4 log Pow x4 x0 asech acot x1 Mul x0 Add Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Mul Pow cot acsch x4 Add log Pow x4 x0 -1 Mul Mul cot acsch x4 log cot acsch x4 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Pow x4 x0 -1 