Add x0 Pow Pow exp Add Mul x0 x7 sec x0 Pow Mul exp x0 sinh x0 x0 Add x0 Mul -2 x0 
Add 1 Mul Pow Pow exp Add Mul x0 x7 sec x0 Pow Mul exp x0 sinh x0 x0 Add Add x0 Mul -2 x0 -1 Add Mul Add x0 Mul -2 x0 Mul Pow exp Add Mul x0 x7 sec x0 Add Pow Mul exp x0 sinh x0 x0 -1 Add Mul Pow Mul exp x0 sinh x0 x0 Mul exp Add Mul x0 x7 sec x0 Add x7 Mul tan x0 sec x0 Mul Mul exp Add Mul x0 x7 sec x0 log exp Add Mul x0 x7 sec x0 Mul Pow Mul exp x0 sinh x0 Add x0 -1 Add Mul x0 Add Mul sinh x0 exp x0 Mul exp x0 cosh x0 Mul Mul exp x0 sinh x0 log Mul exp x0 sinh x0 Mul Pow exp Add Mul x0 x7 sec x0 Pow Mul exp x0 sinh x0 x0 log Pow exp Add Mul x0 x7 sec x0 Pow Mul exp x0 sinh x0 x0 