acos Mul Pow 2 x0 Mul x0 asech Pow sec x0 Add x0 x1 
Mul -1 Mul Add Mul Mul x0 asech Pow sec x0 Add x0 x1 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 Add asech Pow sec x0 Add x0 x1 Mul x0 Mul Mul Pow sec x0 Add Add x0 x1 -1 Add Mul Add x0 x1 Mul tan x0 sec x0 Mul sec x0 log sec x0 Pow Mul Mul Pow sec x0 Add x0 x1 Pow sec x0 Add x0 x1 sqrt Add 1 Mul -1 Pow Mul Pow sec x0 Add x0 x1 Pow sec x0 Add x0 x1 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Pow 2 x0 Mul x0 asech Pow sec x0 Add x0 x1 Mul Pow 2 x0 Mul x0 asech Pow sec x0 Add x0 x1 -1 