Add Mul Add Mul acoth x0 Pow atan csc x0 -5 x0 sinh x7 asin acoth x0 
Add Mul sinh x7 Add Add Mul Pow atan csc x0 -5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow atan csc x0 6 Mul -5 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul csc x0 csc x0 -1 1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 