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