Add sec Pow x0 acosh Mul pi acot log Add x5 x0 exp x0 
Add Mul Mul tan Pow x0 acosh Mul pi acot log Add x5 x0 sec Pow x0 acosh Mul pi acot log Add x5 x0 Mul Pow x0 Add acosh Mul pi acot log Add x5 x0 -1 Add acosh Mul pi acot log Add x5 x0 Mul Mul x0 log x0 Mul Mul pi Mul -1 Mul Pow Add x5 x0 -1 Pow Add 1 Mul log Add x5 x0 log Add x5 x0 -1 Pow Mul sqrt Add Mul pi acot log Add x5 x0 -1 sqrt Add 1 Mul pi acot log Add x5 x0 -1 exp x0 