Add Mul acosh Pow E Mul asec E x0 x0 Add Mul x0 acos Pow 3 x7 E 
Add Add Mul x0 Mul Mul Pow E Add Mul asec E x0 -1 Mul Mul E log E asec E Pow Mul sqrt Add Pow E Mul asec E x0 -1 sqrt Add 1 Pow E Mul asec E x0 -1 acosh Pow E Mul asec E x0 acos Pow 3 x7 