Pow acsc Add -2 sec Mul acosh x0 Mul x0 x7 x0 
Mul Pow acsc Add -2 sec Mul acosh x0 Mul x0 x7 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul tan Mul acosh x0 Mul x0 x7 sec Mul acosh x0 Mul x0 x7 Add Mul Mul x0 x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add -2 sec Mul acosh x0 Mul x0 x7 Add -2 sec Mul acosh x0 Mul x0 x7 -1 Add -2 sec Mul acosh x0 Mul x0 x7 Add -2 sec Mul acosh x0 Mul x0 x7 -1 Mul acsc Add -2 sec Mul acosh x0 Mul x0 x7 log acsc Add -2 sec Mul acosh x0 Mul x0 x7 