Mul Pow Add pi x0 Pow Mul pi Mul x0 acot Add x0 cosh x5 x0 x0 
Add Mul x0 Mul Pow Add pi x0 Add Pow Mul pi Mul x0 acot Add x0 cosh x5 x0 -1 Add Pow Mul pi Mul x0 acot Add x0 cosh x5 x0 Mul Mul Add pi x0 log Add pi x0 Mul Pow Mul pi Mul x0 acot Add x0 cosh x5 Add x0 -1 Add Mul x0 Mul pi Add acot Add x0 cosh x5 Mul x0 Mul -1 Pow Add 1 Mul Add x0 cosh x5 Add x0 cosh x5 -1 Mul Mul pi Mul x0 acot Add x0 cosh x5 log Mul pi Mul x0 acot Add x0 cosh x5 Pow Add pi x0 Pow Mul pi Mul x0 acot Add x0 cosh x5 x0 