Mul tan Pow acos sqrt x7 Mul Pow x5 x0 atanh x0 x0 
Add Mul x0 Mul Pow sec Pow acos sqrt x7 Mul Pow x5 x0 atanh x0 2 Mul Pow acos sqrt x7 Add Mul Pow x5 x0 atanh x0 -1 Mul Mul acos sqrt x7 log acos sqrt x7 Add Mul atanh x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 tan Pow acos sqrt x7 Mul Pow x5 x0 atanh x0 