Mul csc acoth x0 Add Mul x0 sec atan Mul x0 Add pi x0 4 
Add Mul Add Mul x0 sec atan Mul x0 Add pi x0 4 Mul Mul Mul -1 cot acoth x0 csc acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul csc acoth x0 Add sec atan Mul x0 Add pi x0 Mul x0 Mul Mul tan atan Mul x0 Add pi x0 sec atan Mul x0 Add pi x0 Mul Add Add pi x0 x0 Pow Add 1 Mul Mul x0 Add pi x0 Mul x0 Add pi x0 -1 