asech Add Mul -2 asech exp Add 0.549306144334055 x0 coth asin x7 
Mul Mul -2 Mul exp Add 0.549306144334055 x0 Pow Mul Mul exp Add 0.549306144334055 x0 exp Add 0.549306144334055 x0 sqrt Add 1 Mul -1 Pow Mul exp Add 0.549306144334055 x0 exp Add 0.549306144334055 x0 -1 -1 Pow Mul Mul Add Mul -2 asech exp Add 0.549306144334055 x0 coth asin x7 Add Mul -2 asech exp Add 0.549306144334055 x0 coth asin x7 sqrt Add 1 Mul -1 Pow Mul Add Mul -2 asech exp Add 0.549306144334055 x0 coth asin x7 Add Mul -2 asech exp Add 0.549306144334055 x0 coth asin x7 -1 -1 