Add -1 Pow sin x0 acot Add x0 Mul x0 atan acosh x5 
Mul Pow sin x0 Add acot Add x0 Mul x0 atan acosh x5 -1 Add Mul acot Add x0 Mul x0 atan acosh x5 cos x0 Mul Mul sin x0 log sin x0 Mul -1 Mul Add 1 atan acosh x5 Pow Add 1 Mul Add x0 Mul x0 atan acosh x5 Add x0 Mul x0 atan acosh x5 -1 