Add x0 Pow x0 Mul Add acos Pow acsch pi Mul x0 Mul pi x0 pi x0 
Add 1 Mul Pow x0 Add Mul Add acos Pow acsch pi Mul x0 Mul pi x0 pi x0 -1 Add Mul Add acos Pow acsch pi Mul x0 Mul pi x0 pi x0 Mul Mul x0 log x0 Add Mul x0 Mul -1 Mul Mul Pow acsch pi Add Mul x0 Mul pi x0 -1 Mul Mul acsch pi log acsch pi Add Mul pi x0 Mul x0 pi Pow sqrt Add 1 Mul -1 Mul Pow acsch pi Mul x0 Mul pi x0 Pow acsch pi Mul x0 Mul pi x0 -1 Add acos Pow acsch pi Mul x0 Mul pi x0 pi 