Add acsch acosh Mul Mul x0 sec sec x0 x0 Mul x3 -5 
Mul Mul -1 Mul Add Mul x0 Add sec sec x0 Mul x0 Mul Mul tan sec x0 sec sec x0 Mul tan x0 sec x0 Mul x0 sec sec x0 Pow Mul sqrt Add Mul Mul x0 sec sec x0 x0 -1 sqrt Add 1 Mul Mul x0 sec sec x0 x0 -1 Pow Mul Mul acosh Mul Mul x0 sec sec x0 x0 acosh Mul Mul x0 sec sec x0 x0 sqrt Add 1 Mul -1 Pow Mul acosh Mul Mul x0 sec sec x0 x0 acosh Mul Mul x0 sec sec x0 x0 -1 -1 