Pow Mul acoth Add pi x0 Mul 2 Add Mul x0 Mul 1.73205080756888 Mul x0 Add x0 x1 -1 pi 
Mul Pow Mul acoth Add pi x0 Mul 2 Add Mul x0 Mul 1.73205080756888 Mul x0 Add x0 x1 -1 Add pi -1 Mul pi Add Mul Mul 2 Add Mul x0 Mul 1.73205080756888 Mul x0 Add x0 x1 -1 Pow Add 1 Mul -1 Mul Add pi x0 Add pi x0 -1 Mul acoth Add pi x0 Mul 2 Add Mul 1.73205080756888 Mul x0 Add x0 x1 Mul x0 Mul 1.73205080756888 Add Add x0 x1 x0 