Mul Add x0 Mul Mul x0 Pow Add x0 Mul tan x0 x7 -3 Pow x0 sinh Add x0 acot E acoth Add x0 x0 
Add Mul acoth Add x0 x0 Add 1 Add Mul Pow x0 sinh Add x0 acot E Add Pow Add x0 Mul tan x0 x7 -3 Mul x0 Mul Pow Add x0 Mul tan x0 x7 4 Mul -3 Add 1 Mul x7 Pow sec x0 2 Mul Mul x0 Pow Add x0 Mul tan x0 x7 -3 Mul Pow x0 Add sinh Add x0 acot E -1 Add sinh Add x0 acot E Mul Mul x0 log x0 cosh Add x0 acot E Mul Add x0 Mul Mul x0 Pow Add x0 Mul tan x0 x7 -3 Pow x0 sinh Add x0 acot E Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 