Mul Mul x0 x0 Mul asech sech x2 Mul 2 Add -5 Pow Pow x0 Mul Pow exp E x0 x6 sec x4 
Add Mul Mul asech sech x2 Mul 2 Add -5 Pow Pow x0 Mul Pow exp E x0 x6 sec x4 Add x0 x0 Mul Mul x0 x0 Mul asech sech x2 Mul 2 Mul Pow Pow x0 Mul Pow exp E x0 x6 Add sec x4 -1 Mul sec x4 Mul Pow x0 Add Mul Pow exp E x0 x6 -1 Add Mul Pow exp E x0 x6 Mul Mul x0 log x0 Mul x6 Mul Pow exp E Add x0 -1 Mul exp E log exp E 