Mul x0 Mul x7 Add tanh acoth Pow exp asin x0 Add asin x7 x0 x1 
Add Mul x7 Add tanh acoth Pow exp asin x0 Add asin x7 x0 x1 Mul x0 Mul x7 Mul Pow sech acoth Pow exp asin x0 Add asin x7 x0 2 Mul Mul Pow exp asin x0 Add Add asin x7 x0 -1 Add Mul Add asin x7 x0 Mul exp asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul exp asin x0 log exp asin x0 Pow Add 1 Mul -1 Mul Pow exp asin x0 Add asin x7 x0 Pow exp asin x0 Add asin x7 x0 -1 