Mul x0 Pow Mul Mul Mul 2 x0 Pow asinh x7 Add x0 Add x0 x0 Mul x0 3 Mul 2 atanh pi 
Add Pow Mul Mul Mul 2 x0 Pow asinh x7 Add x0 Add x0 x0 Mul x0 3 Mul 2 atanh pi Mul x0 Mul Pow Mul Mul Mul 2 x0 Pow asinh x7 Add x0 Add x0 x0 Mul x0 3 Add Mul 2 atanh pi -1 Mul Mul 2 atanh pi Add Mul Mul x0 3 Add Mul Pow asinh x7 Add x0 Add x0 x0 2 Mul Mul 2 x0 Mul Pow asinh x7 Add Add x0 Add x0 x0 -1 Mul Mul asinh x7 log asinh x7 3 Mul Mul Mul 2 x0 Pow asinh x7 Add x0 Add x0 x0 3 