Add Mul 5 x5 Mul x0 Mul tan acot sin sin x0 Mul Mul -1 cot log sech acosh x0 x0 
Add Mul tan acot sin sin x0 Mul Mul -1 cot log sech acosh x0 x0 Mul x0 Add Mul Mul Mul -1 cot log sech acosh x0 x0 Mul Pow sec acot sin sin x0 2 Mul -1 Mul Mul cos sin x0 cos x0 Pow Add 1 Mul sin sin x0 sin sin x0 -1 Mul tan acot sin sin x0 Add Mul x0 Mul -1 Mul Mul -1 Pow csc log sech acosh x0 2 Mul Mul Mul tanh acosh x0 Mul -1 sech acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sech acosh x0 -1 Mul -1 cot log sech acosh x0 