Mul tan Add -2 x0 Mul Add acoth pi x0 Add Mul x2 sqrt Mul x0 x1 x0 
Add Mul Mul Add acoth pi x0 Add Mul x2 sqrt Mul x0 x1 x0 Pow sec Add -2 x0 2 Mul tan Add -2 x0 Add Add Mul x2 sqrt Mul x0 x1 x0 Mul Add acoth pi x0 Add Mul x2 Mul Pow Mul 2 sqrt Mul x0 x1 -1 x1 1 