Pow tan Pow x0 x0 Pow asin E atanh x0 
Mul Pow tan Pow x0 x0 Add Pow asin E atanh x0 -1 Add Mul Pow asin E atanh x0 Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul tan Pow x0 x0 log tan Pow x0 x0 Mul Pow asin E Add atanh x0 -1 Mul Mul asin E log asin E Pow Add 1 Mul -1 Mul x0 x0 -1 