asin Add Add x0 Mul asin Mul Add Mul acsch x0 E acsch E -1 Add Add x0 x0 -5 Add Add x5 x0 Pow pi x0 
Mul Add Add 1 Add Mul Add Add x0 x0 -5 Mul Mul -1 Mul E Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Add Mul acsch x0 E acsch E -1 Mul Add Mul acsch x0 E acsch E -1 -1 Mul asin Mul Add Mul acsch x0 E acsch E -1 2 Add 1 Mul Pow pi Add x0 -1 Mul pi log pi Pow sqrt Add 1 Mul -1 Mul Add Add x0 Mul asin Mul Add Mul acsch x0 E acsch E -1 Add Add x0 x0 -5 Add Add x5 x0 Pow pi x0 Add Add x0 Mul asin Mul Add Mul acsch x0 E acsch E -1 Add Add x0 x0 -5 Add Add x5 x0 Pow pi x0 -1 