atanh Mul x0 cos Pow Pow Pow x0 2 Pow x7 -2 Add Add pi Mul -3 acot x0 exp x0 
Mul Add cos Pow Pow Pow x0 2 Pow x7 -2 Add Add pi Mul -3 acot x0 exp x0 Mul x0 Mul Mul -1 sin Pow Pow Pow x0 2 Pow x7 -2 Add Add pi Mul -3 acot x0 exp x0 Mul Pow Pow Pow x0 2 Pow x7 -2 Add Add Add pi Mul -3 acot x0 exp x0 -1 Add Mul Add Add pi Mul -3 acot x0 exp x0 Mul Pow Pow x0 2 Add Pow x7 -2 -1 Mul Pow x7 -2 Mul x0 2 Mul Mul Pow Pow x0 2 Pow x7 -2 log Pow Pow x0 2 Pow x7 -2 Add Mul -3 Mul -1 Pow Add 1 Mul x0 x0 -1 exp x0 Pow Add 1 Mul -1 Mul Mul x0 cos Pow Pow Pow x0 2 Pow x7 -2 Add Add pi Mul -3 acot x0 exp x0 Mul x0 cos Pow Pow Pow x0 2 Pow x7 -2 Add Add pi Mul -3 acot x0 exp x0 -1 