tan Add Mul acot sin x0 Add Pow Mul x7 x0 x0 acosh x5 x0 
Mul Pow sec Add Mul acot sin x0 Add Pow Mul x7 x0 x0 acosh x5 x0 2 Add Add Mul Add Pow Mul x7 x0 x0 acosh x5 Mul -1 Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Mul acot sin x0 Mul Pow Mul x7 x0 Add x0 -1 Add Mul x0 x7 Mul Mul x7 x0 log Mul x7 x0 1 