Add Add Pow x0 Mul Add E Mul Pow x0 x0 pi Mul x0 asinh E acsch Add x1 -3 x0 
Add Mul Pow x0 Add Mul Add E Mul Pow x0 x0 pi Mul x0 asinh E -1 Add Mul Add E Mul Pow x0 x0 pi Mul x0 asinh E Mul Mul x0 log x0 Add Mul Mul x0 asinh E Mul pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add E Mul Pow x0 x0 pi asinh E 1 