Mul acosh Pow x6 Add x0 5 sinh Add Add Pow tan x2 x0 x0 x3 
Add Mul sinh Add Add Pow tan x2 x0 x0 x3 Mul Mul Pow x6 Add Add x0 5 -1 Mul x6 log x6 Pow Mul sqrt Add Pow x6 Add x0 5 -1 sqrt Add 1 Pow x6 Add x0 5 -1 Mul acosh Pow x6 Add x0 5 Mul cosh Add Add Pow tan x2 x0 x0 x3 Add Mul Pow tan x2 Add x0 -1 Mul tan x2 log tan x2 1 