cos Pow Pow x0 E Pow Mul sqrt Pow x0 atanh x1 Add x0 x1 3 
Mul Mul -1 sin Pow Pow x0 E Pow Mul sqrt Pow x0 atanh x1 Add x0 x1 3 Mul Pow Pow x0 E Add Pow Mul sqrt Pow x0 atanh x1 Add x0 x1 3 -1 Add Mul Pow Mul sqrt Pow x0 atanh x1 Add x0 x1 3 Mul Pow x0 Add E -1 E Mul Mul Pow x0 E log Pow x0 E Mul Pow Mul sqrt Pow x0 atanh x1 Add x0 x1 2 Mul 3 Add Mul Add x0 x1 Mul Pow Mul 2 sqrt Pow x0 atanh x1 -1 Mul Pow x0 Add atanh x1 -1 atanh x1 sqrt Pow x0 atanh x1 