sec acosh Mul Pow x0 acosh acosh x0 Mul x3 x0 
Mul Mul tan acosh Mul Pow x0 acosh acosh x0 Mul x3 x0 sec acosh Mul Pow x0 acosh acosh x0 Mul x3 x0 Mul Add Mul Mul x3 x0 Mul Pow x0 Add acosh acosh x0 -1 Add acosh acosh x0 Mul Mul x0 log x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 Mul Pow x0 acosh acosh x0 x3 Pow Mul sqrt Add Mul Pow x0 acosh acosh x0 Mul x3 x0 -1 sqrt Add 1 Mul Pow x0 acosh acosh x0 Mul x3 x0 -1 