acot acosh sin Pow x3 Add x0 Mul x0 -3 
Mul -1 Mul Mul Mul cos Pow x3 Add x0 Mul x0 -3 Mul Pow x3 Add Add x0 Mul x0 -3 -1 Mul Mul x3 log x3 2 Pow Mul sqrt Add sin Pow x3 Add x0 Mul x0 -3 -1 sqrt Add 1 sin Pow x3 Add x0 Mul x0 -3 -1 Pow Add 1 Mul acosh sin Pow x3 Add x0 Mul x0 -3 acosh sin Pow x3 Add x0 Mul x0 -3 -1 