Add Mul csch acosh Pow x6 Add x0 5 x0 4 
Add Mul x0 Mul Mul Mul -1 coth acosh Pow x6 Add x0 5 csch acosh Pow x6 Add x0 5 Mul Mul Pow x6 Add Add x0 5 -1 Mul x6 log x6 Pow Mul sqrt Add Pow x6 Add x0 5 -1 sqrt Add 1 Pow x6 Add x0 5 -1 csch acosh Pow x6 Add x0 5 