Pow Pow x0 acosh x1 acot Add Mul sec Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 x0 x6 
Mul Pow Pow x0 acosh x1 Add acot Add Mul sec Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 x0 x6 -1 Add Mul acot Add Mul sec Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 x0 x6 Mul Pow x0 Add acosh x1 -1 acosh x1 Mul Mul Pow x0 acosh x1 log Pow x0 acosh x1 Mul -1 Mul Add Mul x0 Mul Mul tan Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 sec Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 Add Mul Pow x5 Add Add -4 Add Mul x0 x0 x0 -1 Mul Mul x5 log x5 Add Add x0 x0 1 Add x0 x0 sec Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 Pow Add 1 Mul Add Mul sec Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 x0 x6 Add Mul sec Add Pow x5 Add -4 Add Mul x0 x0 x0 Mul x0 x0 x0 x6 -1 