Mul tan Pow x0 x0 Pow Mul -3 Pow cot x0 Mul x4 Pow E x0 acosh exp acos x0 
Add Mul Pow Mul -3 Pow cot x0 Mul x4 Pow E x0 acosh exp acos x0 Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul tan Pow x0 x0 Mul Pow Mul -3 Pow cot x0 Mul x4 Pow E x0 Add acosh exp acos x0 -1 Add Mul acosh exp acos x0 Mul -3 Mul Pow cot x0 Add Mul x4 Pow E x0 -1 Add Mul Mul x4 Pow E x0 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul x4 Mul Pow E Add x0 -1 Mul E log E Mul Mul Mul -3 Pow cot x0 Mul x4 Pow E x0 log Mul -3 Pow cot x0 Mul x4 Pow E x0 Mul Mul exp acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add exp acos x0 -1 sqrt Add 1 exp acos x0 -1 