Mul Add Mul Pow x4 acot x0 tan x3 E Mul x0 sin acosh x0 
Add Mul Mul x0 sin acosh x0 Mul tan x3 Mul Pow x4 Add acot x0 -1 Mul Mul x4 log x4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Add Mul Pow x4 acot x0 tan x3 E Add sin acosh x0 Mul x0 Mul cos acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 