Add x0 asech Pow Mul Add 4 x0 Mul Pow asinh x0 x0 -5 Pow Add x0 x0 atanh pi 
Add 1 Mul Mul Pow Mul Add 4 x0 Mul Pow asinh x0 x0 -5 Add Pow Add x0 x0 atanh pi -1 Add Mul Pow Add x0 x0 atanh pi Add Mul Pow asinh x0 x0 -5 Mul Add 4 x0 Mul -5 Mul Pow asinh x0 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 log asinh x0 Mul Mul Mul Add 4 x0 Mul Pow asinh x0 x0 -5 log Mul Add 4 x0 Mul Pow asinh x0 x0 -5 Mul Pow Add x0 x0 Add atanh pi -1 Mul atanh pi 2 Pow Mul Mul Pow Mul Add 4 x0 Mul Pow asinh x0 x0 -5 Pow Add x0 x0 atanh pi Pow Mul Add 4 x0 Mul Pow asinh x0 x0 -5 Pow Add x0 x0 atanh pi sqrt Add 1 Mul -1 Pow Mul Pow Mul Add 4 x0 Mul Pow asinh x0 x0 -5 Pow Add x0 x0 atanh pi Pow Mul Add 4 x0 Mul Pow asinh x0 x0 -5 Pow Add x0 x0 atanh pi -1 -1 