Mul Add sec Add tan x0 Mul Mul x0 acosh x4 4 Add atanh x0 Mul x0 E Add Pow x0 x0 Pow pi x0 
Add Mul Add Pow x0 x0 Pow pi x0 Add Mul Mul tan Add tan x0 Mul Mul x0 acosh x4 4 sec Add tan x0 Mul Mul x0 acosh x4 4 Add Pow sec x0 2 Mul 4 acosh x4 Add Pow Add 1 Mul -1 Mul x0 x0 -1 E Mul Add sec Add tan x0 Mul Mul x0 acosh x4 4 Add atanh x0 Mul x0 E Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow pi Add x0 -1 Mul pi log pi 