Add cos x0 Add x6 Pow sec x0 tan acosh Mul x0 4 
Add Mul -1 sin x0 Mul Pow sec x0 Add tan acosh Mul x0 4 -1 Add Mul tan acosh Mul x0 4 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Pow sec acosh Mul x0 4 2 Mul 4 Pow Mul sqrt Add Mul x0 4 -1 sqrt Add 1 Mul x0 4 -1 