tan Pow Mul x0 x0 Pow acosh Mul acosh x1 x4 sinh Mul cos x0 Add x2 Pow x0 -2 
Mul Pow sec Pow Mul x0 x0 Pow acosh Mul acosh x1 x4 sinh Mul cos x0 Add x2 Pow x0 -2 2 Mul Pow Mul x0 x0 Add Pow acosh Mul acosh x1 x4 sinh Mul cos x0 Add x2 Pow x0 -2 -1 Add Mul Pow acosh Mul acosh x1 x4 sinh Mul cos x0 Add x2 Pow x0 -2 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow acosh Mul acosh x1 x4 Add sinh Mul cos x0 Add x2 Pow x0 -2 -1 Mul Mul acosh Mul acosh x1 x4 log acosh Mul acosh x1 x4 Mul cosh Mul cos x0 Add x2 Pow x0 -2 Add Mul Add x2 Pow x0 -2 Mul -1 sin x0 Mul cos x0 Mul Pow x0 3 -2 