acosh Add Mul x0 x1 atan exp Pow Mul x0 acot acoth x0 cos sinh Mul x0 x0 
Mul Add x1 Mul Mul exp Pow Mul x0 acot acoth x0 cos sinh Mul x0 x0 Mul Pow Mul x0 acot acoth x0 Add cos sinh Mul x0 x0 -1 Add Mul cos sinh Mul x0 x0 Add acot acoth x0 Mul x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Mul Mul Mul x0 acot acoth x0 log Mul x0 acot acoth x0 Mul Mul -1 sin sinh Mul x0 x0 Mul cosh Mul x0 x0 Add x0 x0 Pow Add 1 Mul exp Pow Mul x0 acot acoth x0 cos sinh Mul x0 x0 exp Pow Mul x0 acot acoth x0 cos sinh Mul x0 x0 -1 Pow Mul sqrt Add Add Mul x0 x1 atan exp Pow Mul x0 acot acoth x0 cos sinh Mul x0 x0 -1 sqrt Add 1 Add Mul x0 x1 atan exp Pow Mul x0 acot acoth x0 cos sinh Mul x0 x0 -1 