Add Add x7 acosh tan x0 Mul Add csc x0 x0 Mul Mul x0 log x0 2 
Add Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 Add Mul Mul Mul x0 log x0 2 Add Mul Mul -1 cot x0 csc x0 1 Mul Add csc x0 x0 Mul 2 Add log x0 Mul x0 Pow x0 -1 