Mul Pow Mul sin Pow Mul acoth Mul x0 Pow cos x7 x0 x0 acoth x0 x0 pi asech x3 
Mul asech x3 Mul Pow Mul sin Pow Mul acoth Mul x0 Pow cos x7 x0 x0 acoth x0 x0 Add pi -1 Mul pi Add Mul x0 Mul cos Pow Mul acoth Mul x0 Pow cos x7 x0 x0 acoth x0 Mul Pow Mul acoth Mul x0 Pow cos x7 x0 x0 Add acoth x0 -1 Add Mul acoth x0 Add Mul x0 Mul Add Pow cos x7 x0 Mul x0 Mul Pow cos x7 Add x0 -1 Mul cos x7 log cos x7 Pow Add 1 Mul -1 Mul Mul x0 Pow cos x7 x0 Mul x0 Pow cos x7 x0 -1 acoth Mul x0 Pow cos x7 x0 Mul Mul Mul acoth Mul x0 Pow cos x7 x0 x0 log Mul acoth Mul x0 Pow cos x7 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 sin Pow Mul acoth Mul x0 Pow cos x7 x0 x0 acoth x0 