Mul x3 Add asinh Pow x5 Mul pi x0 Pow Pow E sqrt x7 x0 
Mul x3 Add Mul Mul Pow x5 Add Mul pi x0 -1 Mul Mul x5 log x5 pi Pow sqrt Add 1 Mul Pow x5 Mul pi x0 Pow x5 Mul pi x0 -1 Mul Pow Pow E sqrt x7 Add x0 -1 Mul Pow E sqrt x7 log Pow E sqrt x7 