Pow atanh asin Mul sec Pow x7 x6 Mul x0 x0 acot acot Pow x0 x0 
Mul Pow atanh asin Mul sec Pow x7 x6 Mul x0 x0 Add acot acot Pow x0 x0 -1 Add Mul acot acot Pow x0 x0 Mul Mul Mul sec Pow x7 x6 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul sec Pow x7 x6 Mul x0 x0 Mul sec Pow x7 x6 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asin Mul sec Pow x7 x6 Mul x0 x0 asin Mul sec Pow x7 x6 Mul x0 x0 -1 Mul Mul atanh asin Mul sec Pow x7 x6 Mul x0 x0 log atanh asin Mul sec Pow x7 x6 Mul x0 x0 Mul -1 Mul Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 x0 Pow x0 x0 -1 Pow Add 1 Mul acot Pow x0 x0 acot Pow x0 x0 -1 