Mul x0 Add Mul x0 asech Mul x4 cosh x0 asech Mul cosh cos x0 3 
Add Add Mul x0 asech Mul x4 cosh x0 asech Mul cosh cos x0 3 Mul x0 Add Add asech Mul x4 cosh x0 Mul x0 Mul Mul x4 sinh x0 Pow Mul Mul Mul x4 cosh x0 Mul x4 cosh x0 sqrt Add 1 Mul -1 Pow Mul Mul x4 cosh x0 Mul x4 cosh x0 -1 -1 Mul Mul 3 Mul sinh cos x0 Mul -1 sin x0 Pow Mul Mul Mul cosh cos x0 3 Mul cosh cos x0 3 sqrt Add 1 Mul -1 Pow Mul Mul cosh cos x0 3 Mul cosh cos x0 3 -1 -1 