acoth Mul sqrt Pow x3 Mul pi x0 Add Add x0 x0 Add 0.135335283236613 x0 
Mul Add Mul Add Add x0 x0 Add 0.135335283236613 x0 Mul Pow Mul 2 sqrt Pow x3 Mul pi x0 -1 Mul Pow x3 Add Mul pi x0 -1 Mul Mul x3 log x3 pi Mul sqrt Pow x3 Mul pi x0 3 Pow Add 1 Mul -1 Mul Mul sqrt Pow x3 Mul pi x0 Add Add x0 x0 Add 0.135335283236613 x0 Mul sqrt Pow x3 Mul pi x0 Add Add x0 x0 Add 0.135335283236613 x0 -1 