Pow Pow asinh pi Mul x0 6 Add x0 x0 
Mul Pow Pow asinh pi Mul x0 6 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow asinh pi Add Mul x0 6 -1 Mul Mul asinh pi log asinh pi 6 Mul Mul Pow asinh pi Mul x0 6 log Pow asinh pi Mul x0 6 2 