acosh Add E Pow acsch Mul x4 -2 Add Mul Add 4 sqrt x3 Add x0 -4 Mul Add -4 x0 pi 
Mul Mul Pow acsch Mul x4 -2 Add Add Mul Add 4 sqrt x3 Add x0 -4 Mul Add -4 x0 pi -1 Mul Mul acsch Mul x4 -2 log acsch Mul x4 -2 Add Add 4 sqrt x3 pi Pow Mul sqrt Add Add E Pow acsch Mul x4 -2 Add Mul Add 4 sqrt x3 Add x0 -4 Mul Add -4 x0 pi -1 sqrt Add 1 Add E Pow acsch Mul x4 -2 Add Mul Add 4 sqrt x3 Add x0 -4 Mul Add -4 x0 pi -1 