Mul Add Add Mul -4 sinh Mul x0 sqrt atanh sec x1 Add acosh x6 x0 x0 x0 
Add Mul x0 Add Add Mul -4 Mul cosh Mul x0 sqrt atanh sec x1 sqrt atanh sec x1 1 1 Add Add Mul -4 sinh Mul x0 sqrt atanh sec x1 Add acosh x6 x0 x0 