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