Add x0 Pow Mul Pow x3 x0 Pow Pow x0 acsch pi 4 Add 3 acsc x4 
Add 1 Mul Pow Mul Pow x3 x0 Pow Pow x0 acsch pi 4 Add Add 3 acsc x4 -1 Mul Add 3 acsc x4 Add Mul Pow Pow x0 acsch pi 4 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 Mul Pow Pow x0 acsch pi 3 Mul 4 Mul Pow x0 Add acsch pi -1 acsch pi 