sin Mul x0 Add x0 Add Mul acos x0 acos x0 Pow Pow asech E x0 Pow acot x5 x0 
Mul cos Mul x0 Add x0 Add Mul acos x0 acos x0 Pow Pow asech E x0 Pow acot x5 x0 Add Add x0 Add Mul acos x0 acos x0 Pow Pow asech E x0 Pow acot x5 x0 Mul x0 Add 1 Add Add Mul acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow asech E x0 Add Pow acot x5 x0 -1 Add Mul Pow acot x5 x0 Mul Pow asech E Add x0 -1 Mul asech E log asech E Mul Mul Pow asech E x0 log Pow asech E x0 Mul Pow acot x5 Add x0 -1 Mul acot x5 log acot x5 