Mul x4 cot Add Pow Mul Add atanh x0 -3 -1 Add x0 x0 acsch pi 
Mul x4 Mul Mul -1 Pow csc Add Pow Mul Add atanh x0 -3 -1 Add x0 x0 acsch pi 2 Mul Pow Mul Add atanh x0 -3 -1 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul Add atanh x0 -3 -1 log Mul Add atanh x0 -3 -1 2 