Mul tan x3 Add Add Pow sec acosh x0 pi Pow Pow x0 Mul Mul x7 x0 pi sqrt x0 x4 
Mul tan x3 Add Mul Pow sec acosh x0 Add pi -1 Mul pi Mul Mul tan acosh x0 sec acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Pow x0 Mul Mul x7 x0 pi Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow x0 Add Mul Mul x7 x0 pi -1 Add Mul Mul x7 x0 pi Mul Mul x0 log x0 Mul pi x7 Mul Mul Pow x0 Mul Mul x7 x0 pi log Pow x0 Mul Mul x7 x0 pi Pow Mul 2 sqrt x0 -1 