Pow sec x0 sec Pow asin acoth Add x0 -2 x7 
Mul Pow sec x0 Add sec Pow asin acoth Add x0 -2 x7 -1 Add Mul sec Pow asin acoth Add x0 -2 x7 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Mul tan Pow asin acoth Add x0 -2 x7 sec Pow asin acoth Add x0 -2 x7 Mul Pow asin acoth Add x0 -2 Add x7 -1 Mul x7 Mul Pow Add 1 Mul -1 Mul Add x0 -2 Add x0 -2 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add x0 -2 acoth Add x0 -2 -1 