Add Pow x0 pi Pow Pow Add Add Pow Pow E 3 pi 4 x0 acot x7 cosh Pow Mul x0 4 x0 
Add Mul Pow x0 Add pi -1 pi Mul Pow Pow Add Add Pow Pow E 3 pi 4 x0 acot x7 Add cosh Pow Mul x0 4 x0 -1 Add Mul cosh Pow Mul x0 4 x0 Mul Pow Add Add Pow Pow E 3 pi 4 x0 Add acot x7 -1 acot x7 Mul Mul Pow Add Add Pow Pow E 3 pi 4 x0 acot x7 log Pow Add Add Pow Pow E 3 pi 4 x0 acot x7 Mul sinh Pow Mul x0 4 x0 Mul Pow Mul x0 4 Add x0 -1 Add Mul x0 4 Mul Mul x0 4 log Mul x0 4 