Pow x0 Pow Add asinh atan x4 x3 Pow acot x0 sqrt sinh tanh sech Add -1 Mul pi -2 
Mul Pow x0 Add Pow Add asinh atan x4 x3 Pow acot x0 sqrt sinh tanh sech Add -1 Mul pi -2 -1 Add Pow Add asinh atan x4 x3 Pow acot x0 sqrt sinh tanh sech Add -1 Mul pi -2 Mul Mul x0 log x0 Mul Pow Add asinh atan x4 x3 Add Pow acot x0 sqrt sinh tanh sech Add -1 Mul pi -2 -1 Mul Mul Add asinh atan x4 x3 log Add asinh atan x4 x3 Mul Pow acot x0 Add sqrt sinh tanh sech Add -1 Mul pi -2 -1 Mul sqrt sinh tanh sech Add -1 Mul pi -2 Mul -1 Pow Add 1 Mul x0 x0 -1 