acot Mul Mul x0 cosh Mul Pow Mul x7 Add x0 x0 Mul x0 -5 pi x0 
Mul -1 Mul Add Mul x0 Add cosh Mul Pow Mul x7 Add x0 x0 Mul x0 -5 pi Mul x0 Mul sinh Mul Pow Mul x7 Add x0 x0 Mul x0 -5 pi Mul pi Mul Pow Mul x7 Add x0 x0 Add Mul x0 -5 -1 Add Mul Mul x0 -5 Mul x7 2 Mul Mul Mul x7 Add x0 x0 log Mul x7 Add x0 x0 -5 Mul x0 cosh Mul Pow Mul x7 Add x0 x0 Mul x0 -5 pi Pow Add 1 Mul Mul Mul x0 cosh Mul Pow Mul x7 Add x0 x0 Mul x0 -5 pi x0 Mul Mul x0 cosh Mul Pow Mul x7 Add x0 x0 Mul x0 -5 pi x0 -1 