Mul acot x0 cos Add Add pi cosh x0 Mul cosh x0 3 
Add Mul cos Add Add pi cosh x0 Mul cosh x0 3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Mul -1 sin Add Add pi cosh x0 Mul cosh x0 3 Add sinh x0 Mul 3 sinh x0 