cosh Pow Pow Mul x0 Add sec acosh x4 2 x6 x0 
Mul sinh Pow Pow Mul x0 Add sec acosh x4 2 x6 x0 Mul Pow Pow Mul x0 Add sec acosh x4 2 x6 Add x0 -1 Add Mul x0 Mul Pow Mul x0 Add sec acosh x4 2 Add x6 -1 Mul x6 Add sec acosh x4 2 Mul Pow Mul x0 Add sec acosh x4 2 x6 log Pow Mul x0 Add sec acosh x4 2 x6 