Mul -2 Pow Pow Add atan x7 sin x0 3 Add acoth x0 atanh x0 
Mul -2 Mul Pow Pow Add atan x7 sin x0 3 Add Add acoth x0 atanh x0 -1 Add Mul Add acoth x0 atanh x0 Mul Pow Add atan x7 sin x0 2 Mul 3 cos x0 Mul Mul Pow Add atan x7 sin x0 3 log Pow Add atan x7 sin x0 3 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 