tan Pow Mul acos x1 x7 Add x0 Add Pow cos acos asin acoth pi x0 Add atan x5 x0 
Mul Pow sec Pow Mul acos x1 x7 Add x0 Add Pow cos acos asin acoth pi x0 Add atan x5 x0 2 Mul Pow Mul acos x1 x7 Add Add x0 Add Pow cos acos asin acoth pi x0 Add atan x5 x0 -1 Mul Mul Mul acos x1 x7 log Mul acos x1 x7 Add 1 Add Mul Pow cos acos asin acoth pi Add x0 -1 Mul cos acos asin acoth pi log cos acos asin acoth pi 1 