Mul Mul x0 x3 Add Add Mul tan Mul x0 Mul x0 acoth Add pi 3 x0 -2 -2 
Add Mul Add Add Mul tan Mul x0 Mul x0 acoth Add pi 3 x0 -2 -2 x3 Mul Mul x0 x3 Add Mul x0 Mul Pow sec Mul x0 Mul x0 acoth Add pi 3 2 Add Mul x0 acoth Add pi 3 Mul x0 acoth Add pi 3 tan Mul x0 Mul x0 acoth Add pi 3 