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