Add Mul x7 Pow sec tanh atanh x5 asin Mul x0 x0 -3 
Mul x7 Mul Pow sec tanh atanh x5 Add asin Mul x0 x0 -1 Mul Mul sec tanh atanh x5 log sec tanh atanh x5 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 