Mul sec Pow Add 4 Pow x0 acosh x1 Add atanh Pow x0 Add Mul x1 x0 x2 2 x0 
Add Mul x0 Mul Mul tan Pow Add 4 Pow x0 acosh x1 Add atanh Pow x0 Add Mul x1 x0 x2 2 sec Pow Add 4 Pow x0 acosh x1 Add atanh Pow x0 Add Mul x1 x0 x2 2 Mul Pow Add 4 Pow x0 acosh x1 Add Add atanh Pow x0 Add Mul x1 x0 x2 2 -1 Add Mul Add atanh Pow x0 Add Mul x1 x0 x2 2 Mul Pow x0 Add acosh x1 -1 acosh x1 Mul Mul Add 4 Pow x0 acosh x1 log Add 4 Pow x0 acosh x1 Mul Mul Pow x0 Add Add Mul x1 x0 x2 -1 Add Add Mul x1 x0 x2 Mul Mul x0 log x0 x1 Pow Add 1 Mul -1 Mul Pow x0 Add Mul x1 x0 x2 Pow x0 Add Mul x1 x0 x2 -1 sec Pow Add 4 Pow x0 acosh x1 Add atanh Pow x0 Add Mul x1 x0 x2 2 