tan cos Mul x6 Mul Add x0 sin Mul x3 acoth sin x0 x0 
Mul Pow sec cos Mul x6 Mul Add x0 sin Mul x3 acoth sin x0 x0 2 Mul Mul -1 sin Mul x6 Mul Add x0 sin Mul x3 acoth sin x0 x0 Mul x6 Add Mul x0 Add 1 Mul cos Mul x3 acoth sin x0 Mul x3 Mul cos x0 Pow Add 1 Mul -1 Mul sin x0 sin x0 -1 Add x0 sin Mul x3 acoth sin x0 