Mul asec Pow Add acoth Add Mul log x0 tan x1 x0 exp sin E Pow x0 1.41421356237310 Pow 3 Mul x0 x7 
Add Mul Pow 3 Mul x0 x7 Mul Mul Pow Add acoth Add Mul log x0 tan x1 x0 exp sin E Add Pow x0 1.41421356237310 -1 Add Mul Pow x0 1.41421356237310 Mul Add Mul tan x1 Pow x0 -1 1 Pow Add 1 Mul -1 Mul Add Mul log x0 tan x1 x0 Add Mul log x0 tan x1 x0 -1 Mul Mul Add acoth Add Mul log x0 tan x1 x0 exp sin E log Add acoth Add Mul log x0 tan x1 x0 exp sin E Mul Pow x0 0.414213562373095 1.41421356237310 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add acoth Add Mul log x0 tan x1 x0 exp sin E Pow x0 1.41421356237310 Pow Add acoth Add Mul log x0 tan x1 x0 exp sin E Pow x0 1.41421356237310 -1 Pow Add acoth Add Mul log x0 tan x1 x0 exp sin E Pow x0 1.41421356237310 Pow Add acoth Add Mul log x0 tan x1 x0 exp sin E Pow x0 1.41421356237310 -1 Mul asec Pow Add acoth Add Mul log x0 tan x1 x0 exp sin E Pow x0 1.41421356237310 Mul Pow 3 Add Mul x0 x7 -1 Mul 4.09861228866811 x7 