Mul x0 Pow Add sin Mul x7 -4 csc x7 Pow Add x0 E sec acoth exp E 
Add Pow Add sin Mul x7 -4 csc x7 Pow Add x0 E sec acoth exp E Mul x0 Mul Pow Add sin Mul x7 -4 csc x7 Add Pow Add x0 E sec acoth exp E -1 Mul Mul Add sin Mul x7 -4 csc x7 log Add sin Mul x7 -4 csc x7 Mul Pow Add x0 E Add sec acoth exp E -1 sec acoth exp E 