Pow sec Add acosh x2 Mul 4 cosh x0 Pow x1 x0 
Mul Pow sec Add acosh x2 Mul 4 cosh x0 Add Pow x1 x0 -1 Add Mul Pow x1 x0 Mul Mul tan Add acosh x2 Mul 4 cosh x0 sec Add acosh x2 Mul 4 cosh x0 Mul 4 sinh x0 Mul Mul sec Add acosh x2 Mul 4 cosh x0 log sec Add acosh x2 Mul 4 cosh x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 