Mul pi Pow x0 Add Pow tan acos pi acot acoth Mul x0 log Mul x1 x2 4 
Mul pi Mul Pow x0 Add Add Pow tan acos pi acot acoth Mul x0 log Mul x1 x2 4 -1 Add Add Pow tan acos pi acot acoth Mul x0 log Mul x1 x2 4 Mul Mul x0 log x0 Mul Pow tan acos pi Add acot acoth Mul x0 log Mul x1 x2 -1 Mul Mul tan acos pi log tan acos pi Mul -1 Mul Mul log Mul x1 x2 Pow Add 1 Mul -1 Mul Mul x0 log Mul x1 x2 Mul x0 log Mul x1 x2 -1 Pow Add 1 Mul acoth Mul x0 log Mul x1 x2 acoth Mul x0 log Mul x1 x2 -1 