Add Mul x4 Mul Pow Add asec acoth asinh x0 5 tan x0 Add x0 -5 x0 
Add Mul x4 Add Mul Add x0 -5 Mul Pow Add asec acoth asinh x0 5 Add tan x0 -1 Add Mul tan x0 Mul Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asinh x0 asinh x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth asinh x0 acoth asinh x0 -1 acoth asinh x0 acoth asinh x0 -1 Mul Mul Add asec acoth asinh x0 5 log Add asec acoth asinh x0 5 Pow sec x0 2 Pow Add asec acoth asinh x0 5 tan x0 1 