Pow acoth acosh Add Mul x2 sin Pow x3 x0 x0 -3 
Mul Pow acoth acosh Add Mul x2 sin Pow x3 x0 x0 4 Mul -3 Mul Mul Add Mul x2 Mul cos Pow x3 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 1 Pow Mul sqrt Add Add Mul x2 sin Pow x3 x0 x0 -1 sqrt Add 1 Add Mul x2 sin Pow x3 x0 x0 -1 Pow Add 1 Mul -1 Mul acosh Add Mul x2 sin Pow x3 x0 x0 acosh Add Mul x2 sin Pow x3 x0 x0 -1 