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