Mul sinh x0 atanh atanh Mul x0 Add sec x5 x5 
Add Mul atanh atanh Mul x0 Add sec x5 x5 cosh x0 Mul sinh x0 Mul Mul Add sec x5 x5 Pow Add 1 Mul -1 Mul Mul x0 Add sec x5 x5 Mul x0 Add sec x5 x5 -1 Pow Add 1 Mul -1 Mul atanh Mul x0 Add sec x5 x5 atanh Mul x0 Add sec x5 x5 -1 