Pow cosh x0 Mul Mul Mul log Add 3 x0 Add asech x0 x2 x0 Add x2 x0 
Mul Pow cosh x0 Add Mul Mul Mul log Add 3 x0 Add asech x0 x2 x0 Add x2 x0 -1 Add Mul Mul Mul Mul log Add 3 x0 Add asech x0 x2 x0 Add x2 x0 sinh x0 Mul Mul cosh x0 log cosh x0 Add Mul Add x2 x0 Add Mul x0 Add Mul Add asech x0 x2 Pow Add 3 x0 -1 Mul log Add 3 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul log Add 3 x0 Add asech x0 x2 Mul Mul log Add 3 x0 Add asech x0 x2 x0 