Add Pow Mul Pow x5 Add exp acoth x0 1 acosh x0 acos atan asin log x0 asech acot csc x5 
Mul Pow Mul Pow x5 Add exp acoth x0 1 acosh x0 Add acos atan asin log x0 -1 Add Mul acos atan asin log x0 Add Mul acosh x0 Mul Pow x5 Add Add exp acoth x0 1 -1 Mul Mul x5 log x5 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x5 Add exp acoth x0 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul Pow x5 Add exp acoth x0 1 acosh x0 log Mul Pow x5 Add exp acoth x0 1 acosh x0 Mul -1 Mul Mul Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 Pow Add 1 Mul asin log x0 asin log x0 -1 Pow sqrt Add 1 Mul -1 Mul atan asin log x0 atan asin log x0 -1 