Add Add Mul x3 acot x4 Add Mul E x2 x4 Mul acot Mul -4 x0 Mul Add acosh E Mul x7 x0 x4 
Add Mul Mul Add acosh E Mul x7 x0 x4 Mul -1 Mul -4 Pow Add 1 Mul Mul -4 x0 Mul -4 x0 -1 Mul acot Mul -4 x0 Mul x4 x7 