Add Pow Mul x0 Add x0 x0 Pow Pow log pi Mul x0 x0 atan acoth cos x0 x0 
Add Mul Pow Mul x0 Add x0 x0 Add Pow Pow log pi Mul x0 x0 atan acoth cos x0 -1 Add Mul Pow Pow log pi Mul x0 x0 atan acoth cos x0 Add Add x0 x0 Mul x0 2 Mul Mul Mul x0 Add x0 x0 log Mul x0 Add x0 x0 Mul Pow Pow log pi Mul x0 x0 Add atan acoth cos x0 -1 Add Mul atan acoth cos x0 Mul Pow log pi Add Mul x0 x0 -1 Mul Mul log pi log log pi Add x0 x0 Mul Mul Pow log pi Mul x0 x0 log Pow log pi Mul x0 x0 Mul Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 Pow Add 1 Mul acoth cos x0 acoth cos x0 -1 1 