acosh Pow Mul x0 3 asinh Mul x0 Mul x0 pi 
Mul Mul Pow Mul x0 3 Add asinh Mul x0 Mul x0 pi -1 Add Mul asinh Mul x0 Mul x0 pi 3 Mul Mul Mul x0 3 log Mul x0 3 Mul Add Mul x0 pi Mul x0 pi Pow sqrt Add 1 Mul Mul x0 Mul x0 pi Mul x0 Mul x0 pi -1 Pow Mul sqrt Add Pow Mul x0 3 asinh Mul x0 Mul x0 pi -1 sqrt Add 1 Pow Mul x0 3 asinh Mul x0 Mul x0 pi -1 