Add Add acsch x0 Add Pow E x0 Pow Add x0 Pow Add Add x0 atan sec x0 Add x0 x0 -4 5 -3 
Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add Mul Pow E Add x0 -1 Mul E log E Mul Pow Add x0 Pow Add Add x0 atan sec x0 Add x0 x0 -4 4 Mul 5 Add 1 Mul Pow Add Add x0 atan sec x0 Add x0 x0 5 Mul -4 Add Add 1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 2 