Mul exp acsch Mul 2 Add Add Add x3 sqrt x0 1 -4 Mul Mul pi x0 sech x7 
Add Mul Mul Mul pi x0 sech x7 Mul exp acsch Mul 2 Add Add Add x3 sqrt x0 1 -4 Mul Mul -1 Mul 2 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Mul 2 Add Add Add x3 sqrt x0 1 -4 Mul 2 Add Add Add x3 sqrt x0 1 -4 sqrt Add 1 Mul -1 Pow Mul Mul 2 Add Add Add x3 sqrt x0 1 -4 Mul 2 Add Add Add x3 sqrt x0 1 -4 -1 -1 Mul exp acsch Mul 2 Add Add Add x3 sqrt x0 1 -4 Mul sech x7 pi 