exp Mul x5 Add Mul asech Pow asin atan atanh x3 x0 -3 x0 
Mul exp Mul x5 Add Mul asech Pow asin atan atanh x3 x0 -3 x0 Mul x5 Add Mul -3 Mul Mul Pow asin atan atanh x3 Add x0 -1 Mul asin atan atanh x3 log asin atan atanh x3 Pow Mul Mul Pow asin atan atanh x3 x0 Pow asin atan atanh x3 x0 sqrt Add 1 Mul -1 Pow Mul Pow asin atan atanh x3 x0 Pow asin atan atanh x3 x0 -1 -1 1 