Mul x3 log Add Pow log asinh x0 sech Add Mul x0 x0 atan pi asinh Mul -3 x0 
Mul x3 Mul Add Mul Pow log asinh x0 Add sech Add Mul x0 x0 atan pi -1 Add Mul sech Add Mul x0 x0 atan pi Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow asinh x0 -1 Mul Mul log asinh x0 log log asinh x0 Mul Mul tanh Add Mul x0 x0 atan pi Mul -1 sech Add Mul x0 x0 atan pi Add x0 x0 Mul -3 Pow sqrt Add 1 Mul Mul -3 x0 Mul -3 x0 -1 Pow Add Pow log asinh x0 sech Add Mul x0 x0 atan pi asinh Mul -3 x0 -1 