Pow acsch x4 acos Add Mul x1 Add x0 pi 2 
Mul Pow acsch x4 Add acos Add Mul x1 Add x0 pi 2 -1 Mul Mul acsch x4 log acsch x4 Mul -1 Mul x1 Pow sqrt Add 1 Mul -1 Mul Add Mul x1 Add x0 pi 2 Add Mul x1 Add x0 pi 2 -1 