Add 1 Mul -2 sinh Pow pi Add cos sqrt acot sec x0 Add x0 atan x0 
Mul -2 Mul cosh Pow pi Add cos sqrt acot sec x0 Add x0 atan x0 Mul Pow pi Add Add cos sqrt acot sec x0 Add x0 atan x0 -1 Mul Mul pi log pi Add Mul Mul -1 sin sqrt acot sec x0 Mul Pow Mul 2 sqrt acot sec x0 -1 Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Add 1 Pow Add 1 Mul x0 x0 -1 