Mul x3 Pow Mul acos asin Pow x7 sec Pow x6 x0 acoth x3 x0 
Mul x3 Mul Pow Mul acos asin Pow x7 sec Pow x6 x0 acoth x3 Add x0 -1 Add Mul x0 Mul acoth x3 Mul -1 Mul Mul Mul Pow x7 Add sec Pow x6 x0 -1 Mul Mul x7 log x7 Mul Mul tan Pow x6 x0 sec Pow x6 x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow sqrt Add 1 Mul -1 Mul Pow x7 sec Pow x6 x0 Pow x7 sec Pow x6 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin Pow x7 sec Pow x6 x0 asin Pow x7 sec Pow x6 x0 -1 Mul Mul acos asin Pow x7 sec Pow x6 x0 acoth x3 log Mul acos asin Pow x7 sec Pow x6 x0 acoth x3 