Add Pow acoth Add x0 E -3 cbrt Pow sec Mul x0 tan x0 x3 
Add Mul Pow acoth Add x0 E 4 Mul -3 Pow Add 1 Mul -1 Mul Add x0 E Add x0 E -1 Mul Pow Mul Mul 3 cbrt Pow sec Mul x0 tan x0 x3 cbrt Pow sec Mul x0 tan x0 x3 -1 Mul Pow sec Mul x0 tan x0 Add x3 -1 Mul x3 Mul Mul tan Mul x0 tan x0 sec Mul x0 tan x0 Add tan x0 Mul x0 Pow sec x0 2 