Mul x0 Pow asin Add -4 Add x0 tanh x1 Add sqrt acoth x5 x7 
Add Pow asin Add -4 Add x0 tanh x1 Add sqrt acoth x5 x7 Mul x0 Mul Pow asin Add -4 Add x0 tanh x1 Add Add sqrt acoth x5 x7 -1 Mul Add sqrt acoth x5 x7 Pow sqrt Add 1 Mul -1 Mul Add -4 Add x0 tanh x1 Add -4 Add x0 tanh x1 -1 