Pow acot acot asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 x0 
Mul Pow acot acot asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 Add x0 -1 Add Mul x0 Mul -1 Mul Mul -1 Mul Mul Add 1 Mul Pow x0 Add Mul acosh Pow x5 x0 x6 -1 Add Mul acosh Pow x5 x0 x6 Mul Mul x0 log x0 Mul x6 Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Mul sqrt Add Pow x5 x0 -1 sqrt Add 1 Pow x5 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Pow x0 Mul acosh Pow x5 x0 x6 Add x0 Pow x0 Mul acosh Pow x5 x0 x6 -1 Pow Add 1 Mul asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 -1 Pow Add 1 Mul acot asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 acot asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 -1 Mul acot acot asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 log acot acot asin Add x0 Pow x0 Mul acosh Pow x5 x0 x6 