atanh Pow x0 Pow Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 Pow Mul Add E x7 x0 -4 
Mul Mul Pow x0 Add Pow Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 Pow Mul Add E x7 x0 -4 -1 Add Pow Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 Pow Mul Add E x7 x0 -4 Mul Mul x0 log x0 Mul Pow Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 Add Pow Mul Add E x7 x0 -4 -1 Add Mul Pow Mul Add E x7 x0 -4 Mul Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 3 Mul -2 Mul Add acot x1 Mul Mul sin x0 x0 x0 Mul 2 Add Mul x0 Add Mul x0 cos x0 sin x0 Mul sin x0 x0 Mul Mul Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 log Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 Mul Pow Mul Add E x7 x0 5 Mul -4 Add E x7 Pow Add 1 Mul -1 Mul Pow x0 Pow Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 Pow Mul Add E x7 x0 -4 Pow x0 Pow Pow Pow Add acot x1 Mul Mul sin x0 x0 x0 2 -2 Pow Mul Add E x7 x0 -4 -1 