Mul x0 Mul Pow tan Mul asech x0 x0 x3 Mul x0 Add 1.73205080756888 Pow Mul cosh atan Mul x0 x2 pi x0 
Add Mul Pow tan Mul asech x0 x0 x3 Mul x0 Add 1.73205080756888 Pow Mul cosh atan Mul x0 x2 pi x0 Mul x0 Add Mul Mul x0 Add 1.73205080756888 Pow Mul cosh atan Mul x0 x2 pi x0 Mul Pow tan Mul asech x0 x0 Add x3 -1 Mul x3 Mul Pow sec Mul asech x0 x0 2 Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 asech x0 Mul Pow tan Mul asech x0 x0 x3 Add Add 1.73205080756888 Pow Mul cosh atan Mul x0 x2 pi x0 Mul x0 Mul Pow Mul cosh atan Mul x0 x2 pi Add x0 -1 Add Mul x0 Mul pi Mul sinh atan Mul x0 x2 Mul x2 Pow Add 1 Mul Mul x0 x2 Mul x0 x2 -1 Mul Mul cosh atan Mul x0 x2 pi log Mul cosh atan Mul x0 x2 pi 