Add Mul x0 Mul Pow -4 x7 x7 exp coth asin acsch cot sqrt x0 
Add Mul Pow -4 x7 x7 Mul exp coth asin acsch cot sqrt x0 Mul Mul -1 Pow csch asin acsch cot sqrt x0 2 Mul Mul Mul -1 Mul Mul -1 Pow csc sqrt x0 2 Pow Mul 2 sqrt x0 -1 Pow Mul Mul cot sqrt x0 cot sqrt x0 sqrt Add 1 Mul -1 Pow Mul cot sqrt x0 cot sqrt x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch cot sqrt x0 acsch cot sqrt x0 -1 