acot Pow Mul Mul x1 exp Add tan x0 -4 exp Add x0 1.17520119364380 x0 
Mul -1 Mul Mul Pow Mul Mul x1 exp Add tan x0 -4 exp Add x0 1.17520119364380 Add x0 -1 Add Mul x0 Add Mul exp Add x0 1.17520119364380 Mul x1 Mul exp Add tan x0 -4 Pow sec x0 2 Mul Mul x1 exp Add tan x0 -4 exp Add x0 1.17520119364380 Mul Mul Mul x1 exp Add tan x0 -4 exp Add x0 1.17520119364380 log Mul Mul x1 exp Add tan x0 -4 exp Add x0 1.17520119364380 Pow Add 1 Mul Pow Mul Mul x1 exp Add tan x0 -4 exp Add x0 1.17520119364380 x0 Pow Mul Mul x1 exp Add tan x0 -4 exp Add x0 1.17520119364380 x0 -1 