Add Mul acosh Mul Mul Add atanh pi 5 x0 Mul x0 x0 cot Pow x0 pi x0 
Add Add Mul cot Pow x0 pi Mul Add Mul Mul x0 x0 Add atanh pi 5 Mul Mul Add atanh pi 5 x0 Add x0 x0 Pow Mul sqrt Add Mul Mul Add atanh pi 5 x0 Mul x0 x0 -1 sqrt Add 1 Mul Mul Add atanh pi 5 x0 Mul x0 x0 -1 Mul acosh Mul Mul Add atanh pi 5 x0 Mul x0 x0 Mul Mul -1 Pow csc Pow x0 pi 2 Mul Pow x0 Add pi -1 pi 1 