Mul x0 acosh asin Pow Add log Mul x0 pi x0 x0 
Add acosh asin Pow Add log Mul x0 pi x0 x0 Mul x0 Mul Mul Mul Pow Add log Mul x0 pi x0 Add x0 -1 Add Mul x0 Add Mul pi Pow Mul x0 pi -1 1 Mul Add log Mul x0 pi x0 log Add log Mul x0 pi x0 Pow sqrt Add 1 Mul -1 Mul Pow Add log Mul x0 pi x0 x0 Pow Add log Mul x0 pi x0 x0 -1 Pow Mul sqrt Add asin Pow Add log Mul x0 pi x0 x0 -1 sqrt Add 1 asin Pow Add log Mul x0 pi x0 x0 -1 