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