Add Add -2 asin x5 cosh Mul x6 Pow x0 Add acot acot x0 Mul x1 Mul x0 x2 
Mul sinh Mul x6 Pow x0 Add acot acot x0 Mul x1 Mul x0 x2 Mul x6 Mul Pow x0 Add Add acot acot x0 Mul x1 Mul x0 x2 -1 Add Add acot acot x0 Mul x1 Mul x0 x2 Mul Mul x0 log x0 Add Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 Mul x1 x2 