Mul Add x0 Pow Add Add x0 3 Add x0 pi atanh acsch Add sec x0 x3 Pow x0 1.73205080756888 
Add Mul Pow x0 1.73205080756888 Add 1 Mul Pow Add Add x0 3 Add x0 pi Add atanh acsch Add sec x0 x3 -1 Add Mul atanh acsch Add sec x0 x3 2 Mul Mul Add Add x0 3 Add x0 pi log Add Add x0 3 Add x0 pi Mul Mul Mul -1 Mul tan x0 sec x0 Pow Mul Mul Add sec x0 x3 Add sec x0 x3 sqrt Add 1 Mul -1 Pow Mul Add sec x0 x3 Add sec x0 x3 -1 -1 Pow Add 1 Mul -1 Mul acsch Add sec x0 x3 acsch Add sec x0 x3 -1 Mul Add x0 Pow Add Add x0 3 Add x0 pi atanh acsch Add sec x0 x3 Mul Pow x0 0.732050807568877 1.73205080756888 