Add log Pow sech x4 Add Mul x0 -4 Add Mul cos x0 cot x4 x0 Add x1 x0 
Add Mul Mul Pow sech x4 Add Add Mul x0 -4 Add Mul cos x0 cot x4 x0 -1 Mul Mul sech x4 log sech x4 Add -4 Add Mul cot x4 Mul -1 sin x0 1 Pow Pow sech x4 Add Mul x0 -4 Add Mul cos x0 cot x4 x0 -1 1 