Pow acot x2 sin Mul Add Mul sec Mul x0 x0 cosh Add pi x0 x0 sinh x0 
Mul Pow acot x2 Add sin Mul Add Mul sec Mul x0 x0 cosh Add pi x0 x0 sinh x0 -1 Mul Mul acot x2 log acot x2 Mul cos Mul Add Mul sec Mul x0 x0 cosh Add pi x0 x0 sinh x0 Add Mul sinh x0 Add Add Mul cosh Add pi x0 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Mul sec Mul x0 x0 sinh Add pi x0 1 Mul Add Mul sec Mul x0 x0 cosh Add pi x0 x0 cosh x0 