Pow Pow Mul x0 Add 3 Add sqrt sqrt Mul pi cosh asin x1 2 Mul x0 x0 x5 
Mul Pow Pow Mul x0 Add 3 Add sqrt sqrt Mul pi cosh asin x1 2 Mul x0 x0 Add x5 -1 Mul x5 Mul Pow Mul x0 Add 3 Add sqrt sqrt Mul pi cosh asin x1 2 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add 3 Add sqrt sqrt Mul pi cosh asin x1 2 Mul Mul Mul x0 Add 3 Add sqrt sqrt Mul pi cosh asin x1 2 log Mul x0 Add 3 Add sqrt sqrt Mul pi cosh asin x1 2 Add x0 x0 