Pow x1 Add tanh Pow cos asech E x0 sqrt x0 
Mul Pow x1 Add Add tanh Pow cos asech E x0 sqrt x0 -1 Mul Mul x1 log x1 Add Mul Pow sech Pow cos asech E x0 2 Mul Pow cos asech E Add x0 -1 Mul cos asech E log cos asech E Pow Mul 2 sqrt x0 -1 