Mul x0 Mul pi Mul asinh Add acsch x3 Mul Mul x0 x0 -4 2 
Add Mul pi Mul asinh Add acsch x3 Mul Mul x0 x0 -4 2 Mul x0 Mul pi Mul 2 Mul Mul -4 Add x0 x0 Pow sqrt Add 1 Mul Add acsch x3 Mul Mul x0 x0 -4 Add acsch x3 Mul Mul x0 x0 -4 -1 