tan Pow sqrt Add x0 acos x0 Add Pow asech sech x3 x0 -5 
Mul Pow sec Pow sqrt Add x0 acos x0 Add Pow asech sech x3 x0 -5 2 Mul Pow sqrt Add x0 acos x0 Add Add Pow asech sech x3 x0 -5 -1 Add Mul Add Pow asech sech x3 x0 -5 Mul Pow Mul 2 sqrt Add x0 acos x0 -1 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sqrt Add x0 acos x0 log sqrt Add x0 acos x0 Mul Pow asech sech x3 Add x0 -1 Mul asech sech x3 log asech sech x3 