exp Pow Mul x0 Pow x0 cos x3 sech x0 
Mul exp Pow Mul x0 Pow x0 cos x3 sech x0 Mul Pow Mul x0 Pow x0 cos x3 Add sech x0 -1 Add Mul sech x0 Add Pow x0 cos x3 Mul x0 Mul Pow x0 Add cos x3 -1 cos x3 Mul Mul Mul x0 Pow x0 cos x3 log Mul x0 Pow x0 cos x3 Mul tanh x0 Mul -1 sech x0 