Add Pow x0 exp Mul Mul x0 x1 Pow Pow x0 pi -1 asech coth asin coth x7 
Mul Pow x0 Add exp Mul Mul x0 x1 Pow Pow x0 pi -1 -1 Add exp Mul Mul x0 x1 Pow Pow x0 pi -1 Mul Mul x0 log x0 Mul exp Mul Mul x0 x1 Pow Pow x0 pi -1 Add Mul Pow Pow x0 pi -1 x1 Mul Mul x0 x1 Mul Pow Pow x0 pi 2 Mul -1 Mul Pow x0 Add pi -1 pi 