Add Mul acoth asinh sqrt sin Pow x0 x3 Add Add x0 Mul Mul x0 x3 x3 x0 x4 
Add Mul Add Add x0 Mul Mul x0 x3 x3 x0 Mul Mul Mul Pow Mul 2 sqrt sin Pow x0 x3 -1 Mul cos Pow x0 x3 Mul Pow x0 Add x3 -1 x3 Pow sqrt Add 1 Mul sqrt sin Pow x0 x3 sqrt sin Pow x0 x3 -1 Pow Add 1 Mul -1 Mul asinh sqrt sin Pow x0 x3 asinh sqrt sin Pow x0 x3 -1 Mul acoth asinh sqrt sin Pow x0 x3 Add Add 1 Mul x3 x3 1 