Mul csch acosh x7 Pow Pow log x0 x0 Mul Mul x0 Mul Pow x0 x4 x5 x5 
Mul csch acosh x7 Mul Pow Pow log x0 x0 Add Mul Mul x0 Mul Pow x0 x4 x5 x5 -1 Add Mul Mul Mul x0 Mul Pow x0 x4 x5 x5 Mul Pow log x0 Add x0 -1 Add Mul x0 Pow x0 -1 Mul log x0 log log x0 Mul Mul Pow log x0 x0 log Pow log x0 x0 Mul x5 Add Mul Pow x0 x4 x5 Mul x0 Mul x5 Mul Pow x0 Add x4 -1 x4 