Mul x0 Mul x0 acosh Pow cos x0 Pow 4 asec x2 
Add Mul x0 acosh Pow cos x0 Pow 4 asec x2 Mul x0 Add acosh Pow cos x0 Pow 4 asec x2 Mul x0 Mul Mul Pow cos x0 Add Pow 4 asec x2 -1 Mul Pow 4 asec x2 Mul -1 sin x0 Pow Mul sqrt Add Pow cos x0 Pow 4 asec x2 -1 sqrt Add 1 Pow cos x0 Pow 4 asec x2 -1 