Mul x0 Mul Pow x7 Pow Pow x0 5 Mul sec x4 x6 acsch asinh x1 
Add Mul Pow x7 Pow Pow x0 5 Mul sec x4 x6 acsch asinh x1 Mul x0 Mul acsch asinh x1 Mul Pow x7 Add Pow Pow x0 5 Mul sec x4 x6 -1 Mul Mul x7 log x7 Mul Pow Pow x0 5 Add Mul sec x4 x6 -1 Mul Mul sec x4 x6 Mul Pow x0 4 5 