cos log Add Pow x0 Add x0 sech Pow x1 3 sqrt x1 
Mul Mul -1 sin log Add Pow x0 Add x0 sech Pow x1 3 sqrt x1 Mul Mul Pow x0 Add Add x0 sech Pow x1 3 -1 Add Add x0 sech Pow x1 3 Mul x0 log x0 Pow Add Pow x0 Add x0 sech Pow x1 3 sqrt x1 -1 