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