atanh Mul x0 Add x0 Pow sin x0 cot sinh pi 
Mul Add Add x0 Pow sin x0 cot sinh pi Mul x0 Add 1 Mul Pow sin x0 Add cot sinh pi -1 Mul cot sinh pi cos x0 Pow Add 1 Mul -1 Mul Mul x0 Add x0 Pow sin x0 cot sinh pi Mul x0 Add x0 Pow sin x0 cot sinh pi -1 