Pow x5 Add tan Mul x0 acoth Add sec x0 x0 Mul asin asin sech x6 x0 
Mul Pow x5 Add Add tan Mul x0 acoth Add sec x0 x0 Mul asin asin sech x6 x0 -1 Mul Mul x5 log x5 Add Mul Pow sec Mul x0 acoth Add sec x0 x0 2 Add acoth Add sec x0 x0 Mul x0 Mul Add Mul tan x0 sec x0 1 Pow Add 1 Mul -1 Mul Add sec x0 x0 Add sec x0 x0 -1 asin asin sech x6 