atanh Pow pi Pow Add Mul x5 tan acsch x2 x0 Add x2 x0 
Mul Mul Pow pi Add Pow Add Mul x5 tan acsch x2 x0 Add x2 x0 -1 Mul Mul pi log pi Mul Pow Add Mul x5 tan acsch x2 x0 Add Add x2 x0 -1 Add Add x2 x0 Mul Add Mul x5 tan acsch x2 x0 log Add Mul x5 tan acsch x2 x0 Pow Add 1 Mul -1 Mul Pow pi Pow Add Mul x5 tan acsch x2 x0 Add x2 x0 Pow pi Pow Add Mul x5 tan acsch x2 x0 Add x2 x0 -1 