Mul cosh Add Pow x0 Pow acot cosh x0 tan x0 Add Add 3.38051500624659 x0 asech x6 Pow x0 pi 
Add Mul Pow x0 pi Mul sinh Add Pow x0 Pow acot cosh x0 tan x0 Add Add 3.38051500624659 x0 asech x6 Add Mul Pow x0 Add Pow acot cosh x0 tan x0 -1 Add Pow acot cosh x0 tan x0 Mul Mul x0 log x0 Mul Pow acot cosh x0 Add tan x0 -1 Add Mul tan x0 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Mul Mul acot cosh x0 log acot cosh x0 Pow sec x0 2 1 Mul cosh Add Pow x0 Pow acot cosh x0 tan x0 Add Add 3.38051500624659 x0 asech x6 Mul Pow x0 Add pi -1 pi 