Mul x0 Add Add Add tan x0 Pow pi Pow Add acosh x4 x0 x0 cosh x0 Mul x0 -2 
Add Add Add Add tan x0 Pow pi Pow Add acosh x4 x0 x0 cosh x0 Mul x0 -2 Mul x0 Add Add Add Pow sec x0 2 Mul Pow pi Add Pow Add acosh x4 x0 x0 -1 Mul Mul pi log pi Mul Pow Add acosh x4 x0 Add x0 -1 Add x0 Mul Add acosh x4 x0 log Add acosh x4 x0 sinh x0 -2 