Mul Pow x0 Mul x7 acot cos Add x0 Add 2 E acosh E 
Mul acosh E Mul Pow x0 Add Mul x7 acot cos Add x0 Add 2 E -1 Add Mul x7 acot cos Add x0 Add 2 E Mul Mul x0 log x0 Mul x7 Mul -1 Mul Mul -1 sin Add x0 Add 2 E Pow Add 1 Mul cos Add x0 Add 2 E cos Add x0 Add 2 E -1 