Mul -3 Mul sech asin Mul Add 4 x0 exp x1 pi 
Mul -3 Mul pi Mul Mul tanh asin Mul Add 4 x0 exp x1 Mul -1 sech asin Mul Add 4 x0 exp x1 Mul exp x1 Pow sqrt Add 1 Mul -1 Mul Mul Add 4 x0 exp x1 Mul Add 4 x0 exp x1 -1 